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