Adding access to simplex's ArithPriorityQueue to TheoryArith for ArithPriorityQueue...

diff --git a/src/theory/arith/simplex.h b/src/theory/arith/simplex.h
index a1c69548c386ad58785cac01ea0053228e81f3f0..9ba44b102060000e714050443c4ce4232f8c5601 100644 (file)
--- a/src/theory/arith/simplex.h
+++ b/src/theory/arith/simplex.h
@@ -230,6 +230,18 @@ public:
     return d_queue.collectionModeContains(var);
   }
 
+  void reduceQueue(){
+    d_queue.reduce();
+  }
+
+  ArithPriorityQueue::const_iterator queueBegin() const{
+    return d_queue.begin();
+  }
+
+  ArithPriorityQueue::const_iterator queueEnd() const{
+    return d_queue.end();
+  }
+
 private:
 
   /** Reports a conflict to on the output channel. */