28 if(obj_identifier ==
"goto_symex::\\guard")
32 const bool found_l0 = !ns.
lookup(obj_identifier, s);
63 for(
const auto &pair : other)
72 it->second = pair.second;
const std::string & id2string(const irep_idt &d)
void set_level_1(unsigned i)
const irep_idt get_l1_object_identifier() const
const irep_idt get_level_1() const
const irep_idt & id() const
void set_level_0(unsigned i)
void operator()(ssa_exprt &ssa_expr)
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
#define PRECONDITION(CONDITION)
const irep_idt get_level_0() const
current_namest current_names
dstringt has one field, an unsigned integer no which is an index into a static table of strings...
void operator()(ssa_exprt &ssa_expr, const namespacet &ns, unsigned thread_nr)
typet type
Type of symbol.
void restore_from(const current_namest &other)
Insert the content of other into this renaming.
std::map< irep_idt, std::pair< ssa_exprt, unsigned > > current_namest
Map identifier to ssa_exprt and counter.
irep_idt get_object_name() const
Expression providing an SSA-renamed symbol of expressions.
bool lookup(const irep_idt &name, const symbolt *&symbol) const override
See documentation for namespace_baset::lookup().