Separate public-facing and internal-facing interfaces to Statistics.

The external interface (e.g., what's answered by ExprManager::getStatistics() and SmtEngine::getStatistics()) is a snapshot of the current statistics (rather than a reference to the actual StatisticsRegistry).

The StatisticsRegistry is now internal-only.  However, it's built as a convenience library so that the parser and driver can use it too (by re-linking against it).

This is part of the ongoing effort to clean up the public interface.

(this commit was certified error- and warning-free by the test-and-commit script.)

1 files changed, 3 insertions, 3 deletions

diff --git a/src/compat/cvc3_compat.cpp b/src/compat/cvc3_compat.cpp
index 4e884a9ab..2c5bc0170 100644
--- a/src/compat/cvc3_compat.cpp
+++ b/src/compat/cvc3_compat.cpp
@@ -2335,12 +2335,12 @@ void ValidityChecker::loadFile(std::istream& is,
   delete p;
 }
 
-Statistics& ValidityChecker::getStatistics() {
-  return *d_smt->getStatisticsRegistry();
+Statistics ValidityChecker::getStatistics() {
+  return d_smt->getStatistics();
 }
 
 void ValidityChecker::printStatistics() {
-  Message() << d_smt->getStatisticsRegistry();
+  d_smt->getStatistics().flushInformation(Message.getStream());
 }
 
 int compare(const Expr& e1, const Expr& e2) {