Searched defs:constructProof (Results 1 – 2 of 2) sorted by relevance
198 void constructProof() { constructProof(d_emptyClauseId); } in constructProof() function
924 void TSatProof<Solver>::constructProof(ClauseId conflict) { in constructProof() function