constant_interval_exprt Member List

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

abs(const exprt &expr)	constant_interval_exprt	static
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
append_multiply_expression(const exprt &lower, const exprt &upper, std::vector< exprt > &collection)	constant_interval_exprt	privatestatic
append_multiply_expression_max(const exprt &expr, std::vector< exprt > &collection)	constant_interval_exprt	privatestatic
append_multiply_expression_min(const exprt &min, const exprt &other, std::vector< exprt > &collection)	constant_interval_exprt	privatestatic
baset typedef	irept
binary_exprt(const exprt &_lhs, const irep_idt &_id, exprt _rhs)	binary_exprt	inline
binary_exprt(exprt _lhs, const irep_idt &_id, exprt _rhs, typet _type)	binary_exprt	inline
bitwise_and(const constant_interval_exprt &o) const	constant_interval_exprt
bitwise_and(const constant_interval_exprt &a, const constant_interval_exprt &b)	constant_interval_exprt	static
bitwise_not() const	constant_interval_exprt
bitwise_not(const constant_interval_exprt &a)	constant_interval_exprt	static
bitwise_or(const constant_interval_exprt &o) const	constant_interval_exprt
bitwise_or(const constant_interval_exprt &a, const constant_interval_exprt &b)	constant_interval_exprt	static
bitwise_xor(const constant_interval_exprt &o) const	constant_interval_exprt
bitwise_xor(const constant_interval_exprt &a, const constant_interval_exprt &b)	constant_interval_exprt	static
bottom(const typet &type)	constant_interval_exprt	static
bottom() const	constant_interval_exprt
check(const exprt &expr, const validation_modet vm=validation_modet::INVARIANT)	binary_exprt	inlinestatic
clear()	irept	inline
compare(const irept &i) const	irept
constant_interval_exprt(exprt lower, exprt upper, typet type)	constant_interval_exprt	inline
constant_interval_exprt(const typet &type)	constant_interval_exprt	inlineexplicit
constant_interval_exprt(const exprt &lower, const exprt &upper)	constant_interval_exprt	inline
contains(const constant_interval_exprt &interval) const	constant_interval_exprt
contains_extreme(const exprt expr)	constant_interval_exprt	static
contains_extreme(const exprt expr1, const exprt expr2)	constant_interval_exprt	static
contains_zero() const	constant_interval_exprt
copy_to_operands(const exprt &expr)	exprt	inline
data	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	protected
decrement() const	constant_interval_exprt
decrement(const constant_interval_exprt &a)	constant_interval_exprt	static
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
divide(const constant_interval_exprt &o) const	constant_interval_exprt
divide(const constant_interval_exprt &a, const constant_interval_exprt &b)	constant_interval_exprt	static
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
equal(const constant_interval_exprt &o) const	constant_interval_exprt
equal(const exprt &a, const exprt &b)	constant_interval_exprt	static
equal(const constant_interval_exprt &a, const constant_interval_exprt &b)	constant_interval_exprt	static
eval(const irep_idt &unary_operator) const	constant_interval_exprt
eval(const irep_idt &binary_operator, const constant_interval_exprt &o) const	constant_interval_exprt
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
generate_division_expression(const exprt &lhs, const exprt &rhs)	constant_interval_exprt	privatestatic
generate_expression(const exprt &lhs, const exprt &rhs, const irep_idt &operation, std::vector< exprt > &collection)	constant_interval_exprt	privatestatic
generate_modulo_expression(const exprt &lhs, const exprt &rhs)	constant_interval_exprt	privatestatic
generate_shift_expression(const exprt &lhs, const exprt &rhs, const irep_idt &operation)	constant_interval_exprt	privatestatic
get(const irep_idt &name) const	irept
get_bool(const irep_idt &name) const	irept
get_extreme(std::vector< exprt > values, bool min=true)	constant_interval_exprt	static
get_extremes(const constant_interval_exprt &lhs, const constant_interval_exprt &rhs, const irep_idt &operation)	constant_interval_exprt	static
get_int(const irep_idt &name) const	irept
get_long_long(const irep_idt &name) const	irept
get_lower() const	constant_interval_exprt
get_max(const exprt &a, const exprt &b)	constant_interval_exprt	static
get_max(std::vector< exprt > &values)	constant_interval_exprt	static
get_min(const exprt &a, const exprt &b)	constant_interval_exprt	static
get_min(std::vector< exprt > &values)	constant_interval_exprt	static
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
get_upper() const	constant_interval_exprt
greater_than(const constant_interval_exprt &o) const	constant_interval_exprt
greater_than(const exprt &a, const exprt &b)	constant_interval_exprt	static
greater_than(const constant_interval_exprt &a, const constant_interval_exprt &b)	constant_interval_exprt	static
greater_than_or_equal(const constant_interval_exprt &o) const	constant_interval_exprt
greater_than_or_equal(const exprt &a, const exprt &b)	constant_interval_exprt	static
greater_than_or_equal(const constant_interval_exprt &a, const constant_interval_exprt &b)	constant_interval_exprt	static
handle_constant_binary_expression(const constant_interval_exprt &other, const irep_idt &) const	constant_interval_exprt
handle_constant_unary_expression(const irep_idt &op) const	constant_interval_exprt
has_no_lower_bound() const	constant_interval_exprt
has_no_upper_bound() const	constant_interval_exprt
has_operands() const	exprt	inline
hash() const	irept
id() const	irept	inline
id(const irep_idt &_data)	irept	inline
id_string() const	irept	inline
increment() const	constant_interval_exprt
increment(const constant_interval_exprt &a)	constant_interval_exprt	static
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_bitvector() const	constant_interval_exprt
is_bitvector(const typet &type)	constant_interval_exprt	static
is_bitvector(const constant_interval_exprt &interval)	constant_interval_exprt	static
is_bitvector(const exprt &expr)	constant_interval_exprt	static
is_boolean() const	exprt	inline
is_bottom(const constant_interval_exprt &a)	constant_interval_exprt	static
is_bottom() const	constant_interval_exprt
is_comment(const irep_idt &name)	irept	inlinestatic
is_constant() const	exprt	inline
is_definitely_false() const	constant_interval_exprt
is_definitely_true() const	constant_interval_exprt
is_empty() const	constant_interval_exprt
is_empty(const constant_interval_exprt &a)	constant_interval_exprt	static
is_extreme(const exprt &expr)	constant_interval_exprt	static
is_extreme(const exprt &expr1, const exprt &expr2)	constant_interval_exprt	static
is_false(const constant_interval_exprt &a)	constant_interval_exprt	static
binary_exprt::is_false() const	exprt
is_float() const	constant_interval_exprt
is_float(const typet &type)	constant_interval_exprt	static
is_float(const exprt &expr)	constant_interval_exprt	static
is_float(const constant_interval_exprt &interval)	constant_interval_exprt	static
is_int() const	constant_interval_exprt
is_int(const typet &type)	constant_interval_exprt	static
is_int(const exprt &expr)	constant_interval_exprt	static
is_int(const constant_interval_exprt &interval)	constant_interval_exprt	static
is_max(const constant_interval_exprt &a)	constant_interval_exprt	static
is_max(const exprt &expr)	constant_interval_exprt	static
is_min(const constant_interval_exprt &a)	constant_interval_exprt	static
is_min(const exprt &expr)	constant_interval_exprt	static
is_negative() const	constant_interval_exprt
is_negative(const exprt &expr)	constant_interval_exprt	static
is_negative(const constant_interval_exprt &interval)	constant_interval_exprt	static
is_nil() const	irept	inline
is_not_nil() const	irept	inline
is_numeric() const	constant_interval_exprt
is_numeric(const typet &type)	constant_interval_exprt	static
is_numeric(const exprt &expr)	constant_interval_exprt	static
is_numeric(const constant_interval_exprt &interval)	constant_interval_exprt	static
is_one() const	exprt
is_positive() const	constant_interval_exprt
is_positive(const exprt &expr)	constant_interval_exprt	static
is_positive(const constant_interval_exprt &interval)	constant_interval_exprt	static
is_signed() const	constant_interval_exprt
is_signed(const typet &type)	constant_interval_exprt	static
is_signed(const exprt &expr)	constant_interval_exprt	static
is_signed(const constant_interval_exprt &interval)	constant_interval_exprt	static
is_single_value_interval() const	constant_interval_exprt
is_single_value_interval(const constant_interval_exprt &a)	constant_interval_exprt	static
is_top(const constant_interval_exprt &a)	constant_interval_exprt	static
is_top() const	constant_interval_exprt
is_true(const constant_interval_exprt &a)	constant_interval_exprt	static
binary_exprt::is_true() const	exprt
is_unsigned() const	constant_interval_exprt
is_unsigned(const typet &type)	constant_interval_exprt	static
is_unsigned(const exprt &expr)	constant_interval_exprt	static
is_unsigned(const constant_interval_exprt &interval)	constant_interval_exprt	static
is_valid_bound(const exprt &expr)	constant_interval_exprt	inlinestatic
is_well_formed() const	constant_interval_exprt	inline
is_zero() const	constant_interval_exprt
is_zero(const exprt &expr)	constant_interval_exprt	static
is_zero(const constant_interval_exprt &interval)	constant_interval_exprt	static
left_shift(const constant_interval_exprt &o) const	constant_interval_exprt
left_shift(const constant_interval_exprt &a, const constant_interval_exprt &b)	constant_interval_exprt	static
less_than(const constant_interval_exprt &o) const	constant_interval_exprt
less_than(const exprt &a, const exprt &b)	constant_interval_exprt	static
less_than(const constant_interval_exprt &a, const constant_interval_exprt &b)	constant_interval_exprt	static
less_than_or_equal(const constant_interval_exprt &o) const	constant_interval_exprt
less_than_or_equal(const exprt &a, const exprt &b)	constant_interval_exprt	static
less_than_or_equal(const constant_interval_exprt &a, const constant_interval_exprt &b)	constant_interval_exprt	static
lhs()	binary_exprt	inline
lhs() const	binary_exprt	inline
logical_and(const constant_interval_exprt &o) const	constant_interval_exprt
logical_and(const constant_interval_exprt &a, const constant_interval_exprt &b)	constant_interval_exprt	static
logical_not() const	constant_interval_exprt
logical_not(const constant_interval_exprt &a)	constant_interval_exprt	static
logical_or(const constant_interval_exprt &o) const	constant_interval_exprt
logical_or(const constant_interval_exprt &a, const constant_interval_exprt &b)	constant_interval_exprt	static
logical_xor(const constant_interval_exprt &o) const	constant_interval_exprt
logical_xor(const constant_interval_exprt &a, const constant_interval_exprt &b)	constant_interval_exprt	static
make_nil()	irept	inline
max() const	constant_interval_exprt
min() const	constant_interval_exprt
minus(const constant_interval_exprt &other) const	constant_interval_exprt
minus(const constant_interval_exprt &a, const constant_interval_exprt &b)	constant_interval_exprt	static
modulo(const constant_interval_exprt &o) const	constant_interval_exprt
modulo(const constant_interval_exprt &a, const constant_interval_exprt &b)	constant_interval_exprt	static
move_to_named_sub(const irep_idt &name, irept &irep)	irept
move_to_sub(irept &irep)	irept
multiply(const constant_interval_exprt &o) const	constant_interval_exprt
multiply(const constant_interval_exprt &a, const constant_interval_exprt &b)	constant_interval_exprt	static
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
not_equal(const constant_interval_exprt &o) const	constant_interval_exprt
not_equal(const exprt &a, const exprt &b)	constant_interval_exprt	static
not_equal(const constant_interval_exprt &a, const constant_interval_exprt &b)	constant_interval_exprt	static
number_of_non_comments(const named_subt &)	irept	static
op0()	binary_exprt	inline
op0() const	binary_exprt	inline
exprt::op0() const	exprt	inlineprotected
op1()	binary_exprt	inline
op1() const	binary_exprt	inline
exprt::op1() const	exprt	inlineprotected
op2() const =delete	binary_exprt
op2()=delete	binary_exprt
op3() const =delete	binary_exprt
op3()=delete	binary_exprt
operands()	exprt	inline
operands() const	exprt	inline
operandst typedef	exprt
operator!(const constant_interval_exprt &lhs)	constant_interval_exprt	friend
operator!=(const constant_interval_exprt &lhs, const constant_interval_exprt &rhs)	constant_interval_exprt	friend
binary_exprt::operator!=(const irept &other) const	irept	inline
operator%(const constant_interval_exprt &lhs, const constant_interval_exprt &rhs)	constant_interval_exprt	friend
operator&(const constant_interval_exprt &lhs, const constant_interval_exprt &rhs)	constant_interval_exprt	friend
operator*(const constant_interval_exprt &lhs, const constant_interval_exprt &rhs)	constant_interval_exprt	friend
operator+(const constant_interval_exprt &lhs, const constant_interval_exprt &rhs)	constant_interval_exprt	friend
operator-(const constant_interval_exprt &lhs, const constant_interval_exprt &rhs)	constant_interval_exprt	friend
operator/(const constant_interval_exprt &lhs, const constant_interval_exprt &rhs)	constant_interval_exprt	friend
operator<(const constant_interval_exprt &lhs, const constant_interval_exprt &rhs)	constant_interval_exprt	friend
binary_exprt::operator<(const irept &other) const	irept
operator<<(const constant_interval_exprt &lhs, const constant_interval_exprt &rhs)	constant_interval_exprt	friend
operator<<(std::ostream &out, const constant_interval_exprt &i)	constant_interval_exprt	friend
operator<=(const constant_interval_exprt &lhs, const constant_interval_exprt &rhs)	constant_interval_exprt	friend
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 constant_interval_exprt &lhs, const constant_interval_exprt &rhs)	constant_interval_exprt	friend
binary_exprt::operator==(const irept &other) const	irept
operator>(const constant_interval_exprt &lhs, const constant_interval_exprt &rhs)	constant_interval_exprt	friend
operator>=(const constant_interval_exprt &lhs, const constant_interval_exprt &rhs)	constant_interval_exprt	friend
operator>>(const constant_interval_exprt &lhs, const constant_interval_exprt &rhs)	constant_interval_exprt	friend
operator^(const constant_interval_exprt &lhs, const constant_interval_exprt &rhs)	constant_interval_exprt	friend
operator|(const constant_interval_exprt &lhs, const constant_interval_exprt &rhs)	constant_interval_exprt	friend
ordering(const irept &other) const	irept
plus(const constant_interval_exprt &o) const	constant_interval_exprt
plus(const constant_interval_exprt &a, const constant_interval_exprt &b)	constant_interval_exprt	static
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()	binary_exprt	inline
rhs() const	binary_exprt	inline
right_shift(const constant_interval_exprt &o) const	constant_interval_exprt
right_shift(const constant_interval_exprt &a, const constant_interval_exprt &b)	constant_interval_exprt	static
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
simplified_expr(exprt expr)	constant_interval_exprt	static
simplified_interval(exprt &l, exprt &r)	constant_interval_exprt	static
singleton(const exprt &x)	constant_interval_exprt	inlinestatic
source_location() const	exprt	inline
subt typedef	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >
swap(irept &irep)	irept	inline
to_string() const	constant_interval_exprt
top(const typet &type)	constant_interval_exprt	static
top() const	constant_interval_exprt
tree_implementationt typedef	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >
tvt_to_interval(const tvt &val)	constant_interval_exprt	static
type()	exprt	inline
type() const	exprt	inline
typecast(const typet &type) const	constant_interval_exprt
unary_minus() const	constant_interval_exprt
unary_minus(const constant_interval_exprt &a)	constant_interval_exprt	static
unary_plus() const	constant_interval_exprt
unary_plus(const constant_interval_exprt &a)	constant_interval_exprt	static
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)	binary_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
zero() const	constant_interval_exprt
zero(const typet &type)	constant_interval_exprt	static
zero(const exprt &expr)	constant_interval_exprt	static
zero(const constant_interval_exprt &interval)	constant_interval_exprt	static
~sharing_treet()	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inline