diff options
author | Tim King <taking@cs.nyu.edu> | 2013-05-03 15:52:11 -0400 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2013-05-03 15:52:11 -0400 |
commit | 4c20ab57d70c4812d75af037e95c371c65418333 (patch) | |
tree | 88ae9d4ca928a5bb8536819ccbdbd9031b63684a /src/theory/arith/linear_equality.h | |
parent | 753e84e5b3068efe973be1871b6456abf9b9470b (diff) |
More misc. arithmetic cleanup. Removing unused files and functions. Also removing an ugly forward declaration that was needed to get error set bound information on basic variables.
Diffstat (limited to 'src/theory/arith/linear_equality.h')
-rw-r--r-- | src/theory/arith/linear_equality.h | 12 |
1 files changed, 3 insertions, 9 deletions
diff --git a/src/theory/arith/linear_equality.h b/src/theory/arith/linear_equality.h index 4d18d5c81..607ee6244 100644 --- a/src/theory/arith/linear_equality.h +++ b/src/theory/arith/linear_equality.h @@ -277,8 +277,6 @@ public: void includeBoundUpdate(ArithVar nb, const BoundsInfo& prev); - void computeSafeUpdate(UpdateInfo& inf, VarPreferenceFunction basic); - uint32_t updateProduct(const UpdateInfo& inf) const; @@ -400,16 +398,12 @@ public: } private: - typedef std::vector<const Tableau::Entry*> EntryPointerVector; - EntryPointerVector d_relevantErrorBuffer; - - //uint32_t computeUnconstrainedUpdate(ArithVar nb, int sgn, DeltaRational& am); - //uint32_t computedFixed(ArithVar nb, int sgn, const DeltaRational& am); - void computedFixed(UpdateInfo&); /** * This maps each row index to its relevant bounds info. - * This tracks the */ + * This tracks the count for how many variables on a row have bounds + * and how many are assigned at their bounds. + */ BoundInfoMap& d_btracking; bool d_areTracking; |