diff options
author | Tim King <taking@cs.nyu.edu> | 2011-03-03 16:34:48 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2011-03-03 16:34:48 +0000 |
commit | 3c8309cbf3f6549d9cc54fe45ccb5bb32a106d8e (patch) | |
tree | 8383e8e393ec7ec04c3cb1da02102e8876cc1adb /src/theory/arith/row_vector.h | |
parent | 7cd7c850304caa12827c0deab1752293655d1248 (diff) |
Merged the tableau-copy branch into trunk. This adds a copy constructor and operator=(...) to Tableau.
Diffstat (limited to 'src/theory/arith/row_vector.h')
-rw-r--r-- | src/theory/arith/row_vector.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/theory/arith/row_vector.h b/src/theory/arith/row_vector.h index 0fdfd7f0c..45412ad3e 100644 --- a/src/theory/arith/row_vector.h +++ b/src/theory/arith/row_vector.h @@ -86,9 +86,11 @@ public: const std::vector< Rational >& coefficients, std::vector<uint32_t>& count, std::vector<ArithVarSet>& columnMatrix); - ~ReducedRowVector(); + void enqueueNonBasicVariablesAndCoefficients(std::vector< ArithVar >& variables, + std::vector< Rational >& coefficients) const; + /** Returns the basic variable.*/ ArithVar basic() const{ Assert(basicIsSet()); |