|
CBMC
|
This is the complete list of members for cpp_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_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 |