interval_domaint Member List

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

ai_domain_baset()	ai_domain_baset	inlineprotected
ai_simplify(expr2tc &condition, const namespacet &ns) const override	interval_domaint	virtual
ai_simplify_lhs(expr2tc &condition, const namespacet &ns) const	ai_domain_baset	virtual
apply_assignment(const expr2tc &lhs, const expr2tc &rhs, bool recursive)	interval_domaint	protected
apply_assume_less(const expr2tc &lhs, const expr2tc &rhs)	interval_domaint	protected
apply_assume_less(const expr2tc &a, const expr2tc &b)	interval_domaint	protected
apply_assume_symbol_truth(const symbol2t &sym, bool is_false)	interval_domaint	protected
assign(const expr2tc &assignment, const bool recursive=false)	interval_domaint	protected
assume(const expr2tc &)	interval_domaint
assume_assertion(const expr2tc &guard, const ai_baset &ai)	interval_domaint
assume_rec(const expr2tc &expr, bool negation=false)	interval_domaint	protected
assume_rec(const expr2tc &lhs, expr2t::expr_ids id, const expr2tc &rhs)	interval_domaint	protected
bottom	interval_domaint	protected
clear_state()	interval_domaint	inline
copied	interval_domaint
copy_if_needed()	interval_domaint	inline
dump() const	interval_domaint
enable_assertion_simplification	interval_domaint	static
enable_assume_asserts	interval_domaint	static
enable_contraction_for_abstract_states	interval_domaint	static
enable_eval_assumptions	interval_domaint	static
enable_ibex_contractor	interval_domaint	static
enable_interval_arithmetic	interval_domaint	static
enable_interval_bitwise_arithmetic	interval_domaint	static
enable_modular_intervals	interval_domaint	static
enable_real_intervals	interval_domaint	static
enable_wrapped_intervals	interval_domaint	static
eval_boolean_expression(const expr2tc &cond, const interval_domaint &id)	interval_domaint	static
extrapolate_intervals(const Interval &before, const Interval &after) const	interval_domaint	protected
extrapolate_intervals(const T &before, const T &after) const	interval_domaint
extrapolate_intervals(const wrapped_interval &before, const wrapped_interval &after) const	interval_domaint
fixpoint_limit	interval_domaint	static
generate_modular_interval(const type2tc &t) const	interval_domaint	protected
generate_modular_interval(const type2tc &t) const	interval_domaint	protected
get_empty()	interval_domaint	inlinestatic
get_interval(const expr2tc &e) const	interval_domaint
get_interval(const expr2tc &e) const	interval_domaint
get_interval_from_const(const expr2tc &sym) const	interval_domaint
get_interval_from_const(const expr2tc &e) const	interval_domaint
get_interval_from_const(const expr2tc &e) const	interval_domaint
get_interval_from_const(const expr2tc &e) const	interval_domaint
get_interval_from_symbol(const symbol2t &sym) const	interval_domaint
get_interval_from_symbol(const symbol2t &sym) const	interval_domaint
get_interval_from_symbol(const symbol2t &sym) const	interval_domaint
get_interval_from_symbol(const symbol2t &sym) const	interval_domaint
get_interval_from_typecast(const typecast2t &cast, Interval result) const	interval_domaint
get_interval_from_typecast(const typecast2t &cast, T result) const	interval_domaint
get_interval_from_variant(const symbol2t &sym) const	interval_domaint
get_top_interval_from_expr(const expr2tc &sym) const	interval_domaint
get_top_interval_from_expr(const expr2tc &e) const	interval_domaint
havoc_pointee(const expr2tc &arg, bool any_type)	interval_domaint
havoc_rec(const expr2tc &expr)	interval_domaint
havoc_written_arguments(const code_function_call2t &call)	interval_domaint
integer_intervalt typedef	interval_domaint
interpolate_intervals(const Interval &before, const Interval &after)	interval_domaint	protected
interpolate_intervals(const T &before, const T &after)	interval_domaint
interval typedef	interval_domaint
interval_domaint()	interval_domaint	inline
interval_map typedef	interval_domaint
intervals	interval_domaint
is_bottom() const override final	interval_domaint	inlinevirtual
is_mapped(const symbol2t &sym) const	interval_domaint
is_mapped(const symbol2t &sym) const	interval_domaint
is_top() const override final	interval_domaint	inlinevirtual
join(const interval_domaint &b, const goto_programt::const_targett &to)	interval_domaint	protected
join(IntervalMap &new_map, const IntervalMap &previous_map, const bool is_guard_instruction=true)	interval_domaint	protected
join_intervals(const std::shared_ptr< Interval > &after, std::shared_ptr< Interval > &dst, bool can_extrapolate) const	interval_domaint
join_snapshot(const std::shared_ptr< interval_map > &snapshot)	interval_domaint
make_bottom() final override	interval_domaint	inlinevirtual
make_entry() final override	interval_domaint	inlinevirtual
make_expression(const expr2tc &symbol) const	interval_domaint
make_expression_helper(const expr2tc &symbol) const	interval_domaint
make_expression_helper(const expr2tc &symbol) const	interval_domaint
make_expression_value(const Interval &interval, const type2tc &type, bool upper) const	interval_domaint
make_expression_value(const wrapped_interval &interval, const type2tc &type, bool upper) const	interval_domaint
make_top() final override	interval_domaint	inlinevirtual
merge(const interval_domaint &b, goto_programt::const_targett, goto_programt::const_targett to)	interval_domaint	inline
output(std::ostream &out) const override	interval_domaint	virtual
process_instruction(goto_programt::const_targett from)	interval_domaint
real_intervalt typedef	interval_domaint
set_options(const optionst &options)	interval_domaint	static
skip_inductive_step_instructions	interval_domaint	thread_localstatic
to_predicate(void) const	ai_domain_baset	inlinevirtual
transform(goto_programt::const_targett from, goto_programt::const_targett to, ai_baset &ai, const namespacet &ns) final override	interval_domaint	virtual
update_symbol_from_variant(const symbol2t &sym, const Interval &value)	interval_domaint	protected
update_symbol_interval(const symbol2t &sym, const Interval &value)	interval_domaint	protected
update_symbol_interval(const symbol2t &sym, const interval_domaint::integer_intervalt &value)	interval_domaint
update_symbol_interval(const symbol2t &sym, const interval_domaint::real_intervalt &value)	interval_domaint
update_symbol_interval(const symbol2t &sym, const wrapped_interval &value)	interval_domaint
widening_extrapolate	interval_domaint	static
widening_narrowing	interval_domaint	static
widening_under_approximate_bound	interval_domaint	static
wrap_to_type(const Interval &i, const type2tc &t) const	interval_domaint	protected
wrap_to_type(const integer_intervalt &i, const type2tc &t) const	interval_domaint
~ai_domain_baset()	ai_domain_baset	inlinevirtual