| 1513 | } |
| 1514 | |
| 1515 | void HighsDomain::updateThresholdUbChange(HighsInt col, double newbound, |
| 1516 | double val, double& threshold) const { |
| 1517 | if (newbound != col_lower_[col]) { |
| 1518 | double thresholdNew = |
| 1519 | std::fabs(val) * boundRange(newbound, col_lower_[col], |
| 1520 | mipsolver->mipdata_->feastol, |
| 1521 | variableType(col)); |
| 1522 | |
| 1523 | // the new threshold is now the maximum of the new threshold and the current |
| 1524 | // one |
| 1525 | threshold = |
| 1526 | std::max({threshold, thresholdNew, mipsolver->mipdata_->feastol}); |
| 1527 | } |
| 1528 | } |
| 1529 | |
| 1530 | void HighsDomain::updateActivityLbChange(HighsInt col, double oldbound, |
| 1531 | double newbound) { |
no test coverage detected