| 2830 | } |
| 2831 | |
| 2832 | bool HighsMipSolverData::terminatorTerminated() const { |
| 2833 | if (this->terminatorActive()) |
| 2834 | mipsolver.termination_status_ = mipsolver.terminator_.terminationStatus(); |
| 2835 | return mipsolver.termination_status_ != HighsModelStatus::kNotset; |
| 2836 | } |
| 2837 | |
| 2838 | void HighsMipSolverData::terminatorReport() const { |
| 2839 | if (this->terminatorActive()) |
no test coverage detected