12 #ifndef CPROVER_CPP_TEMPLATE_MAP_H 13 #define CPROVER_CPP_TEMPLATE_MAP_H 37 type_map.swap(template_map.
type_map);
38 expr_map.swap(template_map.
expr_map);
45 void print(std::ostream &out)
const;
72 old_map(map), map(map)
79 std::cout <<
"RESTORING TEMPLATE MAP\n";
89 #endif // CPROVER_CPP_TEMPLATE_MAP_H
The type of an expression.
void apply(exprt &dest) const
cpp_saved_template_mapt(template_mapt &map)
std::map< irep_idt, exprt > expr_mapt
void build(const template_typet &template_type, const cpp_template_args_tct &template_args)
exprt lookup(const irep_idt &identifier) const
void swap(template_mapt &template_map)
std::map< irep_idt, typet > type_mapt
exprt lookup_expr(const irep_idt &identifier) const
cpp_template_args_tct build_template_args(const template_typet &template_type) const
typet lookup_type(const irep_idt &identifier) const
C++ Language Type Checking.
~cpp_saved_template_mapt()
Base class for all expressions.
void build_unassigned(const template_typet &template_type)
void print(std::ostream &out) const