CBMC
multi_namespacet Member List

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

add(const symbol_table_baset &symbol_table)multi_namespacetinline
follow(const typet &) constnamespace_baset
follow_macros(exprt &) constnamespace_baset
follow_tag(const union_tag_typet &) constnamespace_baset
follow_tag(const struct_tag_typet &) constnamespace_baset
follow_tag(const c_enum_tag_typet &) constnamespace_baset
follow_tag(const struct_or_union_tag_typet &) constnamespace_baset
get_symbol_table() constnamespacetinline
lookup(const irep_idt &name, const symbolt *&symbol) const overridemulti_namespacetvirtual
lookup(const irep_idt &name) constmulti_namespacetinline
lookup(const symbol_exprt &) constmulti_namespacet
lookup(const tag_typet &) constmulti_namespacet
lookup(const irep_idt &name, const symbolt *&symbol) const=0multi_namespacet
namespace_baset::lookup(const irep_idt &name) constnamespace_basetinline
namespace_baset::lookup(const symbol_exprt &) constnamespace_baset
namespace_baset::lookup(const tag_typet &) constnamespace_baset
multi_namespacet()multi_namespacetinline
multi_namespacet(const symbol_table_baset &symbol_table)multi_namespacetinlineexplicit
namespacet(const symbol_table_baset &_symbol_table)namespacetinlineexplicit
namespacet(const symbol_table_baset &_symbol_table1, const symbol_table_baset &_symbol_table2)namespacetinline
namespacet(const symbol_table_baset *_symbol_table1, const symbol_table_baset *_symbol_table2)namespacetinline
smallest_unused_suffix(const std::string &prefix) const overridemulti_namespacetvirtual
symbol_table1namespacetprotected
symbol_table2namespacetprotected
symbol_table_listmulti_namespacetprotected
symbol_table_listt typedefmulti_namespacetprotected
~namespace_baset()namespace_basetvirtual