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, 8 insertions, 0 deletions

diff --git a/src/theory/arith/tableau.cpp b/src/theory/arith/tableau.cpp
index 5f142fe8a..5ba173eb6 100644
--- a/src/theory/arith/tableau.cpp
+++ b/src/theory/arith/tableau.cpp
@@ -24,6 +24,14 @@ using namespace CVC4;
 using namespace CVC4::theory;
 using namespace CVC4::theory::arith;
 
+Tableau::~Tableau(){
+  while(!d_activeBasicVars.empty()){
+    ArithVar curr = *(d_activeBasicVars.begin());
+    ReducedRowVector* vec = removeRow(curr);
+    delete vec;
+  }
+}
+
 void Tableau::addRow(ArithVar basicVar,
                      const std::vector<Rational>& coeffs,
                      const std::vector<ArithVar>& variables){