Searched refs:constructSatProof (Results 1 – 2 of 2) sorted by relevance
304 void constructSatProof();
371 void ProofManager::constructSatProof() { in constructSatProof() function in CVC4::ProofManager381 constructSatProof(); in getLemmasInUnsatCore()435 constructSatProof(); in getWeakestImplicantInUnsatCore()