Searched refs:unsatCoreAvailable (Results 1 – 3 of 3) sorted by relevance
271 bool unsatCoreAvailable() const;
356 bool ProofManager::unsatCoreAvailable() const { in unsatCoreAvailable() function in CVC4::ProofManager379 Assert(unsatCoreAvailable(), "Cannot get unsat core at this time. Mabye the input is SAT?" ); in getLemmasInUnsatCore()429 Assert(unsatCoreAvailable(), "Cannot get unsat core at this time. Mabye the input is SAT?" ); in getWeakestImplicantInUnsatCore()
565 if (!ProofManager::currentPM()->unsatCoreAvailable()) in getUnsatCoreLemmas()