predicate_exprt Member List

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

add(const irep_namet &name)	irept
add(const irep_namet &name, const 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(const exprt &e1, const exprt &e2)	exprt	inline
add_to_operands(exprt &&e1, exprt &&e2)	exprt	inline
add_to_operands(const exprt &e1, const exprt &e2, const exprt &e3)	exprt	inline
add_to_operands(exprt &&e1, exprt &&e2, exprt &&e3)	exprt	inline
check(const exprt &, const validation_modet)	exprt	inlinestatic
clear()	irept	inline
compare(const irept &i) const	irept
copy_to_operands(const exprt &expr)	exprt	inline
copy_to_operands(const exprt &e1, const exprt &e2)	exprt	inline
copy_to_operands(const exprt &e1, const exprt &e2, const exprt &e3)	exprt	inline
data	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()	irept	protected
empty_d	irept	protectedstatic
exprt()	exprt	inline
exprt(const irep_idt &_id)	exprt	inlineexplicit
exprt(const irep_idt &_id, const typet &_type)	exprt	inline
find(const irep_namet &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_namet &name) const	irept
get_bool(const irep_namet &name) const	irept
get_comments()	irept	inline
get_comments() const	irept	inline
get_int(const irep_namet &name) const	irept
get_long_long(const irep_namet &name) const	irept
get_named_sub()	irept	inline
get_named_sub() const	irept	inline
get_size_t(const irep_namet &name) const	irept
get_string(const irep_namet &name) const	irept	inline
get_sub()	irept	inline
get_sub() const	irept	inline
get_unsigned_int(const irep_namet &name) const	irept
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()	irept	inline
irept(const irept &irep)	irept	inline
irept(irept &&irep)	irept	inline
is_boolean() const	exprt
is_comment(const irep_namet &name)	irept	inlineprotectedstatic
is_constant() const	exprt
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
make_bool(bool value)	exprt
make_nil()	irept	inline
make_typecast(const typet &_type)	exprt
move_to_named_sub(const irep_namet &name, irept &irep)	irept
move_to_operands(exprt &expr)	exprt
move_to_operands(exprt &e1, exprt &e2)	exprt
move_to_operands(exprt &e1, exprt &e2, exprt &e3)	exprt
move_to_sub(irept &irep)	irept
named_subt typedef	irept
nonrecursive_destructor(dt *old_data)	irept	protectedstatic
op0()	exprt	inline
op0() const	exprt	inline
op1()	exprt	inline
op1() const	exprt	inline
op2()	exprt	inline
op2() const	exprt	inline
op3()	exprt	inline
op3() const	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 irept &irep)	irept	inline
operator=(irept &&irep)	irept	inline
operator==(const irept &other) const	irept
ordering(const irept &other) const	irept
predicate_exprt()	predicate_exprt	inline
predicate_exprt(const irep_idt &_id)	predicate_exprt	inlineexplicit
predicate_exprt(const irep_idt &_id, const exprt &_op)	predicate_exprt	inline
predicate_exprt(const irep_idt &_id, const exprt &_op0, const exprt &_op1)	predicate_exprt	inline
pretty(unsigned indent=0, unsigned max_indent=0) const	irept
read() const	irept	inline
remove(const irep_namet &name)	irept
remove_ref(dt *old_data)	irept	protectedstatic
reserve_operands(operandst::size_type n)	exprt	inline
set(const irep_namet &name, const irep_idt &value)	irept	inline
set(const irep_namet &name, const irept &irep)	irept	inline
set(const irep_namet &name, const long long value)	irept
source_location() const	exprt	inline
subt typedef	irept
swap(irept &irep)	irept	inline
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
write()	irept	inline
~irept()	irept	inline