empty_namespacet Member List

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

add(const symbolt &symbol)	symbol_table_baset	private
begin() override	symbol_tablet	inlineprivatevirtual
begin()=0	symbol_tablet	privatevirtual
begin() const	symbol_tablet	privatevirtual
clear() override	symbol_tablet	inlineprivatevirtual
const_iteratort typedef	symbol_table_baset	private
empty_namespacet()	empty_namespacet	inline
empty_namespacet(const empty_namespacet &)=delete	empty_namespacet
empty_namespacet(empty_namespacet &&)=delete	empty_namespacet
end() override	symbol_tablet	inlineprivatevirtual
end()=0	symbol_tablet	privatevirtual
end() const	symbol_tablet	privatevirtual
erase(const symbolst::const_iterator &entry) override	symbol_tablet	privatevirtual
follow_macros(exprt &) const	namespace_baset
follow_tag(const union_tag_typet &) const	namespace_baset
follow_tag(const struct_tag_typet &) const	namespace_baset
follow_tag(const c_enum_tag_typet &) const	namespace_baset
follow_tag(const struct_or_union_tag_typet &) const	namespace_baset
symbol_tablet::get_symbol_table() const override	symbol_tablet	inlineprivatevirtual
namespacet::get_symbol_table() const	namespacet	inline
get_writeable(const irep_idt &name) override	symbol_tablet	inlineprivatevirtual
get_writeable_ref(const irep_idt &name)	symbol_table_baset	inlineprivate
has_symbol(const irep_idt &name) const	symbol_table_baset	inlineprivate
insert(symbolt symbol) override	symbol_tablet	privatevirtual
internal_symbol_base_map	symbol_tablet	private
internal_symbol_module_map	symbol_tablet	private
internal_symbols	symbol_tablet	private
symbol_tablet::lookup(const irep_idt &name) const	symbol_table_baset	inlineprivate
namespacet::lookup(const irep_idt &name, const symbolt *&symbol) const override	namespacet	virtual
namespacet::lookup(const irep_idt &name) const	namespacet	inline
namespacet::lookup(const symbol_exprt &) const	namespacet
namespacet::lookup(const tag_typet &) const	namespacet
lookup_ref(const irep_idt &name) const	symbol_table_baset	inlineprivate
match_name_or_base_name(const irep_idt &id) const	symbol_table_baset	inlineprivate
move(symbolt &symbol, symbolt *&new_symbol) override	symbol_tablet	privatevirtual
namespacet(const symbol_table_baset &_symbol_table)	namespacet	inlineexplicit
namespacet(const symbol_table_baset &_symbol_table1, const symbol_table_baset &_symbol_table2)	namespacet	inline
namespacet(const symbol_table_baset *_symbol_table1, const symbol_table_baset *_symbol_table2)	namespacet	inline
next_unused_suffix(const std::string &prefix, std::size_t start_number) const	symbol_table_baset	inlineprivate
next_unused_suffix(const std::string &prefix) const	symbol_table_baset	inlineprivatevirtual
operator const symbol_tablet &() const	symbol_table_baset	inlineprivate
operator=(const empty_namespacet &)=delete	empty_namespacet
operator=(empty_namespacet &&)=delete	empty_namespacet
symbol_tablet::operator=(const symbol_tablet &other)	symbol_tablet	inlineprivate
symbol_tablet::operator=(symbol_tablet &&other)	symbol_tablet	inlineprivate
symbol_table_baset::operator=(const symbol_table_baset &other)=delete	symbol_table_baset	private
operator==(const symbol_tablet &other) const	symbol_tablet	private
remove(const irep_idt &name)	symbol_table_baset	private
show(std::ostream &out) const	symbol_table_baset	private
smallest_unused_suffix(const std::string &prefix) const override	namespacet	virtual
sorted_symbol_names() const	symbol_table_baset	private
swap(symbol_tablet &other)	symbol_tablet	inlineprivate
symbol_base_map	symbol_table_baset	private
symbol_module_map	symbol_table_baset	private
symbol_table1	namespacet	protected
symbol_table2	namespacet	protected
symbol_table_baset(const symbolst &symbols, const symbol_base_mapt &symbol_base_map, const symbol_module_mapt &symbol_module_map)	symbol_table_baset	inlineprivate
symbol_table_baset(const symbol_table_baset &other)=delete	symbol_table_baset	private
symbol_tablet()	symbol_tablet	inlineprivate
symbol_tablet(const symbol_tablet &other)	symbol_tablet	inlineprivate
symbol_tablet(symbol_tablet &&other)	symbol_tablet	inlineprivate
symbols	symbol_table_baset	private
symbolst typedef	symbol_table_baset	private
validate(const validation_modet vm=validation_modet::INVARIANT) const override	symbol_tablet	privatevirtual
~namespace_baset()	namespace_baset	virtual
~symbol_table_baset()	symbol_table_baset	privatevirtual