| 136 | } |
| 137 | |
| 138 | void HighsIis::addRow(const HighsInt row, const HighsInt status) { |
| 139 | this->row_index_.push_back(row); |
| 140 | this->row_bound_.push_back(status); |
| 141 | } |
| 142 | |
| 143 | void HighsIis::removeCol(const HighsInt col) { |
| 144 | HighsInt num_col = this->col_index_.size(); |