cpp_storage_spect Member List

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

add(const irep_idt &name)	irept
add(const irep_idt &name, irept irep)	irept
baset typedef	irept
clear()	irept	inline
compare(const irept &i) const	irept
cpp_storage_spect()	cpp_storage_spect	inline
cpp_storage_spect(const typet &type)	cpp_storage_spect	inlineexplicit
data	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	protected
detach()	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	protected
dt typedef	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >
empty_d	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	protectedstatic
find(const irep_idt &name) const	irept
full_eq(const irept &other) const	irept
full_hash() const	irept
get(const irep_idt &name) const	irept
get_bool(const irep_idt &name) const	irept
get_int(const irep_idt &name) const	irept
get_long_long(const irep_idt &name) const	irept
get_named_sub()	irept	inline
get_named_sub() const	irept	inline
get_size_t(const irep_idt &name) const	irept
get_string(const irep_idt &name) const	irept	inline
get_sub()	irept	inline
get_sub() const	irept	inline
hash() const	irept
id() const	irept	inline
id(const irep_idt &_data)	irept	inline
id_string() const	irept	inline
irept(const irep_idt &_id)	irept	inlineexplicit
irept(const irep_idt &_id, const named_subt &_named_sub, const subt &_sub)	irept	inline
irept()=default	irept
is_asm() const	cpp_storage_spect	inline
is_auto() const	cpp_storage_spect	inline
is_comment(const irep_idt &name)	irept	inlinestatic
is_empty() const	cpp_storage_spect	inline
is_extern() const	cpp_storage_spect	inline
is_mutable() const	cpp_storage_spect	inline
is_nil() const	irept	inline
is_not_nil() const	irept	inline
is_register() const	cpp_storage_spect	inline
is_static() const	cpp_storage_spect	inline
is_thread_local() const	cpp_storage_spect	inline
is_weak() const	cpp_storage_spect	inline
location()	cpp_storage_spect	inline
location() const	cpp_storage_spect	inline
make_nil()	irept	inline
move_to_named_sub(const irep_idt &name, irept &irep)	irept
move_to_sub(irept &irep)	irept
named_subt typedef	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >
nonrecursive_destructor(dt *old_data)	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	protectedstatic
number_of_non_comments(const named_subt &)	irept	static
operator!=(const irept &other) const	irept	inline
operator<(const irept &other) const	irept
operator=(const sharing_treet &irep)	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inline
operator=(sharing_treet &&irep)	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inline
operator==(const irept &other) const	irept
operator|=(const cpp_storage_spect &other)	cpp_storage_spect	inline
ordering(const irept &other) const	irept
pretty(unsigned indent=0, unsigned max_indent=0) const	irept
read(const typet &type)	cpp_storage_spect	private
irept::read() const	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inline
remove(const irep_idt &name)	irept
remove_ref(dt *old_data)	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	protectedstatic
set(const irep_idt &name, const irep_idt &value)	irept	inline
set(const irep_idt &name, irept irep)	irept	inline
set(const irep_idt &name, const long long value)	irept
set_asm()	cpp_storage_spect	inline
set_auto()	cpp_storage_spect	inline
set_extern()	cpp_storage_spect	inline
set_mutable()	cpp_storage_spect	inline
set_register()	cpp_storage_spect	inline
set_size_t(const irep_idt &name, const std::size_t value)	irept
set_static()	cpp_storage_spect	inline
set_thread_local()	cpp_storage_spect	inline
set_weak()	cpp_storage_spect	inline
sharing_treet(irep_idt _id)	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inlineexplicit
sharing_treet(irep_idt _id, named_subt _named_sub, subt _sub)	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inline
sharing_treet()	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inline
sharing_treet(const sharing_treet &irep)	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inline
sharing_treet(sharing_treet &&irep)	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inline
subt typedef	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >
swap(irept &irep)	irept	inline
tree_implementationt typedef	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >
write()	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inline
~sharing_treet()	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inline