cprover
namespacet Member List

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

follow(const typet &src) constnamespace_baset
follow_macros(exprt &expr) constnamespace_baset
follow_symbol(irept &irep) constnamespace_baset
follow_tag(const union_tag_typet &src) constnamespace_baset
follow_tag(const struct_tag_typet &src) constnamespace_baset
follow_tag(const c_enum_tag_typet &src) constnamespace_baset
get_max(const std::string &prefix) constnamespacetvirtual
get_symbol_table() constnamespacetinline
lookup(const irep_idt &name, const symbolt *&symbol) constnamespacetvirtual
namespace_baset::lookup(const irep_idt &name) constnamespace_basetinline
namespace_baset::lookup(const irept &irep) constnamespace_basetinline
namespacet(const symbol_tablet &_symbol_table)namespacetinlineexplicit
namespacet(const symbol_tablet &_symbol_table1, const symbol_tablet &_symbol_table2)namespacetinline
namespacet(const symbol_tablet *_symbol_table1, const symbol_tablet *_symbol_table2)namespacetinline
symbol_table1namespacetprotected
symbol_table2namespacetprotected
~namespace_baset()namespace_basetvirtual