From 005066130a774c9e4aa838ca500d5fd3137909be Mon Sep 17 00:00:00 2001 From: Tim King Date: Fri, 18 Feb 2011 23:28:19 +0000 Subject: 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. --- src/theory/arith/arithvar_set.h | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/theory/arith/arithvar_set.h') 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(); -- cgit v1.2.3