cprover
|
This is the complete list of members for namespace_baset, 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 =0 | namespace_baset | pure virtual |
lookup(const irep_idt &name) const | namespace_baset | inline |
lookup(const irept &irep) const | namespace_baset | inline |
lookup(const irep_idt &name, const symbolt *&symbol) const =0 | namespace_baset | pure virtual |
~namespace_baset() | namespace_baset | virtual |