12 #ifndef CPROVER_UTIL_DECISION_PROCEDURE_H 13 #define CPROVER_UTIL_DECISION_PROCEDURE_H 38 virtual void set_to(
const exprt &expr,
bool value)=0;
72 #endif // CPROVER_UTIL_DECISION_PROCEDURE_H
virtual void print_assignment(std::ostream &out) const =0
virtual ~decision_proceduret()
virtual resultt dec_solve()=0
decision_proceduret & operator<<(decision_proceduret &dest, const exprt &src)
virtual void set_to(const exprt &expr, bool value)=0
void set_to_false(const exprt &expr)
Base class for all expressions.
void set_to_true(const exprt &expr)
decision_proceduret(const namespacet &_ns)
virtual std::string decision_procedure_text() const =0