CBMC
|
This is the complete list of members for cpp_scopest, including all inherited members.
cpp_scopest() | cpp_scopest | inline |
current_scope() | cpp_scopest | inline |
current_scope_ptr | cpp_scopest | |
get_global_scope() | cpp_scopest | inline |
get_id(const irep_idt &identifier) | cpp_scopest | inline |
get_root_scope() | cpp_scopest | inline |
get_scope(const irep_idt &identifier) | cpp_scopest | inline |
go_to(cpp_idt &id) | cpp_scopest | inline |
go_to_global_scope() | cpp_scopest | inline |
go_to_root_scope() | cpp_scopest | inline |
id_map | cpp_scopest | |
id_mapt typedef | cpp_scopest | |
id_sett typedef | cpp_scopest | |
new_block_scope() | cpp_scopest | |
new_namespace(const irep_idt &new_scope_name) | cpp_scopest | inline |
new_scope(const irep_idt &new_scope_name, cpp_idt::id_classt id_class) | cpp_scopest | inline |
print_current(std::ostream &out) const | cpp_scopest | |
put_into_scope(const symbolt &symbol, cpp_scopet &scope, bool is_friend=false) | cpp_scopest | |
put_into_scope(const symbolt &symbol, bool is_friend=false) | cpp_scopest | inline |
root_scope | cpp_scopest | protected |
scope_sett typedef | cpp_scopest | |
set_scope(const irep_idt &identifier) | cpp_scopest | inline |