Home
last modified time | relevance | path

Searched defs:proofRecipe (Results 1 – 3 of 3) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/prop/
H A Dtheory_proxy.cpp102 LemmaProofRecipe* proofRecipe = NULL; in explainPropagation() local
/dports/math/cvc4/CVC4-1.7/src/theory/
H A Dtheory_engine.cpp154 LemmaProofRecipe proofRecipe; in registerLemmaRecipe() local
1603 Node TheoryEngine::getExplanationAndRecipe(TNode node, LemmaProofRecipe* proofRecipe) { in getExplanationAndRecipe()
1889 LemmaProofRecipe* proofRecipe = NULL; in conflict() local
2001 …ne::getExplanation(std::vector<NodeTheoryPair>& explanationVector, LemmaProofRecipe* proofRecipe) { in getExplanation()
/dports/math/cvc4/CVC4-1.7/src/proof/
H A Dcnf_proof.cpp216 void CnfProof::setProofRecipe(LemmaProofRecipe* proofRecipe) { in setProofRecipe()