12 #ifndef CPROVER_PATH_SYMEX_VAR_MAP_H 13 #define CPROVER_PATH_SYMEX_VAR_MAP_H 64 s.
set(ID_C_SSA_symbol,
true);
65 s.
set(ID_C_full_identifier, full_identifier);
74 void output(std::ostream &out)
const;
77 typedef std::map<irep_idt, var_infot>
id_mapt;
104 void output(std::ostream &)
const;
114 #endif // CPROVER_PATH_SYMEX_VAR_MAP_H The type of an expression.
symbol_tablet new_symbols
var_infot & operator[](const irep_idt &full_identifier)
var_mapt(const namespacet &_ns)
irep_idt ssa_identifier() const
void output(std::ostream &out) const
void init(var_infot &var_info)
symbol_exprt ssa_symbol() const
API to expression classes.
enum var_mapt::var_infot::@18 kind
var_infot & operator()(const irep_idt &symbol, const irep_idt &suffix, const typet &type)
void increment_ssa_counter()
std::map< irep_idt, var_infot > id_mapt
Expression to hold a symbol (variable)
void set(const irep_namet &name, const irep_idt &value)