CBMC
symbol_table_buildert Member List

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

add(const symbolt &symbol)symbol_table_baset
base_symbol_tablesymbol_table_buildertprivate
begin() overridesymbol_table_buildertinlinevirtual
begin()=0symbol_table_buildertvirtual
begin() constsymbol_table_buildertvirtual
symbol_table_baset::begin() constsymbol_table_basetvirtual
clear() overridesymbol_table_buildertinlinevirtual
const_iteratort typedefsymbol_table_baset
end() overridesymbol_table_buildertinlinevirtual
end()=0symbol_table_buildertvirtual
end() constsymbol_table_buildertvirtual
symbol_table_baset::end() constsymbol_table_basetvirtual
erase(const symbolst::const_iterator &entry) overridesymbol_table_buildertinlinevirtual
get_symbol_table() const overridesymbol_table_buildertinlinevirtual
get_writeable(const irep_idt &identifier) overridesymbol_table_buildertinlinevirtual
get_writeable_ref(const irep_idt &name)symbol_table_basetinline
has_symbol(const irep_idt &name) constsymbol_table_basetinline
insert(symbolt symbol) overridesymbol_table_buildertinlinevirtual
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) overridesymbol_table_buildertinlinevirtual
next_free_suffix_for_prefixsymbol_table_buildertmutableprivate
next_unused_suffix(const std::string &prefix) const overridesymbol_table_buildertinlinevirtual
symbol_table_baset::next_unused_suffix(const std::string &prefix, std::size_t start_number) constsymbol_table_basetinline
operator const symbol_tablet &() constsymbol_table_basetinline
operator=(const symbol_table_buildert &)=deletesymbol_table_buildert
operator=(symbol_table_buildert &&)=deletesymbol_table_buildert
symbol_table_baset::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
symbol_table_buildert(symbol_table_baset &base_symbol_table)symbol_table_buildertinlineexplicit
symbol_table_buildert(symbol_table_buildert &&other)symbol_table_buildertinline
symbol_table_buildert(const symbol_table_buildert &)=deletesymbol_table_buildert
symbolssymbol_table_baset
symbolst typedefsymbol_table_baset
validate(const validation_modet vm=validation_modet::INVARIANT) const overridesymbol_table_buildertinlinevirtual
wrap(symbol_table_baset &base_symbol_table)symbol_table_buildertinlinestatic
~symbol_table_baset()symbol_table_basetvirtual