CBMC
|
This is the complete list of members for cpp_idt, including all inherited members.
base_name | cpp_idt | |
class_identifier | cpp_idt | |
clear() | cpp_idt | inline |
compound_counter | cpp_idt | |
cpp_id_mapt typedef | cpp_idt | protected |
cpp_idt() | cpp_idt | |
get_parent() const | cpp_idt | inline |
id_class | cpp_idt | |
id_classt enum name | cpp_idt | |
identifier | cpp_idt | |
is_class() const | cpp_idt | inline |
is_constructor | cpp_idt | |
is_enum() const | cpp_idt | inline |
is_member | cpp_idt | |
is_method | cpp_idt | |
is_namespace() const | cpp_idt | inline |
is_scope | cpp_idt | |
is_static_member | cpp_idt | |
is_template_scope() const | cpp_idt | inline |
is_typedef() const | cpp_idt | inline |
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 | |
scope_listt typedef | cpp_idt | protected |
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 |