CBMC: Member List

CBMC

Loading...

Searching...

No Matches

code_assignt Member List

This is the complete list of members for code_assignt, 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 goto_instruction_codet &code, const validation_modet vm=validation_modet::INVARIANT) code_assignt inlinestatic

codet::check(const exprt &, const validation_modet=validation_modet::INVARIANT) exprt inlinestatic

clear() irept inline

code_assignt() code_assignt inline

code_assignt(exprt lhs, exprt rhs) code_assignt inline

code_assignt(exprt lhs, exprt rhs, source_locationt loc) code_assignt inline

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

lhs() code_assignt inline

lhs() const code_assignt 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

op0() codet inline

op0() const codet inline

op1() codet inline

op1() const codet inline

op2() codet inline

op2() const codet inline

op3() codet inline

op3() const codet inline

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

rhs() code_assignt inline

rhs() const code_assignt 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

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 goto_instruction_codet &code, const namespacet &, const validation_modet vm=validation_modet::INVARIANT) code_assignt inlinestatic

codet::validate(const exprt &expr, const namespacet &, const validation_modet vm=validation_modet::INVARIANT) exprt inlinestatic

validate_full(const goto_instruction_codet &code, const namespacet &ns, const validation_modet vm=validation_modet::INVARIANT) code_assignt inlinestatic

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

Generated by doxygen 1.9.8