30 if(ns.
lookup(new_name, symbol))
33 std::string prefix =
id2string(new_name) + delimiter;
irep_idt name
The unique identifier.
const std::string & id2string(const irep_idt &d)
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
std::size_t smallest_unused_suffix(const std::string &prefix) const override
See documentation for namespace_baset::smallest_unused_suffix().
std::string to_string(const string_constraintt &expr)
Used for debug printing.
void get_new_name(symbolt &symbol, const namespacet &ns)
automated variable renaming
bool lookup(const irep_idt &name, const symbolt *&symbol) const override
See namespace_baset::lookup().