| 154 | } |
| 155 | |
| 156 | void HighsDebugSol::boundChangeRemoved(const HighsDomain& domain, |
| 157 | const HighsDomainChange& domchg) { |
| 158 | if (!debugSolActive) return; |
| 159 | |
| 160 | if (conflictingBounds.count(&domain) == 0) return; |
| 161 | |
| 162 | auto i = conflictingBounds[&domain].find(domchg); |
| 163 | if (i != conflictingBounds[&domain].end()) |
| 164 | conflictingBounds[&domain].erase(i); |
| 165 | } |
| 166 | |
| 167 | void HighsDebugSol::checkCut(const HighsInt* Rindex, const double* Rvalue, |
| 168 | HighsInt Rlen, double rhs) { |