Searched defs:proofRecipe (Results 1 – 3 of 3) sorted by relevance
102 LemmaProofRecipe* proofRecipe = NULL; in explainPropagation() local
154 LemmaProofRecipe proofRecipe; in registerLemmaRecipe() local1603 Node TheoryEngine::getExplanationAndRecipe(TNode node, LemmaProofRecipe* proofRecipe) { in getExplanationAndRecipe()1889 LemmaProofRecipe* proofRecipe = NULL; in conflict() local2001 …ne::getExplanation(std::vector<NodeTheoryPair>& explanationVector, LemmaProofRecipe* proofRecipe) { in getExplanation()
216 void CnfProof::setProofRecipe(LemmaProofRecipe* proofRecipe) { in setProofRecipe()