add(const irep_idt &name) | irept | |
add(const irep_idt &name, irept irep) | irept | |
add_source_location() | typet | inline |
add_subtype() | typet | inline |
add_type(const irep_idt &name) | typet | inline |
baset typedef | irept | |
check(const typet &, const validation_modet=validation_modet::INVARIANT) | typet | inlinestatic |
clear() | irept | inline |
compare(const irept &i) const | irept | |
copy_to_subtypes(const typet &type) | type_with_subtypest | |
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 | |
find_type(const irep_idt &name) const | typet | inline |
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 |
has_subtype() const | typet | inline |
has_subtypes() const | typet | 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_comment(const irep_idt &name) | irept | inlinestatic |
is_nil() const | irept | inline |
is_not_nil() const | irept | inline |
last_type() | merged_typet | inline |
make_nil() | irept | inline |
merged_typet() | merged_typet | inline |
move_to_named_sub(const irep_idt &name, irept &irep) | irept | |
move_to_sub(irept &irep) | irept | |
move_to_subtypes(typet &type) | type_with_subtypest | |
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 | |
ordering(const irept &other) const | irept | |
pretty(unsigned indent=0, unsigned max_indent=0) const | 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 |
remove_subtype() | typet | inline |
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_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 |
source_location() const | typet | inline |
subt typedef | sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > > | |
subtypes() | type_with_subtypest | inline |
subtypes() const | type_with_subtypest | inline |
subtypest typedef | type_with_subtypest | |
swap(irept &irep) | irept | inline |
tree_implementationt typedef | sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > > | |
type_with_subtypest(const irep_idt &_id, const subtypest &_subtypes) | type_with_subtypest | inline |
type_with_subtypest(const irep_idt &_id, subtypest &&_subtypes) | type_with_subtypest | inline |
typet() | typet | inline |
typet(const irep_idt &_id) | typet | inlineexplicit |
typet(irep_idt _id, typet _subtype) | typet | inline |
validate(const typet &type, const namespacet &, const validation_modet vm=validation_modet::INVARIANT) | typet | inlinestatic |
validate_full(const typet &type, const namespacet &ns, const validation_modet vm=validation_modet::INVARIANT) | typet | inlinestatic |
with_source_location(source_locationt location) && | typet | inline |
with_source_location(source_locationt location) & | typet | inline |
with_source_location(const typet &type) && | typet | inline |
with_source_location(const typet &type) & | typet | inline |
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 |