Searched refs:addUnsatCore (Results 1 – 3 of 3) sorted by relevance
257 void addUnsatCore(Expr formula);
533 void ProofManager::addUnsatCore(Expr formula) { in addUnsatCore() function in CVC4::ProofManager
3562 ProofManager::currentPM()->addUnsatCore(n.toExpr()); in addFormula()