CBMC
new_scopet Member List

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

anon_countnew_scopet
full_name() constnew_scopetinline
get_anon_id()new_scopetinline
idnew_scopet
id_mapnew_scopet
id_mapt typedefnew_scopet
is_named_scope() constnew_scopetinline
is_template() constnew_scopetinline
is_type() constnew_scopetinline
kindnew_scopet
kind2string(kindt kind)new_scopetinlinestatic
kindt enum namenew_scopet
new_scopet()new_scopetinline
parentnew_scopet
print(std::ostream &out) constnew_scopetinline
print_rec(std::ostream &, unsigned indent) constnew_scopetprotected