diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-04-29 10:50:43 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-04-29 12:11:41 -0400 |
commit | bb32f230b1bf822a422efe89f35ac92c8d17c50f (patch) | |
tree | 34ed1ddaf1660691fed58900f837b7f676fb3fca /src/theory/arith/soi_simplex.h | |
parent | d0514a37c2bf753ae5da35b2c350f2d681f9a752 (diff) |
Fixes to FCSimplex for some versions of compilers
Diffstat (limited to 'src/theory/arith/soi_simplex.h')
-rw-r--r-- | src/theory/arith/soi_simplex.h | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/theory/arith/soi_simplex.h b/src/theory/arith/soi_simplex.h index 1a6becccb..006839a55 100644 --- a/src/theory/arith/soi_simplex.h +++ b/src/theory/arith/soi_simplex.h @@ -122,9 +122,11 @@ private: LinearEqualityModule::UpdatePreferenceFunction selectLeavingFunction(ArithVar x){ bool useBlands = d_leavingCountSinceImprovement.isKey(x) && d_leavingCountSinceImprovement[x] >= s_maxDegeneratePivotsBeforeBlandsOnEntering; - return useBlands ? - &LinearEqualityModule::preferWitness<false>: - &LinearEqualityModule::preferWitness<true>; + if(useBlands) { + return &LinearEqualityModule::preferWitness<false>; + } else { + return &LinearEqualityModule::preferWitness<true>; + } } bool debugSOI(WitnessImprovement w, std::ostream& out, int instance) const; |