Go to the documentation of this file.
20 return !
insert(symbol).second;
29 symbolst::const_iterator entry =
symbols.find(name);
40 std::vector<irep_idt> sorted_names;
41 sorted_names.reserve(
symbols.size());
43 sorted_names.push_back(elem.first);
51 for(
const auto &name : sorted_names)
61 symbol_table.
show(out);
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
void show(std::ostream &out) const
Print the contents of the symbol table.
virtual void erase(const symbolst::const_iterator &entry)=0
Remove a symbol from the symbol table.
std::ostream & operator<<(std::ostream &out, const symbol_table_baset &symbol_table)
Print the contents of the symbol table.
virtual ~symbol_table_baset()
Author: Diffblue Ltd.
The symbol table base class interface.
int compare(const dstringt &b) const
bool remove(const irep_idt &name)
Remove a symbol from the symbol table.
bool add(const symbolt &symbol)
Add a new symbol to the symbol table.
virtual std::pair< symbolt &, bool > insert(symbolt symbol)=0
Move or copy a new symbol to the symbol table.