diff options
| author | Tim King <taking@cs.nyu.edu> | 2011-02-19 00:22:34 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2011-02-19 00:22:34 +0000 |
| commit | 0db4ec99a2f289b66878d0ca3be9d43492eff3ad (patch) | |
| tree | cdcb1badb92bf405c2be4f15a19bec05ea716c32 /src/theory/arith/simplex.h | |
| parent | 005066130a774c9e4aa838ca500d5fd3137909be (diff) | |
Changes:
- The Tableau is now in charge of managing what variables are basic in a unified manner. Specifically, TheoryArith::d_basicManager was merged into Tableau::d_basicVariables.
Diffstat (limited to 'src/theory/arith/simplex.h')
| -rw-r--r-- | src/theory/arith/simplex.h | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/theory/arith/simplex.h b/src/theory/arith/simplex.h index abd5cb5e6..84d7cdcbb 100644 --- a/src/theory/arith/simplex.h +++ b/src/theory/arith/simplex.h @@ -55,8 +55,6 @@ private: */ ArithPartialModel& d_partialModel; - ArithVarSet& d_basicManager; - OutputChannel* d_out; Tableau& d_tableau; @@ -68,13 +66,11 @@ private: public: SimplexDecisionProcedure(const ArithConstants& constants, ArithPartialModel& pm, - ArithVarSet& bm, OutputChannel* out, Tableau& tableau) : d_possiblyInconsistent(), d_constants(constants), d_partialModel(pm), - d_basicManager(bm), d_out(out), d_tableau(tableau), d_numVariables(0), |