10 #ifndef CPROVER_SOLVERS_SMT2_SMT2_DEC_H 11 #define CPROVER_SOLVERS_SMT2_SMT2_DEC_H 40 const std::string &_benchmark,
41 const std::string &_notes,
42 const std::string &_logic,
44 smt2_convt(_ns, _benchmark, _notes, _logic, _solver, stringstream)
49 virtual std::string decision_procedure_text()
const;
55 resultt read_result(std::istream &in);
58 #endif // CPROVER_SOLVERS_SMT2_SMT2_DEC_H
std::stringstream stringstream
std::string temp_result_filename
Decision procedure interface for various SMT 2.x solvers.
std::string temp_out_filename
virtual bool has_set_assumptions() const
smt2_dect(const namespacet &_ns, const std::string &_benchmark, const std::string &_notes, const std::string &_logic, solvert _solver)