Searched refs:getRightParent (Results 1 – 2 of 2) sorted by relevance
291 CVC3::Proof rightProof = generateSatProof(node->getRightParent(), cnfManager, thmProducer); in generateSatProof()293 if(node->getLeftParent() == node->getRightParent() ) cout<<"***error ********"<<endl; in generateSatProof()368 SAT::SatProofNode * rightNode = node->getRightParent(); in printSatProof()
61 …SatProofNode* getRightParent() { DebugAssert(!isLeaf(), "SatProofNode: getRightParent"); return d_… in getRightParent() function