Searched refs:setNodeProof (Results 1 – 2 of 2) sorted by relevance
284 node->setNodeProof(clauseThm.getProof()); in generateSatProof()323 node->setNodeProof(pf); in generateSatProof()
65 void setNodeProof(CVC3::Proof pf) { d_proof=pf;} in setNodeProof() function