Searched refs:setProofRecipe (Results 1 – 4 of 4) sorted by relevance
149 void setProofRecipe(LemmaProofRecipe* proofRecipe);
216 void CnfProof::setProofRecipe(LemmaProofRecipe* proofRecipe) { in setProofRecipe() function in CVC4::CnfProof
109 ProofManager::getCnfProof()->setProofRecipe(proofRecipe); in explainPropagation()
181 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()