| 315 | } |
| 316 | |
| 317 | void HighsLp::addRowNames(const std::string name, const HighsInt num_new_row) { |
| 318 | // Don't add names if there are no rows being added |
| 319 | if (this->num_row_ == 0) return; |
| 320 | HighsInt row_names_size = this->row_names_.size(); |
| 321 | if (row_names_size <= 0) return; |
| 322 | assert(row_names_size == this->num_row_ + num_new_row); |
| 323 | // Handle the addition of user-defined names later |
| 324 | assert(name == ""); |
| 325 | // Blank names for the new rows were added in appendRowsToLpVectors |
| 326 | } |
| 327 | |
| 328 | void HighsLp::deleteColsFromVectors( |
| 329 | HighsInt& new_num_col, const HighsIndexCollection& index_collection) { |