From 48b19765d2f3ff6b8a5e24187a87512940d74e56 Mon Sep 17 00:00:00 2001
From: lianah <lianahady@gmail.com>
Date: Thu, 31 Jan 2013 18:33:20 -0500
Subject: done fixing slicer bugs.

---
 src/theory/bv/slicer.h | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

(limited to 'src/theory/bv/slicer.h')

diff --git a/src/theory/bv/slicer.h b/src/theory/bv/slicer.h
index c7451c288..c3e893239 100644
--- a/src/theory/bv/slicer.h
+++ b/src/theory/bv/slicer.h
@@ -187,6 +187,19 @@ class UnionFind {
     d_nodes[id].setChildren(ch1, ch0); 
   }
 
+  class Statistics {
+  public:
+    IntStat d_numNodes; 
+    IntStat d_numRepresentatives;
+    IntStat d_numSplits;
+    IntStat d_numMerges;
+    AverageStat d_avgFindDepth; 
+    Statistics();
+    ~Statistics();
+  };
+
+  Statistics d_statistics
+;
   
 public:
   UnionFind()
@@ -208,7 +221,6 @@ public:
     return d_nodes[id].getBitwidth(); 
   }
   std::string debugPrint(TermId id); 
-
 };
 
 class Slicer {
-- 
cgit v1.2.3