This is the complete list of members for namespace_baset, 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
follow_tag(const struct_or_union_tag_typet &) const	namespace_baset
lookup(const irep_idt &name) const	namespace_baset	inline
lookup(const symbol_exprt &) const	namespace_baset
lookup(const tag_typet &) const	namespace_baset
lookup(const irep_idt &name, const symbolt *&symbol) const =0	namespace_baset	pure virtual
smallest_unused_suffix(const std::string &prefix) const =0	namespace_baset	pure virtual
~namespace_baset()	namespace_baset	virtual