cprover
|
#include <template_map.h>
Public Types | |
typedef std::map< irep_idt, typet > | type_mapt |
typedef std::map< irep_idt, exprt > | expr_mapt |
Public Member Functions | |
void | apply (exprt &dest) const |
void | apply (typet &dest) const |
void | swap (template_mapt &template_map) |
exprt | lookup (const irep_idt &identifier) const |
typet | lookup_type (const irep_idt &identifier) const |
exprt | lookup_expr (const irep_idt &identifier) const |
void | print (std::ostream &out) const |
void | clear () |
void | set (const template_parametert ¶meter, const exprt &value) |
void | build (const template_typet &template_type, const cpp_template_args_tct &template_args) |
void | build_unassigned (const template_typet &template_type) |
cpp_template_args_tct | build_template_args (const template_typet &template_type) const |
Public Attributes | |
type_mapt | type_map |
expr_mapt | expr_map |
Definition at line 23 of file template_map.h.
typedef std::map<irep_idt, exprt> template_mapt::expr_mapt |
Definition at line 28 of file template_map.h.
typedef std::map<irep_idt, typet> template_mapt::type_mapt |
Definition at line 27 of file template_map.h.
void template_mapt::apply | ( | exprt & | dest | ) | const |
Definition at line 70 of file template_map.cpp.
void template_mapt::apply | ( | typet & | dest | ) | const |
Definition at line 20 of file template_map.cpp.
void template_mapt::build | ( | const template_typet & | template_type, |
const cpp_template_args_tct & | template_args | ||
) |
Definition at line 142 of file template_map.cpp.
cpp_template_args_tct template_mapt::build_template_args | ( | const template_typet & | template_type | ) | const |
Definition at line 233 of file template_map.cpp.
void template_mapt::build_unassigned | ( | const template_typet & | template_type | ) |
Definition at line 211 of file template_map.cpp.
|
inline |
Definition at line 47 of file template_map.h.
Definition at line 90 of file template_map.cpp.
Definition at line 122 of file template_map.cpp.
Definition at line 111 of file template_map.cpp.
void template_mapt::print | ( | std::ostream & | out | ) | const |
Definition at line 133 of file template_map.cpp.
void template_mapt::set | ( | const template_parametert & | parameter, |
const exprt & | value | ||
) |
Definition at line 185 of file template_map.cpp.
|
inline |
Definition at line 35 of file template_map.h.
expr_mapt template_mapt::expr_map |
Definition at line 30 of file template_map.h.
type_mapt template_mapt::type_map |
Definition at line 29 of file template_map.h.