diff options
author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-02-15 09:08:47 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-15 09:08:47 +0100 |
commit | b05fae1fa9e46b63b22a41d8c32e944502366770 (patch) | |
tree | 3360088d27a19824cb276dc1cc63836c296b3321 /src/theory/arith/nl/stats.cpp | |
parent | 0ff53d70b3e0a11e4ae5c1c8f612d809dca2d004 (diff) |
Remove now obsolete sendLemmas and inferences stat from arith::nl (#5903)
This PR removes some obsolete code from the nonlinear solver.
The statistics will soon be replaced by a generic statistic in the theory inference manager.
Diffstat (limited to 'src/theory/arith/nl/stats.cpp')
-rw-r--r-- | src/theory/arith/nl/stats.cpp | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/theory/arith/nl/stats.cpp b/src/theory/arith/nl/stats.cpp index eb5804e6b..ee12f941e 100644 --- a/src/theory/arith/nl/stats.cpp +++ b/src/theory/arith/nl/stats.cpp @@ -23,19 +23,16 @@ namespace nl { NlStats::NlStats() : d_mbrRuns("nl::mbrRuns", 0), - d_checkRuns("nl::checkRuns", 0), - d_inferences("nl::inferences") + d_checkRuns("nl::checkRuns", 0) { smtStatisticsRegistry()->registerStat(&d_mbrRuns); smtStatisticsRegistry()->registerStat(&d_checkRuns); - smtStatisticsRegistry()->registerStat(&d_inferences); } NlStats::~NlStats() { smtStatisticsRegistry()->unregisterStat(&d_mbrRuns); smtStatisticsRegistry()->unregisterStat(&d_checkRuns); - smtStatisticsRegistry()->unregisterStat(&d_inferences); } } // namespace nl |