CBMC
cpp_idt Member List

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

base_namecpp_idt
class_identifiercpp_idt
clear()cpp_idtinline
compound_countercpp_idt
cpp_id_mapt typedefcpp_idtprotected
cpp_idt()cpp_idt
get_parent() constcpp_idtinline
id_classcpp_idt
id_classt enum namecpp_idt
identifiercpp_idt
is_class() constcpp_idtinline
is_constructorcpp_idt
is_enum() constcpp_idtinline
is_membercpp_idt
is_methodcpp_idt
is_namespace() constcpp_idtinline
is_scopecpp_idt
is_static_membercpp_idt
is_template_scope() constcpp_idtinline
is_typedef() constcpp_idtinline
parentcpp_idtprotected
prefixcpp_idt
print(std::ostream &out, unsigned indent=0) constcpp_idt
print_fields(std::ostream &out, unsigned indent=0) constcpp_idt
scope_listt typedefcpp_idtprotected
secondary_scopescpp_idtprotected
set_parent(cpp_idt &_parent)cpp_idtinline
subcpp_idtprotected
suffixcpp_idt
this_exprcpp_idt
using_scopescpp_idtprotected