cprover
select_pointer_type.h File Reference

Handle selection of correct pointer type (for example changing abstract classes to concrete versions). More...

#include <vector>
#include "java_types.h"
#include <util/optional.h>
#include <util/std_types.h>
Include dependency graph for select_pointer_type.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  select_pointer_typet
 

Typedefs

typedef std::unordered_map< irep_idt, std::vector< reference_typet > > generic_parameter_specialization_mapt
 
typedef std::set< irep_idtgeneric_parameter_recursion_trackingt
 

Detailed Description

Handle selection of correct pointer type (for example changing abstract classes to concrete versions).

Definition in file select_pointer_type.h.

Typedef Documentation

◆ generic_parameter_recursion_trackingt

Definition at line 22 of file select_pointer_type.h.

◆ generic_parameter_specialization_mapt

typedef std::unordered_map<irep_idt, std::vector<reference_typet> > generic_parameter_specialization_mapt

Definition at line 21 of file select_pointer_type.h.