Searched refs:constructProof (Results 1 – 4 of 4) sorted by relevance
197 void constructProof(ClauseId id);198 void constructProof() { constructProof(d_emptyClauseId); } in constructProof() function
135 d_resolutionProof->constructProof(); in finalizeConflicts()
373 d_satProof->constructProof(); in constructSatProof()567 d_satProof->constructProof(); in toStream()
924 void TSatProof<Solver>::constructProof(ClauseId conflict) { in constructProof() function