Home
last modified time | relevance | path

Searched refs:initSatProof (Results 1 – 6 of 6) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/proof/
H A Dresolution_bitvector_proof.h59 void initSatProof(CVC4::BVMinisat::Solver* solver);
H A Dproof_manager.h182 void initSatProof(Minisat::Solver* solver);
H A Dresolution_bitvector_proof.cpp52 void ResolutionBitVectorProof::initSatProof(CVC4::BVMinisat::Solver* solver) in initSatProof() function in CVC4::proof::ResolutionBitVectorProof
H A Dproof_manager.cpp144 void ProofManager::initSatProof(Minisat::Solver* solver) { in initSatProof() function in CVC4::ProofManager
/dports/math/cvc4/CVC4-1.7/src/prop/bvminisat/core/
H A DSolver.cc1324 d_bvp->initSatProof(this); in setProofLog()
/dports/math/cvc4/CVC4-1.7/src/prop/minisat/core/
H A DSolver.cc153 PROOF(ProofManager::currentPM()->initSatProof(this);) in Solver()