CBMC
|
This is the complete list of members for cpp_root_scopet, including all inherited members.
add_secondary_scope(cpp_scopet &other) | cpp_scopet | inline |
add_using_scope(cpp_scopet &other) | cpp_scopet | inline |
base_name | cpp_idt | |
class_identifier | cpp_idt | |
clear() | cpp_idt | inline |
compound_counter | cpp_idt | |
contains(const irep_idt &base_name_to_lookup) | cpp_scopet | |
cpp_id_mapt typedef | cpp_idt | protected |
cpp_idt() | cpp_idt | |
cpp_root_scopet() | cpp_root_scopet | inline |
cpp_scopet() | cpp_scopet | inline |
get_global_scope() | cpp_scopet | inline |
get_parent() const | cpp_scopet | inline |
id_class | cpp_idt | |
id_classt enum name | cpp_idt | |
id_sett typedef | cpp_scopet | |
identifier | cpp_idt | |
insert(const irep_idt &_base_name) | cpp_scopet | inline |
insert(const cpp_idt &cpp_id) | cpp_scopet | inline |
is_class() const | cpp_idt | inline |
is_constructor | cpp_idt | |
is_enum() const | cpp_idt | inline |
is_global_scope() const | cpp_scopet | inline |
is_member | cpp_idt | |
is_method | cpp_idt | |
is_namespace() const | cpp_idt | inline |
is_root_scope() const | cpp_scopet | inline |
is_scope | cpp_idt | |
is_static_member | cpp_idt | |
is_template_scope() const | cpp_idt | inline |
is_typedef() const | cpp_idt | inline |
lookup(const irep_idt &base_name_to_lookup, lookup_kindt kind) | cpp_scopet | inline |
lookup(const irep_idt &base_name_to_lookup, lookup_kindt kind, cpp_idt::id_classt identifier_class) | cpp_scopet | inline |
lookup_identifier(const irep_idt &id, cpp_idt::id_classt identifier_class) | cpp_scopet | |
lookup_kindt enum name | cpp_scopet | |
lookup_rec(const irep_idt &base_name, lookup_kindt kind, id_sett &) | cpp_scopet | protected |
lookup_rec(const irep_idt &base_name, lookup_kindt kind, cpp_idt::id_classt id_class, id_sett &) | cpp_scopet | protected |
new_scope(const irep_idt &new_scope_name) | cpp_scopet | |
parent | cpp_idt | protected |
prefix | cpp_idt | |
print(std::ostream &out, unsigned indent=0) const | cpp_idt | |
print_fields(std::ostream &out, unsigned indent=0) const | cpp_idt | |
QUALIFIED enum value | cpp_scopet | |
RECURSIVE enum value | cpp_scopet | |
scope_listt typedef | cpp_idt | protected |
SCOPE_ONLY enum value | cpp_scopet | |
secondary_scopes | cpp_idt | protected |
set_parent(cpp_idt &_parent) | cpp_idt | inline |
sub | cpp_idt | protected |
suffix | cpp_idt | |
this_expr | cpp_idt | |
using_scopes | cpp_idt | protected |