Changes:

- ArithVar is no longer an attribute
- RowVector's destructor reduces the row count of its variables upon.
- Tableau's destructor now free its rows instead of leaking memory.
- Added ability to convert ReducedRowVectors into equivalent Nodes.
- getValue() should work again.

1 files changed, 3 insertions, 0 deletions

diff --git a/src/theory/arith/arithvar_set.h b/src/theory/arith/arithvar_set.h
index 95617c5a0..de215696e 100644
--- a/src/theory/arith/arithvar_set.h
+++ b/src/theory/arith/arithvar_set.h
@@ -54,6 +54,9 @@ public:
   size_t size() const {
     return d_list.size();
   }
+  bool empty() const {
+    return d_list.empty();
+  }
 
   size_t allocated() const {
     return d_posVector.size();