10 #ifndef CPROVER_SOLVERS_DPLIB_DPLIB_DEC_H 11 #define CPROVER_SOLVERS_DPLIB_DPLIB_DEC_H 40 void read_assert(std::istream &in, std::string &line);
43 #endif // CPROVER_SOLVERS_DPLIB_DPLIB_DEC_H virtual resultt dec_solve()
std::string temp_out_filename
void read_assert(std::istream &in, std::string &line)
std::string temp_result_filename
dplib_dect(const namespacet &_ns)
resultt read_dplib_result()