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

follow(const typet &) const	namespace_baset
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
get_symbol_table() const	namespacet	inline
lookup(const irep_idt &name, const symbolt *&symbol) const override	namespacet	virtual
lookup(const irep_idt &name) const	namespacet	inline
lookup(const symbol_exprt &) const	namespacet
lookup(const tag_typet &) const	namespacet
lookup(const irep_idt &name, const symbolt *&symbol) const=0	namespacet
namespace_baset::lookup(const irep_idt &name) const	namespace_baset	inline
namespace_baset::lookup(const symbol_exprt &) const	namespace_baset
namespace_baset::lookup(const tag_typet &) const	namespace_baset
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
smallest_unused_suffix(const std::string &prefix) const override	namespacet	virtual
symbol_table1	namespacet	protected
symbol_table2	namespacet	protected
~namespace_baset()	namespace_baset	virtual