Adding access to simplex's ArithPriorityQueue to TheoryArith for ArithPriorityQueue::reduce(), ::begin() and ::end().

1 files changed, 12 insertions, 0 deletions

diff --git a/src/theory/arith/simplex.h b/src/theory/arith/simplex.h
index a1c69548c..9ba44b102 100644
--- 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. */