CBMC
|
This is the complete list of members for code_asmt, including all inherited members.
add(const irep_idt &name) | irept | |
add(const irep_idt &name, irept irep) | irept | |
add_expr(const irep_idt &name) | exprt | inlineprotected |
add_source_location() | exprt | inline |
add_to_operands(const exprt &expr) | exprt | inline |
add_to_operands(exprt &&expr) | exprt | inline |
add_to_operands(exprt &&e1, exprt &&e2) | exprt | inline |
add_to_operands(exprt &&e1, exprt &&e2, exprt &&e3) | exprt | inline |
baset typedef | irept | |
check(const exprt &, const validation_modet) | exprt | inlinestatic |
clear() | irept | inline |
code_asmt() | code_asmt | inline |
code_asmt(exprt expr) | code_asmt | inlineexplicit |
codet(const irep_idt &statement) | codet | inlineexplicit |
codet(const irep_idt &statement, source_locationt loc) | codet | inline |
codet(const irep_idt &statement, operandst _op) | codet | inlineexplicit |
codet(const irep_idt &statement, operandst op, source_locationt loc) | codet | inline |
compare(const irept &i) const | irept | |
copy_to_operands(const exprt &expr) | exprt | inline |
data | sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > > | protected |
depth_begin() | exprt | |
depth_begin() const | exprt | |
depth_begin(std::function< exprt &()> mutate_root) const | exprt | |
depth_cbegin() const | exprt | |
depth_cend() const | exprt | |
depth_end() | exprt | |
depth_end() const | exprt | |
detach() | sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > > | protected |
drop_source_location() | exprt | inline |
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 |
exprt() | exprt | inline |
exprt(const irep_idt &_id) | exprt | inlineexplicit |
exprt(irep_idt _id, typet _type) | exprt | inline |
exprt(irep_idt _id, typet _type, operandst &&_operands) | exprt | inline |
exprt(const irep_idt &id, typet type, source_locationt loc) | exprt | inline |
find(const irep_idt &name) const | irept | |
find_expr(const irep_idt &name) const | exprt | inlineprotected |
find_source_location() const | exprt | |
first_statement() | codet | |
first_statement() const | codet | |
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_flavor() const | code_asmt | inline |
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_statement() const | codet | inline |
get_string(const irep_idt &name) const | irept | inline |
get_sub() | irept | inline |
get_sub() const | irept | inline |
has_operands() const | exprt | 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_boolean() const | exprt | inline |
is_comment(const irep_idt &name) | irept | inlinestatic |
is_constant() const | exprt | inline |
is_false() const | exprt | |
is_nil() const | irept | inline |
is_not_nil() const | irept | inline |
is_one() const | exprt | |
is_true() const | exprt | |
is_zero() const | exprt | |
last_statement() | codet | |
last_statement() const | codet | |
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 |
op0() | codet | inline |
op0() const | codet | inline |
exprt::op0() const | exprt | inlineprotected |
op1() | codet | inline |
op1() const | codet | inline |
exprt::op1() const | exprt | inlineprotected |
op2() | codet | inline |
op2() const | codet | inline |
exprt::op2() const | exprt | inlineprotected |
op3() | codet | inline |
op3() const | codet | inline |
exprt::op3() const | exprt | inlineprotected |
operands() | exprt | inline |
operands() const | exprt | inline |
operandst typedef | exprt | |
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 |
reserve_operands(operandst::size_type n) | exprt | 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_flavor(const irep_idt &f) | code_asmt | inline |
set_size_t(const irep_idt &name, const std::size_t value) | irept | |
set_statement(const irep_idt &statement) | codet | inline |
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 | exprt | inline |
subt typedef | sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > > | |
swap(irept &irep) | irept | inline |
tree_implementationt typedef | sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > > | |
type() | exprt | inline |
type() const | exprt | inline |
unique_depth_begin() const | exprt | |
unique_depth_cbegin() const | exprt | |
unique_depth_cend() const | exprt | |
unique_depth_end() const | exprt | |
validate(const exprt &expr, const namespacet &, const validation_modet vm=validation_modet::INVARIANT) | exprt | inlinestatic |
validate_full(const exprt &expr, const namespacet &ns, const validation_modet vm=validation_modet::INVARIANT) | exprt | inlinestatic |
visit(class expr_visitort &visitor) | exprt | |
visit(class const_expr_visitort &visitor) const | exprt | |
visit_post(std::function< void(exprt &)>) | exprt | |
visit_post(std::function< void(const exprt &)>) const | exprt | |
visit_pre(std::function< void(exprt &)>) | exprt | |
visit_pre(std::function< void(const exprt &)>) const | exprt | |
with_source_location(source_locationt location) & | exprt | inline |
with_source_location(source_locationt location) && | exprt | inline |
with_source_location(const exprt &other) & | exprt | inline |
with_source_location(const exprt &other) && | exprt | 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 |