adding statistics about how many different kinds of expressions we have created in the expression manager.

this is useful, for example, with --parse-only, to figure out a bit of problem structure

1 files changed, 4 insertions, 0 deletions

diff --git a/src/expr/expr_manager_template.h b/src/expr/expr_manager_template.h
index e5df3ced3..1bb9fd9fd 100644
--- a/src/expr/expr_manager_template.h
+++ b/src/expr/expr_manager_template.h
@@ -41,6 +41,7 @@ class Expr;
 class SmtEngine;
 class NodeManager;
 class Options;
+class IntStat;
 
 namespace context {
   class Context;
@@ -54,6 +55,9 @@ private:
   /** The internal node manager */
   NodeManager* d_nodeManager;
 
+  /** Counts of expressions created of a given kind */
+  IntStat* d_exprStatistics[kind::LAST_KIND];
+
   /**
    * Returns the internal node manager.  This should only be used by
    * internal users, i.e. the friend classes.