Searched refs:initSatProof (Results 1 – 6 of 6) sorted by relevance
59 void initSatProof(CVC4::BVMinisat::Solver* solver);
182 void initSatProof(Minisat::Solver* solver);
52 void ResolutionBitVectorProof::initSatProof(CVC4::BVMinisat::Solver* solver) in initSatProof() function in CVC4::proof::ResolutionBitVectorProof
144 void ProofManager::initSatProof(Minisat::Solver* solver) { in initSatProof() function in CVC4::ProofManager
1324 d_bvp->initSatProof(this); in setProofLog()
153 PROOF(ProofManager::currentPM()->initSatProof(this);) in Solver()