diff options
Diffstat (limited to 'src/proof/sat_proof.h')
| -rw-r--r-- | src/proof/sat_proof.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/proof/sat_proof.h b/src/proof/sat_proof.h index bda8094be..c571a7b06 100644 --- a/src/proof/sat_proof.h +++ b/src/proof/sat_proof.h @@ -199,6 +199,7 @@ class TSatProof { void constructProof(ClauseId id); void constructProof() { constructProof(d_emptyClauseId); } void collectClauses(ClauseId id); + bool derivedEmptyClause() const; prop::SatClause* buildClause(ClauseId id); virtual void printResolution(ClauseId id, std::ostream& out, |