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

add(const symbolt &symbol)	symbol_table_baset
begin()=0	symbol_table_baset	pure virtual
begin() const	symbol_table_baset	virtual
clear()=0	symbol_table_baset	pure virtual
const_iteratort typedef	symbol_table_baset
end()=0	symbol_table_baset	pure virtual
end() const	symbol_table_baset	virtual
erase(const symbolst::const_iterator &entry)=0	symbol_table_baset	pure virtual
get_symbol_table() const =0	symbol_table_baset	pure virtual
get_writeable(const irep_idt &name)=0	symbol_table_baset	pure virtual
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)=0	symbol_table_baset	pure virtual
lookup(const irep_idt &name) const	symbol_table_baset	inline
lookup_ref(const irep_idt &name) const	symbol_table_baset	inline
move(symbolt &symbol, symbolt *&new_symbol)=0	symbol_table_baset	pure virtual
next_unused_suffix(const std::string &prefix, std::size_t start_number) const	symbol_table_baset	inline
next_unused_suffix(const std::string &prefix) const	symbol_table_baset	inlinevirtual
operator const symbol_tablet &() const	symbol_table_baset	inline
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
symbols	symbol_table_baset
symbolst typedef	symbol_table_baset
~symbol_table_baset()	symbol_table_baset	virtual