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_table	symbol_table_buildert	private
begin() override	symbol_table_buildert	inlinevirtual
begin() const	symbol_table_buildert	virtual
clear() override	symbol_table_buildert	inlinevirtual
const_iteratort typedef	symbol_table_baset
end() override	symbol_table_buildert	inlinevirtual
end() const	symbol_table_buildert	virtual
erase(const symbolst::const_iterator &entry) override	symbol_table_buildert	inlinevirtual
get_symbol_table() const override	symbol_table_buildert	inlinevirtual
get_writeable(const irep_idt &identifier) override	symbol_table_buildert	inlinevirtual
get_writeable_ref(const irep_idt &name)	symbol_table_baset	inline
has_symbol(const irep_idt &name) const	symbol_table_baset	inline
insert(symbolt symbol) override	symbol_table_buildert	inlinevirtual
lookup(const irep_idt &name) const	symbol_table_baset	inline
lookup_ref(const irep_idt &name) const	symbol_table_baset	inline
match_name_or_base_name(const irep_idt &id) const	symbol_table_baset	inline
move(symbolt &symbol, symbolt *&new_symbol) override	symbol_table_buildert	inlinevirtual
next_free_suffix_for_prefix	symbol_table_buildert	mutableprivate
next_unused_suffix(const std::string &prefix) const override	symbol_table_buildert	inlinevirtual
symbol_table_baset::next_unused_suffix(const std::string &prefix, std::size_t start_number) const	symbol_table_baset	inline
operator const symbol_tablet &() const	symbol_table_baset	inline
operator=(const symbol_table_buildert &)=delete	symbol_table_buildert
operator=(symbol_table_buildert &&)=delete	symbol_table_buildert
symbol_table_baset::operator=(const symbol_table_baset &other)=delete	symbol_table_baset
remove(const irep_idt &name)	symbol_table_baset
show(std::ostream &out) const	symbol_table_baset
sorted_symbol_names() const	symbol_table_baset
symbol_base_map	symbol_table_baset
symbol_module_map	symbol_table_baset
symbol_table_baset(const symbolst &symbols, const symbol_base_mapt &symbol_base_map, const symbol_module_mapt &symbol_module_map)	symbol_table_baset	inline
symbol_table_baset(const symbol_table_baset &other)=delete	symbol_table_baset
symbol_table_buildert(symbol_table_baset &base_symbol_table)	symbol_table_buildert	inlineexplicit
symbol_table_buildert(symbol_table_buildert &&other)	symbol_table_buildert	inline
symbol_table_buildert(const symbol_table_buildert &)=delete	symbol_table_buildert
symbols	symbol_table_baset
symbolst typedef	symbol_table_baset
validate(const validation_modet vm=validation_modet::INVARIANT) const override	symbol_table_buildert	inlinevirtual
wrap(symbol_table_baset &base_symbol_table)	symbol_table_buildert	inlinestatic
~symbol_table_baset()	symbol_table_baset	virtual