diff options
Diffstat (limited to 'src/theory/theory_inference_manager.cpp')
| -rw-r--r-- | src/theory/theory_inference_manager.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/theory/theory_inference_manager.cpp b/src/theory/theory_inference_manager.cpp index 980763040..122284e8a 100644 --- a/src/theory/theory_inference_manager.cpp +++ b/src/theory/theory_inference_manager.cpp @@ -32,6 +32,7 @@ TheoryInferenceManager::TheoryInferenceManager(Theory& t, d_pnm(pnm), d_keep(t.getSatContext()), d_lemmasSent(t.getUserContext()), + d_numConflicts(0), d_numCurrentLemmas(0), d_numCurrentFacts(0) { @@ -54,6 +55,7 @@ bool TheoryInferenceManager::isProofEnabled() const { return d_pnm != nullptr; } void TheoryInferenceManager::reset() { + d_numConflicts = 0; d_numCurrentLemmas = 0; d_numCurrentFacts = 0; } @@ -85,6 +87,7 @@ void TheoryInferenceManager::conflict(TNode conf) { d_theoryState.notifyInConflict(); d_out.conflict(conf); + ++d_numConflicts; } } |