cprover
constant_propagator_domaint Member List

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

ai_domain_baset()ai_domain_basetinlineprotected
ai_simplify(exprt &condition, const namespacet &ns) const final overrideconstant_propagator_domaintvirtual
ai_simplify_lhs(exprt &condition, const namespacet &ns) constai_domain_basetvirtual
assign_rec(valuest &values, const exprt &lhs, const exprt &rhs, const namespacet &ns, const constant_propagator_ait *cp)constant_propagator_domaintprotected
is_bottom() const final overrideconstant_propagator_domaintinlinevirtual
is_top() const final overrideconstant_propagator_domaintinlinevirtual
locationt typedefai_domain_baset
make_bottom() final overrideconstant_propagator_domaintinlinevirtual
make_entry() final overrideconstant_propagator_domaintinlinevirtual
make_top() final overrideconstant_propagator_domaintinlinevirtual
merge(const constant_propagator_domaint &other, locationt from, locationt to)constant_propagator_domaint
output(std::ostream &out, const ai_baset &ai_base, const namespacet &ns) const overrideconstant_propagator_domaintvirtual
output_json(const ai_baset &ai, const namespacet &ns) constai_domain_basetvirtual
output_xml(const ai_baset &ai, const namespacet &ns) constai_domain_basetvirtual
partial_evaluate(exprt &expr, const namespacet &ns) constconstant_propagator_domaint
partial_evaluate_with_all_rounding_modes(exprt &expr, const namespacet &ns) constconstant_propagator_domaintprotected
replace_constants_and_simplify(exprt &expr, const namespacet &ns) constconstant_propagator_domaintprotected
to_predicate(void) constai_domain_basetinlinevirtual
transform(locationt from, locationt to, ai_baset &ai_base, const namespacet &ns) final overrideconstant_propagator_domaintvirtual
two_way_propagate_rec(const exprt &expr, const namespacet &ns, const constant_propagator_ait *cp)constant_propagator_domaintprotected
valuesconstant_propagator_domaint
~ai_domain_baset()ai_domain_basetinlinevirtual