CBMC
symbol_table_baset Member List

This is the complete list of members for symbol_table_baset, including all inherited members.

add(const symbolt &symbol)symbol_table_baset
begin()=0symbol_table_basetpure virtual
begin() constsymbol_table_basetvirtual
clear()=0symbol_table_basetpure virtual
const_iteratort typedefsymbol_table_baset
end()=0symbol_table_basetpure virtual
end() constsymbol_table_basetvirtual
erase(const symbolst::const_iterator &entry)=0symbol_table_basetpure virtual
get_symbol_table() const =0symbol_table_basetpure virtual
get_writeable(const irep_idt &name)=0symbol_table_basetpure virtual
get_writeable_ref(const irep_idt &name)symbol_table_basetinline
has_symbol(const irep_idt &name) constsymbol_table_basetinline
insert(symbolt symbol)=0symbol_table_basetpure virtual
lookup(const irep_idt &name) constsymbol_table_basetinline
lookup_ref(const irep_idt &name) constsymbol_table_basetinline
match_name_or_base_name(const irep_idt &id) constsymbol_table_basetinline
move(symbolt &symbol, symbolt *&new_symbol)=0symbol_table_basetpure virtual
next_unused_suffix(const std::string &prefix, std::size_t start_number) constsymbol_table_basetinline
next_unused_suffix(const std::string &prefix) constsymbol_table_basetinlinevirtual
operator const symbol_tablet &() constsymbol_table_basetinline
operator=(const symbol_table_baset &other)=deletesymbol_table_baset
remove(const irep_idt &name)symbol_table_baset
show(std::ostream &out) constsymbol_table_baset
sorted_symbol_names() constsymbol_table_baset
symbol_base_mapsymbol_table_baset
symbol_module_mapsymbol_table_baset
symbol_table_baset(const symbolst &symbols, const symbol_base_mapt &symbol_base_map, const symbol_module_mapt &symbol_module_map)symbol_table_basetinline
symbol_table_baset(const symbol_table_baset &other)=deletesymbol_table_baset
symbolssymbol_table_baset
symbolst typedefsymbol_table_baset
validate(const validation_modet vm=validation_modet::INVARIANT) const =0symbol_table_basetpure virtual
~symbol_table_baset()symbol_table_basetvirtual