Skip to content

Commit ec6d597

Browse files
committed
Change back way validity of cb was checked
1 parent 6f4ee6b commit ec6d597

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

highs/mip/HighsTransformedLp.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -681,7 +681,7 @@ bool HighsTransformedLp::transformSNFRelaxation(
681681
inclbincoef = false;
682682
}
683683
if (inclbincoef) {
684-
val = sign * (coef * (lb - vbconstant) + (sign >= 0 ? std::min(0.0, origbincoef) : std::max(0.0, origbincoef)));
684+
val = sign * (coef * (lb - vbconstant) + complorigbincoef);
685685
if (val < 0) {
686686
val = sign * (coef * (lb - vbconstant));
687687
if (val < 0) return false;
@@ -702,7 +702,7 @@ bool HighsTransformedLp::transformSNFRelaxation(
702702
inclbincoef = false;
703703
}
704704
if (inclbincoef) {
705-
val = sign * (coef * (ub - vbconstant) + (sign >= 0 ? std::max(0.0, origbincoef) : std::min(0.0, origbincoef)));
705+
val = sign * (coef * (ub - vbconstant) + complorigbincoef);
706706
if (val > 0) {
707707
val = sign * (coef * (ub - vbconstant));
708708
if (val > 0) return false;

0 commit comments

Comments
 (0)