Merge pull request #2011 from fwesselm/implBndLambdas

Refactor HPresolve::updateRowDualImpliedBounds and HPresolve::updateColImpliedBounds
ERGO-Code · Oct 31, 2024 · fc78b78 · fc78b78
2 parents bf72bca + 4b94521
commit fc78b78
Show file tree

Hide file tree

Showing 2 changed files with 136 additions and 220 deletions.
diff --git a/src/mip/HighsLpRelaxation.cpp b/src/mip/HighsLpRelaxation.cpp
@@ -1245,9 +1245,8 @@ HighsLpRelaxation::Status HighsLpRelaxation::resolveLp(HighsDomain* domain) {
 
           if (fractionality(val) > mipsolver.mipdata_->feastol) {
             HighsInt col = i;
-            if (roundable && mipsolver.mipdata_->uplocks[col] != 0 &&
-                mipsolver.mipdata_->downlocks[col] != 0)
-              roundable = false;
+            roundable = roundable && (mipsolver.mipdata_->uplocks[col] == 0 ||
+                                      mipsolver.mipdata_->downlocks[col] == 0);
 
             const HighsCliqueTable::Substitution* subst =
                 mipsolver.mipdata_->cliquetable.getSubstitution(col);