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