10 #ifndef CPROVER_SOLVERS_CVC_CVC_DEC_H 11 #define CPROVER_SOLVERS_CVC_CVC_DEC_H 39 void read_assert(std::istream &in, std::string &line);
42 #endif // CPROVER_SOLVERS_CVC_CVC_DEC_H
std::string temp_result_filename
resultt read_cvcl_result()
void read_assert(std::istream &in, std::string &line)
cvc_dect(const namespacet &_ns)
virtual resultt dec_solve()
std::string temp_out_filename