Further standardization of strings statistics (#6128)

Also eliminates use of raw output channel in strings.

1 files changed, 1 insertions, 17 deletions

diff --git a/src/theory/strings/sequences_stats.cpp b/src/theory/strings/sequences_stats.cpp
index ec6b5e89b..c679bc414 100644
--- a/src/theory/strings/sequences_stats.cpp
+++ b/src/theory/strings/sequences_stats.cpp
@@ -31,13 +31,7 @@ SequencesStatistics::SequencesStatistics()
       d_rewrites("theory::strings::rewrites"),
       d_conflictsEqEngine("theory::strings::conflictsEqEngine", 0),
       d_conflictsEager("theory::strings::conflictsEager", 0),
-      d_conflictsInfer("theory::strings::conflictsInfer", 0),
-      d_lemmasEagerPreproc("theory::strings::lemmasEagerPreproc", 0),
-      d_lemmasCmiSplit("theory::strings::lemmasCmiSplit", 0),
-      d_lemmasRegisterTerm("theory::strings::lemmasRegisterTerm", 0),
-      d_lemmasRegisterTermAtomic("theory::strings::lemmasRegisterTermAtomic",
-                                 0),
-      d_lemmasInfer("theory::strings::lemmasInfer", 0)
+      d_conflictsInfer("theory::strings::conflictsInfer", 0)
 {
   smtStatisticsRegistry()->registerStat(&d_checkRuns);
   smtStatisticsRegistry()->registerStat(&d_strategyRuns);
@@ -50,11 +44,6 @@ SequencesStatistics::SequencesStatistics()
   smtStatisticsRegistry()->registerStat(&d_conflictsEqEngine);
   smtStatisticsRegistry()->registerStat(&d_conflictsEager);
   smtStatisticsRegistry()->registerStat(&d_conflictsInfer);
-  smtStatisticsRegistry()->registerStat(&d_lemmasEagerPreproc);
-  smtStatisticsRegistry()->registerStat(&d_lemmasCmiSplit);
-  smtStatisticsRegistry()->registerStat(&d_lemmasRegisterTerm);
-  smtStatisticsRegistry()->registerStat(&d_lemmasRegisterTermAtomic);
-  smtStatisticsRegistry()->registerStat(&d_lemmasInfer);
 }
 
 SequencesStatistics::~SequencesStatistics()
@@ -70,11 +59,6 @@ SequencesStatistics::~SequencesStatistics()
   smtStatisticsRegistry()->unregisterStat(&d_conflictsEqEngine);
   smtStatisticsRegistry()->unregisterStat(&d_conflictsEager);
   smtStatisticsRegistry()->unregisterStat(&d_conflictsInfer);
-  smtStatisticsRegistry()->unregisterStat(&d_lemmasEagerPreproc);
-  smtStatisticsRegistry()->unregisterStat(&d_lemmasCmiSplit);
-  smtStatisticsRegistry()->unregisterStat(&d_lemmasRegisterTerm);
-  smtStatisticsRegistry()->unregisterStat(&d_lemmasRegisterTermAtomic);
-  smtStatisticsRegistry()->unregisterStat(&d_lemmasInfer);
 }
 
 }