Loading...

Searching...

No Matches

complex_typet Member List

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

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 &type, const validation_modet vm=validation_modet::INVARIANT) type_with_subtypet inlinestatic

clear() irept inline

compare(const irept &i) const irept

complex_typet(typet _subtype) complex_typet 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

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

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

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 > >

subtype() const type_with_subtypet inline

subtype() type_with_subtypet inline

swap(irept &irep) irept inline

tree_implementationt typedef sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >

type_with_subtypet(irep_idt _id, typet _subtype) type_with_subtypet 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

CBMC: Member List