cprover
|
This is the complete list of members for constant_propagator_domaint, including all inherited members.
ai_domain_baset() | ai_domain_baset | inlineprotected |
ai_simplify(exprt &condition, const namespacet &ns) const final override | constant_propagator_domaint | virtual |
ai_simplify_lhs(exprt &condition, const namespacet &ns) const | ai_domain_baset | virtual |
assign_rec(valuest &values, const exprt &lhs, const exprt &rhs, const namespacet &ns, const constant_propagator_ait *cp) | constant_propagator_domaint | protected |
is_bottom() const final override | constant_propagator_domaint | inlinevirtual |
is_top() const final override | constant_propagator_domaint | inlinevirtual |
locationt typedef | ai_domain_baset | |
make_bottom() final override | constant_propagator_domaint | inlinevirtual |
make_entry() final override | constant_propagator_domaint | inlinevirtual |
make_top() final override | constant_propagator_domaint | inlinevirtual |
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 override | constant_propagator_domaint | virtual |
output_json(const ai_baset &ai, const namespacet &ns) const | ai_domain_baset | virtual |
output_xml(const ai_baset &ai, const namespacet &ns) const | ai_domain_baset | virtual |
partial_evaluate(exprt &expr, const namespacet &ns) const | constant_propagator_domaint | |
partial_evaluate_with_all_rounding_modes(exprt &expr, const namespacet &ns) const | constant_propagator_domaint | protected |
replace_constants_and_simplify(exprt &expr, const namespacet &ns) const | constant_propagator_domaint | protected |
to_predicate(void) const | ai_domain_baset | inlinevirtual |
transform(locationt from, locationt to, ai_baset &ai_base, const namespacet &ns) final override | constant_propagator_domaint | virtual |
two_way_propagate_rec(const exprt &expr, const namespacet &ns, const constant_propagator_ait *cp) | constant_propagator_domaint | protected |
values | constant_propagator_domaint | |
~ai_domain_baset() | ai_domain_baset | inlinevirtual |