cprover
|
Handle selection of correct pointer type (for example changing abstract classes to concrete versions). More...
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_idt > | generic_parameter_recursion_trackingt |
Handle selection of correct pointer type (for example changing abstract classes to concrete versions).
Definition in file select_pointer_type.h.
typedef std::set<irep_idt> generic_parameter_recursion_trackingt |
Definition at line 24 of file select_pointer_type.h.
typedef std::unordered_map<irep_idt, std::vector<reference_typet> > generic_parameter_specialization_mapt |
Definition at line 23 of file select_pointer_type.h.