| accept(smt_term_const_downcast_visitort &) const | smt_termt | |
| accept(smt_term_const_downcast_visitort &&) const | smt_termt | |
| add(const irep_idt &name) | irept | protected |
| add(const irep_idt &name, irept irep) | irept | protected |
| baset typedef | irept | protected |
| clear() | irept | inlineprotected |
| compare(const irept &i) const | irept | protected |
| data | sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > > | protected |
| detach() | sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > > | protected |
| smt_termt::downcast(const irept &) | smt_sortt::storert< smt_termt > | privatestatic |
| storert< smt_identifier_termt >::downcast(const irept &) | smt_indext::storert< smt_identifier_termt > | privatestatic |
| dt typedef | sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > > | protected |
| empty_d | sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > > | protectedstatic |
| find(const irep_idt &name) const | irept | protected |
| full_eq(const irept &other) const | irept | protected |
| full_hash() const | irept | protected |
| get(const irep_idt &name) const | irept | protected |
| get_bool(const irep_idt &name) const | irept | protected |
| get_int(const irep_idt &name) const | irept | protected |
| get_long_long(const irep_idt &name) const | irept | protected |
| get_named_sub() | irept | inlineprotected |
| get_named_sub() const | irept | inlineprotected |
| get_size_t(const irep_idt &name) const | irept | protected |
| get_sort() const | smt_termt | |
| get_string(const irep_idt &name) const | irept | inlineprotected |
| get_sub() | irept | inlineprotected |
| get_sub() const | irept | inlineprotected |
| hash() const | irept | protected |
| id() const | irept | inlineprotected |
| id(const irep_idt &_data) | irept | inlineprotected |
| id_string() const | irept | inlineprotected |
| identifier() const | smt_identifier_termt | |
| indices() const | smt_identifier_termt | |
| irept(const irep_idt &_id) | irept | inlineexplicitprotected |
| irept(const irep_idt &_id, const named_subt &_named_sub, const subt &_sub) | irept | inlineprotected |
| irept()=default | irept | protected |
| is_comment(const irep_idt &name) | irept | inlineprotectedstatic |
| is_nil() const | irept | inlineprotected |
| is_not_nil() const | irept | inlineprotected |
| make_nil() | irept | inlineprotected |
| move_to_named_sub(const irep_idt &name, irept &irep) | irept | protected |
| move_to_sub(irept &irep) | irept | protected |
| named_subt typedef | sharing_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 &) | irept | protectedstatic |
| operator!=(const smt_termt &) const | smt_termt | |
| irept::operator!=(const irept &other) const | irept | inlineprotected |
| operator<(const irept &other) const | irept | protected |
| 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 &) const | smt_termt | |
| irept::operator==(const irept &other) const | irept | protected |
| ordering(const irept &other) const | irept | protected |
| pretty(unsigned indent=0, unsigned max_indent=0) const | smt_termt | |
| irept::pretty(unsigned indent=0, unsigned max_indent=0) const | irept | protected |
| read() const | sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > > | inlineprotected |
| remove(const irep_idt &name) | irept | protected |
| 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 | inlineprotected |
| set(const irep_idt &name, irept irep) | irept | inlineprotected |
| set(const irep_idt &name, const long long value) | irept | protected |
| set_size_t(const irep_idt &name, const std::size_t value) | irept | protected |
| 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_identifier_termt(irep_idt identifier, smt_sortt sort, std::vector< smt_indext > indices={}) | smt_identifier_termt | |
| smt_termt()=delete | smt_termt | |
| smt_termt(irep_idt id, smt_sortt sort) | smt_termt | protected |
| smt_termt::storert() | smt_sortt::storert< smt_termt > | private |
| storert< smt_identifier_termt >::storert() | smt_indext::storert< smt_identifier_termt > | private |
| subt typedef | sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > > | protected |
| swap(irept &irep) | irept | inlineprotected |
| tree_implementationt typedef | sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > > | protected |
| smt_termt::upcast(smt_sortt sort) | smt_sortt::storert< smt_termt > | privatestatic |
| storert< smt_identifier_termt >::upcast(smt_indext index) | smt_indext::storert< smt_identifier_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 |
1.9.1