cprover
ssa_exprt Member List

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

add(const irep_namet &name)irept
add(const irep_namet &name, irept irep)irept
add_expr(const irep_idt &name)exprtinlineprotected
add_source_location()exprtinline
add_to_operands(const exprt &expr)exprtinline
add_to_operands(exprt &&expr)exprtinline
add_to_operands(const exprt &e1, const exprt &e2)exprtinline
add_to_operands(exprt &&e1, exprt &&e2)exprtinline
add_to_operands(const exprt &e1, const exprt &e2, const exprt &e3)exprtinline
add_to_operands(exprt &&e1, exprt &&e2, exprt &&e3)exprtinline
baset typedefirept
can_build_identifier(const exprt &src)ssa_exprtstatic
check(const exprt &expr, const validation_modet vm=validation_modet::INVARIANT)ssa_exprtinlinestatic
clear()ireptinline
compare(const irept &i) constirept
copy_to_operands(const exprt &expr)=deletenullary_exprt
copy_to_operands(const exprt &, const exprt &)=deletenullary_exprt
copy_to_operands(const exprt &, const exprt &, const exprt &)=deletenullary_exprt
datasharing_treet< irept, std::map< irep_namet, irept > >protected
depth_begin()exprt
depth_begin() constexprt
depth_begin(std::function< exprt &()> mutate_root) constexprt
depth_cbegin() constexprt
depth_cend() constexprt
depth_end()exprt
depth_end() constexprt
detach()sharing_treet< irept, std::map< irep_namet, irept > >protected
drop_source_location()exprtinline
dt typedefsharing_treet< irept, std::map< irep_namet, irept > >
empty_dsharing_treet< irept, std::map< irep_namet, irept > >protectedstatic
expr_protectedt(irep_idt _id, typet _type)expr_protectedtinlineprotected
expr_protectedt(irep_idt _id, typet _type, operandst _operands)expr_protectedtinlineprotected
exprt()exprtinline
exprt(const irep_idt &_id)exprtinlineexplicit
exprt(irep_idt _id, typet _type)exprtinline
exprt(irep_idt _id, typet _type, operandst &&_operands)exprtinline
exprt(const irep_idt &id, typet type, source_locationt loc)exprtinline
find(const irep_namet &name) constirept
find_expr(const irep_idt &name) constexprtinlineprotected
find_source_location() constexprt
full_eq(const irept &other) constirept
full_hash() constirept
get(const irep_namet &name) constirept
get_bool(const irep_namet &name) constirept
get_identifier() constsymbol_exprtinline
get_int(const irep_namet &name) constirept
get_l1_object() constssa_exprt
get_l1_object_identifier() constssa_exprt
get_level_0() constssa_exprtinline
get_level_1() constssa_exprtinline
get_level_2() constssa_exprtinline
get_long_long(const irep_namet &name) constirept
get_named_sub()ireptinline
get_named_sub() constireptinline
get_object_name() constssa_exprt
get_original_expr() constssa_exprtinline
get_original_name() constssa_exprtinline
get_size_t(const irep_namet &name) constirept
get_string(const irep_namet &name) constireptinline
get_sub()ireptinline
get_sub() constireptinline
has_operands() constexprtinline
hash() constirept
id() constireptinline
id(const irep_idt &_data)ireptinline
id_string() constireptinline
irept(const irep_idt &_id)ireptinlineexplicit
irept(const irep_idt &_id, const named_subt &_named_sub, const subt &_sub)ireptinline
irept()=defaultirept
is_boolean() constexprt
is_comment(const irep_namet &name)ireptinlinestatic
is_constant() constexprt
is_false() constexprt
is_nil() constireptinline
is_not_nil() constireptinline
is_one() constexprt
is_true() constexprt
is_zero() constexprt
make_bool(bool value)expr_protectedtprotected
exprt::make_bool(bool value)exprt
make_nil()ireptinline
move_to_named_sub(const irep_namet &name, irept &irep)irept
move_to_operands(exprt &)=deletenullary_exprt
move_to_operands(exprt &, exprt &)=deletenullary_exprt
move_to_operands(exprt &, exprt &, exprt &)=deletenullary_exprt
move_to_sub(irept &irep)irept
named_subt typedefsharing_treet< irept, std::map< irep_namet, irept > >
nonrecursive_destructor(dt *old_data)sharing_treet< irept, std::map< irep_namet, irept > >protectedstatic
nullary_exprt(const irep_idt &_id, typet _type)nullary_exprtinline
number_of_non_comments(const named_subt &)ireptstatic
op0() const =deletenullary_exprt
op0()=deletenullary_exprt
expr_protectedt::op0()expr_protectedtinlineprotected
op1() const =deletenullary_exprt
op1()=deletenullary_exprt
expr_protectedt::op1()expr_protectedtinlineprotected
op2() const =deletenullary_exprt
op2()=deletenullary_exprt
expr_protectedt::op2()expr_protectedtinlineprotected
op3() const =deletenullary_exprt
op3()=deletenullary_exprt
expr_protectedt::op3()expr_protectedtinlineprotected
operands()=deletenullary_exprt
operands() const =deletenullary_exprt
operandst typedefexprt
operator!=(const irept &other) constireptinline
operator<(const irept &other) constirept
operator=(const sharing_treet &irep)sharing_treet< irept, std::map< irep_namet, irept > >inline
operator=(sharing_treet &&irep)sharing_treet< irept, std::map< irep_namet, irept > >inline
operator==(const irept &other) constirept
ordering(const irept &other) constirept
pretty(unsigned indent=0, unsigned max_indent=0) constirept
read() constsharing_treet< irept, std::map< irep_namet, irept > >inline
remove(const irep_namet &name)irept
remove_level_2()ssa_exprt
remove_ref(dt *old_data)sharing_treet< irept, std::map< irep_namet, irept > >protectedstatic
reserve_operands(operandst::size_type n)exprtinline
set(const irep_namet &name, const irep_idt &value)ireptinline
set(const irep_namet &name, irept irep)ireptinline
set(const irep_namet &name, const long long value)irept
set_expression(const exprt &expr)ssa_exprt
set_identifier(const irep_idt &identifier)symbol_exprtinline
set_level_0(std::size_t i)ssa_exprt
set_level_1(std::size_t i)ssa_exprt
set_level_2(std::size_t i)ssa_exprt
sharing_treet(irep_idt _id)sharing_treet< irept, std::map< irep_namet, irept > >inlineexplicit
sharing_treet(irep_idt _id, named_subt _named_sub, subt _sub)sharing_treet< irept, std::map< irep_namet, irept > >inline
sharing_treet()sharing_treet< irept, std::map< irep_namet, irept > >inline
sharing_treet(const sharing_treet &irep)sharing_treet< irept, std::map< irep_namet, irept > >inline
sharing_treet(sharing_treet &&irep)sharing_treet< irept, std::map< irep_namet, irept > >inline
size() constexprt
source_location() constexprtinline
ssa_exprt(const exprt &expr)ssa_exprtexplicit
subt typedefsharing_treet< irept, std::map< irep_namet, irept > >
swap(irept &irep)ireptinline
symbol_exprt(typet type)symbol_exprtinlineexplicit
symbol_exprt(const irep_idt &identifier, typet type)symbol_exprtinline
tree_implementationt typedefsharing_treet< irept, std::map< irep_namet, irept > >
type()exprtinline
type() constexprtinline
typeless(const irep_idt &id)symbol_exprtinlinestatic
unique_depth_begin() constexprt
unique_depth_cbegin() constexprt
unique_depth_cend() constexprt
unique_depth_end() constexprt
update_identifier()ssa_exprt
update_type()ssa_exprtinline
validate(const exprt &expr, const namespacet &ns, const validation_modet vm=validation_modet::INVARIANT)ssa_exprtinlinestatic
validate_full(const exprt &expr, const namespacet &ns, const validation_modet vm=validation_modet::INVARIANT)exprtinlinestatic
visit(class expr_visitort &visitor)exprt
visit(class const_expr_visitort &visitor) constexprt
visit_post(std::function< void(exprt &)>)exprt
visit_post(std::function< void(const exprt &)>) constexprt
visit_pre(std::function< void(exprt &)>)exprt
visit_pre(std::function< void(const exprt &)>) constexprt
write()sharing_treet< irept, std::map< irep_namet, irept > >inline
~sharing_treet()sharing_treet< irept, std::map< irep_namet, irept > >inline