diff options
| author | Tim King <taking@cs.nyu.edu> | 2012-05-04 03:03:34 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2012-05-04 03:03:34 +0000 |
| commit | 3d1c57e0506b2454aa815c3c1cb634d96ade1d7c (patch) | |
| tree | 1805ae7dae1f9e9b04c2d344ce252a969fc4e7a8 /src/theory/arith/theory_arith.h | |
| parent | 1433806056059339dd16ae8e431feaae23553150 (diff) | |
- This fixes a problem where simplex produced the same conflict in the single check call.
- This increases the number of substitutions that ppAssert can solve on integer equations.
Diffstat (limited to 'src/theory/arith/theory_arith.h')
| -rw-r--r-- | src/theory/arith/theory_arith.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/theory/arith/theory_arith.h b/src/theory/arith/theory_arith.h index 59653b62d..0b631aa9d 100644 --- a/src/theory/arith/theory_arith.h +++ b/src/theory/arith/theory_arith.h @@ -60,6 +60,7 @@ namespace arith { */ class TheoryArith : public Theory { private: + bool rowImplication(ArithVar v, bool upperBound, const DeltaRational& r); /** * This counter is false if nothing has been done since the last cut. |