| 3045 | } |
| 3046 | |
| 3047 | HighsStatus Highs::optionChangeAction() { |
| 3048 | if (this->iis_.valid_ && options_.iis_strategy != this->iis_.strategy_) |
| 3049 | this->iis_.clear(); |
| 3050 | return HighsStatus::kOk; |
| 3051 | } |
| 3052 | |
| 3053 | void Highs::restoreInfCost(HighsStatus& return_status) { |
| 3054 | HighsLp& lp = this->model_.lp_; |