CBMC
|
This is the complete list of members for multi_namespacet, including all inherited members.
add(const symbol_table_baset &symbol_table) | multi_namespacet | inline |
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 | |
get_symbol_table() const | namespacet | inline |
lookup(const irep_idt &name, const symbolt *&symbol) const override | multi_namespacet | virtual |
lookup(const irep_idt &name) const | multi_namespacet | inline |
lookup(const symbol_exprt &) const | multi_namespacet | |
lookup(const tag_typet &) const | multi_namespacet | |
lookup(const irep_idt &name, const symbolt *&symbol) const=0 | multi_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 | |
multi_namespacet() | multi_namespacet | inline |
multi_namespacet(const symbol_table_baset &symbol_table) | multi_namespacet | inlineexplicit |
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 | multi_namespacet | virtual |
symbol_table1 | namespacet | protected |
symbol_table2 | namespacet | protected |
symbol_table_list | multi_namespacet | protected |
symbol_table_listt typedef | multi_namespacet | protected |
~namespace_baset() | namespace_baset | virtual |