| 109 | } |
| 110 | |
| 111 | void HighsDebugSol::registerDomain(const HighsDomain& domain) { |
| 112 | conflictingBounds.emplace(&domain, std::multiset<HighsDomainChange>()); |
| 113 | |
| 114 | if (!debugSolActive) return; |
| 115 | |
| 116 | for (HighsInt i = 0; i != mipsolver->numCol(); ++i) { |
| 117 | assert(domain.col_lower_[i] <= |
| 118 | debugSolution[i] + mipsolver->mipdata_->feastol); |
| 119 | assert(domain.col_upper_[i] >= |
| 120 | debugSolution[i] - mipsolver->mipdata_->feastol); |
| 121 | } |
| 122 | } |
| 123 | |
| 124 | void HighsDebugSol::newIncumbentFound() { |
| 125 | if (debugSolActive && debugSolObjective > mipsolver->mipdata_->upper_limit) { |