Searched defs:getProofRule (Results 1 – 1 of 1) sorted by relevance
59 ProofRule CnfProof::getProofRule(Node node) { in getProofRule() function in CVC4::CnfProof65 ProofRule CnfProof::getProofRule(ClauseId clause) { in getProofRule() function in CVC4::CnfProof