diff options
author | Tim King <taking@cs.nyu.edu> | 2013-05-02 17:15:53 -0400 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2013-05-02 17:15:53 -0400 |
commit | d1783a6d2fa6c48418fcf6a28f84e321061c0507 (patch) | |
tree | 3b30fe95e0d24526a2ad538d83512b159f841fba /src/theory/arith/simplex.h | |
parent | 9098391fe334d829ec4101f190b8f1fa21c30752 (diff) |
Adding quick explain for soi simplex.
Diffstat (limited to 'src/theory/arith/simplex.h')
-rw-r--r-- | src/theory/arith/simplex.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/theory/arith/simplex.h b/src/theory/arith/simplex.h index bc47a128a..d646ca889 100644 --- a/src/theory/arith/simplex.h +++ b/src/theory/arith/simplex.h @@ -121,6 +121,7 @@ protected: void tearDownInfeasiblityFunction(TimerStat& timer, ArithVar inf); void adjustInfeasFunc(TimerStat& timer, ArithVar inf, const AVIntPairVec& focusChanges); void addToInfeasFunc(TimerStat& timer, ArithVar inf, ArithVar e); + void removeFromInfeasFunc(TimerStat& timer, ArithVar inf, ArithVar e); void shrinkInfeasFunc(TimerStat& timer, ArithVar inf, const ArithVarVec& dropped); public: @@ -197,7 +198,8 @@ protected: void addSgn(sgn_table& sgns, ArithVar col, int sgn, ArithVar basic); void addRowSgns(sgn_table& sgns, ArithVar basic, int norm); - ArithVar find_basic_outside(const sgn_table& sgns, ArithVar col, int sgn, const DenseSet& m); + ArithVar find_basic_in_sgns(const sgn_table& sgns, ArithVar col, int sgn, const DenseSet& m, bool inside); + sgn_table::const_iterator find_sgns(const sgn_table& sgns, ArithVar col, int sgn); };/* class SimplexDecisionProcedure */ |