From bd0a6c39c56c6ad2bf12e7b9fd41db1772fed9cd Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Wed, 5 Dec 2012 21:45:12 +0000
Subject: Improved garbage collection for TheoryArith.  The merges all of the
 code over from branches/arithmetic/converge except for the new code for
 simplex.

---
 src/util/dense_map.h | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

(limited to 'src/util/dense_map.h')

diff --git a/src/util/dense_map.h b/src/util/dense_map.h
index fa78e6787..222a761c3 100644
--- a/src/util/dense_map.h
+++ b/src/util/dense_map.h
@@ -151,6 +151,7 @@ public:
     pop_back();
   }
 
+  /** Returns the key at the back of a non-empty list.*/
   Key back() const {
     return d_list.back();
   }
@@ -164,6 +165,27 @@ public:
     d_list.pop_back();
   }
 
+
+  /** Adds at least a constant fraction of the elements in the current map to another map. */
+  void splitInto(DenseMap<T>& target){
+    uint32_t targetSize = size()/2;
+    while(size() > targetSize){
+      Key key = back();
+      target.set(key, get(key));
+      pop_back();
+    }
+  }
+
+  /** Adds the current target map to the current map.*/
+  void addAll(const DenseMap<T>& target){
+    for(const_iterator i = target.begin(), e = target.end(); i != e; ++i){
+      Key k = *i;
+      set(k, target[k]);
+    }
+  }
+
+
+
  private:
 
   size_t allocated() const {
-- 
cgit v1.2.3