CBMC
irept Member List

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

add(const irep_idt &name)irept
add(const irep_idt &name, irept irep)irept
baset typedefirept
clear()ireptinline
compare(const irept &i) constirept
datasharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >protected
detach()sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >protected
dt typedefsharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >
empty_dsharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >protectedstatic
find(const irep_idt &name) constirept
full_eq(const irept &other) constirept
full_hash() constirept
get(const irep_idt &name) constirept
get_bool(const irep_idt &name) constirept
get_int(const irep_idt &name) constirept
get_long_long(const irep_idt &name) constirept
get_named_sub()ireptinline
get_named_sub() constireptinline
get_size_t(const irep_idt &name) constirept
get_string(const irep_idt &name) constireptinline
get_sub()ireptinline
get_sub() constireptinline
hash() constirept
id() constireptinline
id(const irep_idt &_data)ireptinline
id_string() constireptinline
irept(const irep_idt &_id)ireptinlineexplicit
irept(const irep_idt &_id, const named_subt &_named_sub, const subt &_sub)ireptinline
irept()=defaultirept
is_comment(const irep_idt &name)ireptinlinestatic
is_nil() constireptinline
is_not_nil() constireptinline
make_nil()ireptinline
move_to_named_sub(const irep_idt &name, irept &irep)irept
move_to_sub(irept &irep)irept
named_subt typedefsharing_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 &)ireptstatic
operator!=(const irept &other) constireptinline
operator<(const irept &other) constirept
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) constirept
ordering(const irept &other) constirept
pretty(unsigned indent=0, unsigned max_indent=0) constirept
read() constsharing_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)ireptinline
set(const irep_idt &name, irept irep)ireptinline
set(const irep_idt &name, const long long value)irept
set_size_t(const irep_idt &name, const std::size_t value)irept
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 typedefsharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >
swap(irept &irep)ireptinline
tree_implementationt typedefsharing_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