Loading...

Searching...

No Matches

cpp_namet Member List

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

add(const irep_idt &name) irept

add(const irep_idt &name, irept irep) irept

as_expr() const cpp_namet inline

as_type() const cpp_namet inline

baset typedef irept

clear() irept inline

compare(const irept &i) const irept

cpp_namet() cpp_namet inline

cpp_namet(const irep_idt &base_name) cpp_namet inlineexplicit

cpp_namet(const irep_idt &_base_name, const source_locationt &_source_location) cpp_namet inline

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

full_eq(const irept &other) const irept

full_hash() const irept

get(const irep_idt &name) const irept

get_base_name() const cpp_namet

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_template_args() const cpp_namet 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_destructor() const cpp_namet inline

is_nil() const irept inline

is_not_nil() const irept inline

is_operator() const cpp_namet inline

is_qualified() const cpp_namet inline

is_simple_name() const cpp_namet inline

is_typename() const cpp_namet 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

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

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

swap(irept &irep) irept inline

to_string() const cpp_namet

tree_implementationt typedef sharing_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

CBMC: Member List