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_basetinline
ai_simplify(exprt &condition, const namespacet &ns) const overrideconstant_propagator_domaintvirtual
ai_simplify_lhs(exprt &condition, const namespacet &ns) constai_domain_basetvirtual
assign(valuest &dest, const symbol_exprt &lhs, exprt rhs, const namespacet &ns) constconstant_propagator_domaintprivate
assign_rec(valuest &values, const exprt &lhs, const exprt &rhs, const namespacet &ns)constant_propagator_domaintprivate
locationt typedefai_domain_baset
make_bottom() finalconstant_propagator_domaintinlinevirtual
make_entry() finalconstant_propagator_domaintinlinevirtual
make_top() finalconstant_propagator_domaintinlinevirtual
merge(const constant_propagator_domaint &, locationt, locationt)constant_propagator_domaint
output(std::ostream &, const ai_baset &, const namespacet &) const finalconstant_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
transform(locationt, locationt, ai_baset &, const namespacet &) finalconstant_propagator_domaint
ai_domain_baset::transform(locationt from, locationt to, ai_baset &ai, const namespacet &ns)=0ai_domain_basetpure virtual
two_way_propagate_rec(const exprt &expr, const namespacet &ns)constant_propagator_domaintprivate
valuesconstant_propagator_domaint
~ai_domain_baset()ai_domain_basetinlinevirtual