virtual jsont output_json(const ai_baset &ai, const namespacet &ns) const
virtual bool ai_simplify(exprt &condition, const namespacet &ns) const
also add
Abstract Interpretation Domain.
virtual bool ai_simplify_lhs(exprt &condition, const namespacet &ns) const
Simplifies the expression but keeps it as an l-value.
virtual xmlt output_xml(const ai_baset &ai, const namespacet &ns) const
virtual void output(std::ostream &out, const ai_baset &ai, const namespacet &ns) const