Home
last modified time | relevance | path

Searched refs:setProofRecipe (Results 1 – 4 of 4) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/proof/
H A Dcnf_proof.h149 void setProofRecipe(LemmaProofRecipe* proofRecipe);
H A Dcnf_proof.cpp216 void CnfProof::setProofRecipe(LemmaProofRecipe* proofRecipe) { in setProofRecipe() function in CVC4::CnfProof
/dports/math/cvc4/CVC4-1.7/src/prop/
H A Dtheory_proxy.cpp109 ProofManager::getCnfProof()->setProofRecipe(proofRecipe); in explainPropagation()
/dports/math/cvc4/CVC4-1.7/src/theory/
H A Dtheory_engine.cpp181 ProofManager::getCnfProof()->setProofRecipe(&proofRecipe); in registerLemmaRecipe()
1458 ProofManager::getCnfProof()->setProofRecipe(&proofRecipe); in propagate()
1914 PROOF(ProofManager::getCnfProof()->setProofRecipe(proofRecipe)); in conflict()
1945 ProofManager::getCnfProof()->setProofRecipe(proofRecipe); in conflict()