Searched refs:continueCheck (Results 1 – 13 of 13) sorted by relevance
88 virtual CVC3::QueryResult continueCheck(const CNF_Formula& cnf);
166 virtual CVC3::QueryResult continueCheck(const CNF_Formula& cnf) = 0;
84 CVC3::QueryResult continueCheck(const CNF_Formula& cnf);
60 status = _solver->continueCheck(); in Continue()
375 int continueCheck();
154 QueryResult DPLLTMiniSat::continueCheck(const CNF_Formula& cnf) in continueCheck() function in DPLLTMiniSat
472 QueryResult DPLLTBasic::continueCheck(const CNF_Formula& cnf) in continueCheck() function in DPLLTBasic
822 int CSolver::continueCheck() in continueCheck() function in CSolver
626 bool continueCheck = true; // True if need check objectPointer or context stack for object in CallSystemFunction() local640 continueCheck = false; in CallSystemFunction()643 if( continueCheck ) in CallSystemFunction()
625 bool continueCheck = true; // True if need check objectPointer or context stack for object in CallSystemFunction() local639 continueCheck = false; in CallSystemFunction()642 if( continueCheck ) in CallSystemFunction()
636 bool continueCheck = true; // True if need check objectPointer or context stack for object in CallSystemFunction() local650 continueCheck = false; in CallSystemFunction()667 if( continueCheck ) in CallSystemFunction()
710 qres = isRestart ? d_dpllt->continueCheck(cnf) : d_dpllt->checkSat(cnf); in check()