Searched refs:hasNodeProof (Results 1 – 2 of 2) sorted by relevance
63 bool hasNodeProof() {return !d_proof.isNull();}; in hasNodeProof() function
259 if(node->hasNodeProof()) { in generateSatProof()