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,
58 #endif // CPROVER_SOLVERS_SMT2_SMT2_DEC_H
std::stringstream stringstream
resultt read_result(std::istream &in)
virtual resultt dec_solve()
std::string temp_result_filename
Decision procedure interface for various SMT 2.x solvers.
std::string temp_out_filename
virtual std::string decision_procedure_text() const
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)