CBMC
cpp_root_scopet Member List

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

add_secondary_scope(cpp_scopet &other)cpp_scopetinline
add_using_scope(cpp_scopet &other)cpp_scopetinline
base_namecpp_idt
class_identifiercpp_idt
clear()cpp_idtinline
compound_countercpp_idt
contains(const irep_idt &base_name_to_lookup)cpp_scopet
cpp_id_mapt typedefcpp_idtprotected
cpp_idt()cpp_idt
cpp_root_scopet()cpp_root_scopetinline
cpp_scopet()cpp_scopetinline
get_global_scope()cpp_scopetinline
get_parent() constcpp_scopetinline
id_classcpp_idt
id_classt enum namecpp_idt
id_sett typedefcpp_scopet
identifiercpp_idt
insert(const irep_idt &_base_name)cpp_scopetinline
insert(const cpp_idt &cpp_id)cpp_scopetinline
is_class() constcpp_idtinline
is_constructorcpp_idt
is_enum() constcpp_idtinline
is_global_scope() constcpp_scopetinline
is_membercpp_idt
is_methodcpp_idt
is_namespace() constcpp_idtinline
is_root_scope() constcpp_scopetinline
is_scopecpp_idt
is_static_membercpp_idt
is_template_scope() constcpp_idtinline
is_typedef() constcpp_idtinline
lookup(const irep_idt &base_name_to_lookup, lookup_kindt kind)cpp_scopetinline
lookup(const irep_idt &base_name_to_lookup, lookup_kindt kind, cpp_idt::id_classt identifier_class)cpp_scopetinline
lookup_identifier(const irep_idt &id, cpp_idt::id_classt identifier_class)cpp_scopet
lookup_kindt enum namecpp_scopet
lookup_rec(const irep_idt &base_name, lookup_kindt kind, id_sett &)cpp_scopetprotected
lookup_rec(const irep_idt &base_name, lookup_kindt kind, cpp_idt::id_classt id_class, id_sett &)cpp_scopetprotected
new_scope(const irep_idt &new_scope_name)cpp_scopet
parentcpp_idtprotected
prefixcpp_idt
print(std::ostream &out, unsigned indent=0) constcpp_idt
print_fields(std::ostream &out, unsigned indent=0) constcpp_idt
QUALIFIED enum valuecpp_scopet
RECURSIVE enum valuecpp_scopet
scope_listt typedefcpp_idtprotected
SCOPE_ONLY enum valuecpp_scopet
secondary_scopescpp_idtprotected
set_parent(cpp_idt &_parent)cpp_idtinline
subcpp_idtprotected
suffixcpp_idt
this_exprcpp_idt
using_scopescpp_idtprotected