Loading...

Searching...

No Matches

cond_exprt Member List

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

add(const irep_idt &name) irept

add(const irep_idt &name, irept irep) irept

add_case(const exprt &condition, const exprt &value) cond_exprt inline

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=validation_modet::INVARIANT) exprt inlinestatic

clear() irept inline

compare(const irept &i) const irept

cond_exprt(operandst _operands, typet _type) cond_exprt inline

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

expr_protectedt(irep_idt _id, typet _type) expr_protectedt inlineprotected

expr_protectedt(irep_idt _id, typet _type, operandst _operands) expr_protectedt inlineprotected

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

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

lower() const cond_exprt

make_nil() irept inline

move_to_named_sub(const irep_idt &name, irept &irep) irept

move_to_sub(irept &irep) irept

multi_ary_exprt(const irep_idt &_id, operandst _operands, typet _type) multi_ary_exprt inline

multi_ary_exprt(const irep_idt &_id, operandst _operands) multi_ary_exprt inline

multi_ary_exprt(const exprt &_lhs, const irep_idt &_id, exprt _rhs) multi_ary_exprt inline

multi_ary_exprt(exprt _lhs, const irep_idt &_id, exprt _rhs, typet _type) multi_ary_exprt inline

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() multi_ary_exprt inline

op0() const multi_ary_exprt inline

op1() multi_ary_exprt inline

op1() const multi_ary_exprt inline

op2() multi_ary_exprt inline

op2() const multi_ary_exprt inline

op3() multi_ary_exprt inline

op3() const multi_ary_exprt 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

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

CBMC: Member List