10 #ifndef CPROVER_UTIL_REPLACE_SYMBOL_H 11 #define CPROVER_UTIL_REPLACE_SYMBOL_H 23 typedef std::unordered_map<irep_idt, exprt, irep_id_hash>
expr_mapt;
24 typedef std::unordered_map<irep_idt, typet, irep_id_hash>
type_mapt;
29 expr_map.insert(std::pair<irep_idt, exprt>(identifier, expr));
33 const exprt &new_expr);
38 type_map.insert(std::pair<irep_idt, typet>(identifier, type));
76 #endif // CPROVER_UTIL_REPLACE_SYMBOL_H The type of an expression.
void operator()(exprt &dest) const
virtual bool replace(exprt &dest) const
std::unordered_map< irep_idt, exprt, irep_id_hash > expr_mapt
bool have_to_replace(const exprt &dest) const
virtual ~replace_symbolt()
Base class for all expressions.
void insert(const irep_idt &identifier, const exprt &expr)
Expression to hold a symbol (variable)
void operator()(typet &dest) const
void insert(const irep_idt &identifier, const typet &type)
std::unordered_map< irep_idt, typet, irep_id_hash > type_mapt