|
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 | |
| 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 |