Improvement. Add array size statistics when printing out stats.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1319 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/AST/ArrayTransformer.cpp b/src/AST/ArrayTransformer.cpp
index d0ca998f2bf79c481cc55098dae97eb23742f209..5f71254623e188c01974406ba7600a376d700cef 100644 (file)
--- a/src/AST/ArrayTransformer.cpp
+++ b/src/AST/ArrayTransformer.cpp
@@ -46,6 +46,9 @@ namespace BEEV
     delete TransformMap;
     TransformMap = NULL;
 
+    if (bm->UserFlags.stats_flag)
+      printArrayStats();
+
     runTimes->stop(RunTimes::Transforming);
 
     return result;

diff --git a/src/AST/ArrayTransformer.h b/src/AST/ArrayTransformer.h
index 62d5d1b1b6456ef79ed9d6f390565c406bb403b2..12d5cebcb2c7f1a076daccd03dacb081e6a18488 100644 (file)
--- a/src/AST/ArrayTransformer.h
+++ b/src/AST/ArrayTransformer.h
@@ -1,6 +1,6 @@
 // -*- c++ -*-
 /********************************************************************
- * AUTHORS: Vijay Ganesh
+ * AUTHORS: Vijay Ganesh, Trevor Hansen
  *
  * BEGIN DATE: November, 2005
  *
@@ -132,6 +132,21 @@ namespace BEEV
     {
       arrayToIndexToRead.clear();
     }
+
+    void printArrayStats()
+    {
+      cerr << "Array Sizes:";
+
+      for (ArrType::const_iterator
+             iset = arrayToIndexToRead.begin(),
+             iset_end = arrayToIndexToRead.end();
+           iset != iset_end; iset++)
+        {
+          cerr << iset->second.size() << " : ";
+        }
+      cerr << endl;
+    }
+
   }; //end of class Transformer
 
 };//end of namespace