CBMC
smt_exists_termt Member List

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

accept(smt_term_const_downcast_visitort &) constsmt_termt
accept(smt_term_const_downcast_visitort &&) constsmt_termt
add(const irep_idt &name)ireptprotected
add(const irep_idt &name, irept irep)ireptprotected
baset typedefireptprotected
bound_variables() constsmt_exists_termt
clear()ireptinlineprotected
compare(const irept &i) constireptprotected
datasharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >protected
detach()sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >protected
downcast(const irept &)smt_sortt::storert< smt_termt >privatestatic
dt typedefsharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >protected
empty_dsharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >protectedstatic
find(const irep_idt &name) constireptprotected
full_eq(const irept &other) constireptprotected
full_hash() constireptprotected
get(const irep_idt &name) constireptprotected
get_bool(const irep_idt &name) constireptprotected
get_int(const irep_idt &name) constireptprotected
get_long_long(const irep_idt &name) constireptprotected
get_named_sub()ireptinlineprotected
get_named_sub() constireptinlineprotected
get_size_t(const irep_idt &name) constireptprotected
get_sort() constsmt_termt
get_string(const irep_idt &name) constireptinlineprotected
get_sub()ireptinlineprotected
get_sub() constireptinlineprotected
hash() constireptprotected
id() constireptinlineprotected
id(const irep_idt &_data)ireptinlineprotected
id_string() constireptinlineprotected
irept(const irep_idt &_id)ireptinlineexplicitprotected
irept(const irep_idt &_id, const named_subt &_named_sub, const subt &_sub)ireptinlineprotected
irept()=defaultireptprotected
is_comment(const irep_idt &name)ireptinlineprotectedstatic
is_nil() constireptinlineprotected
is_not_nil() constireptinlineprotected
make_nil()ireptinlineprotected
move_to_named_sub(const irep_idt &name, irept &irep)ireptprotected
move_to_sub(irept &irep)ireptprotected
named_subt typedefsharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >protected
nonrecursive_destructor(dt *old_data)sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >protectedstatic
number_of_non_comments(const named_subt &)ireptprotectedstatic
operator!=(const smt_termt &) constsmt_termt
irept::operator!=(const irept &other) constireptinlineprotected
operator<(const irept &other) constireptprotected
operator=(const sharing_treet &irep)sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >inlineprotected
operator=(sharing_treet &&irep)sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >inlineprotected
operator==(const smt_termt &) constsmt_termt
irept::operator==(const irept &other) constireptprotected
ordering(const irept &other) constireptprotected
predicate() constsmt_exists_termt
pretty(unsigned indent=0, unsigned max_indent=0) constsmt_termt
irept::pretty(unsigned indent=0, unsigned max_indent=0) constireptprotected
read() constsharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >inlineprotected
remove(const irep_idt &name)ireptprotected
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)ireptinlineprotected
set(const irep_idt &name, irept irep)ireptinlineprotected
set(const irep_idt &name, const long long value)ireptprotected
set_size_t(const irep_idt &name, const std::size_t value)ireptprotected
sharing_treet(irep_idt _id)sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >inlineexplicitprotected
sharing_treet(irep_idt _id, named_subt _named_sub, subt _sub)sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >inlineprotected
sharing_treet()sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >inlineprotected
sharing_treet(const sharing_treet &irep)sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >inlineprotected
sharing_treet(sharing_treet &&irep)sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >inlineprotected
smt_exists_termt(std::vector< smt_identifier_termt > bound_variables, smt_termt predicate)smt_exists_termt
smt_termt()=deletesmt_termt
smt_termt(irep_idt id, smt_sortt sort)smt_termtprotected
storert()smt_sortt::storert< smt_termt >private
subt typedefsharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >protected
swap(irept &irep)ireptinlineprotected
tree_implementationt typedefsharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >protected
upcast(smt_sortt sort)smt_sortt::storert< smt_termt >privatestatic
write()sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >inlineprotected
~sharing_treet()sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >inlineprotected