| 455 | } |
| 456 | |
| 457 | void redundantRow(HighsInt row) { |
| 458 | reductionValues.push(RedundantRow{origRowIndex[row]}); |
| 459 | reductionAdded(ReductionType::kRedundantRow); |
| 460 | } |
| 461 | |
| 462 | template <typename RowStorageFormat> |
| 463 | void forcingRow(HighsInt row, |
no test coverage detected