cprover
|
This is the complete list of members for namespacet, including all inherited members.
follow(const typet &src) const | namespace_baset | |
follow_macros(exprt &expr) const | namespace_baset | |
follow_symbol(irept &irep) const | namespace_baset | |
follow_tag(const union_tag_typet &src) const | namespace_baset | |
follow_tag(const struct_tag_typet &src) const | namespace_baset | |
follow_tag(const c_enum_tag_typet &src) const | namespace_baset | |
get_max(const std::string &prefix) const | namespacet | virtual |
get_symbol_table() const | namespacet | inline |
lookup(const irep_idt &name, const symbolt *&symbol) const | namespacet | virtual |
lookup(const irep_idt &name) const | namespacet | inline |
lookup(const irept &irep) const | namespacet | inline |
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 irept &irep) const | namespace_baset | inline |
namespacet(const symbol_tablet &_symbol_table) | namespacet | inlineexplicit |
namespacet(const symbol_tablet &_symbol_table1, const symbol_tablet &_symbol_table2) | namespacet | inline |
namespacet(const symbol_tablet *_symbol_table1, const symbol_tablet *_symbol_table2) | namespacet | inline |
symbol_table1 | namespacet | protected |
symbol_table2 | namespacet | protected |
~namespace_baset() | namespace_baset | virtual |