First refactoring of statistics classes (#6105)

This PR does a first round of refactoring on the statistics, in particular the Stat class and derived classes.
It significantly shrinks the class hierarchy, modernizes some code (e.g. use std::chrono instead of clock_gettime), removes unused features (e.g. nesting of statistics) and does some general cleanup and consolidation.

Subsequent PRs are planned to change the ownership model (right now every module owns the Stat object) which makes the whole register / unregister mechanism obsolete.

1 files changed, 0 insertions, 7 deletions

diff --git a/src/util/statistics.h b/src/util/statistics.h
index d2380ea08..ce8f4711f 100644
--- a/src/util/statistics.h
+++ b/src/util/statistics.h
@@ -35,8 +35,6 @@ class Stat;
 class CVC4_PUBLIC StatisticsBase {
 protected:
 
-  static std::string s_regDelim;
-
   /** A helper class for comparing two statistics */
   struct StatCmp {
     bool operator()(const Stat* s1, const Stat* s2) const;
@@ -45,8 +43,6 @@ protected:
   /** A type for a set of statistics */
   typedef std::set< Stat*, StatCmp > StatSet;
 
-  std::string d_prefix;
-
   /** The set of statistics in this object */
   StatSet d_stats;
 
@@ -78,9 +74,6 @@ public:
   /** An iterator type over a set of statistics. */
   typedef iterator const_iterator;
 
-  /** Set the output prefix for this set of statistics. */
-  virtual void setPrefix(const std::string& prefix);
-
   /** Flush all statistics to the given output stream. */
   void flushInformation(std::ostream& out) const;