cpp_scopest Member List

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