| 689 | } |
| 690 | |
| 691 | static void deleteBasisCols(HighsBasis& basis, |
| 692 | const HighsIndexCollection& index_collection, |
| 693 | const HighsInt original_num_col) { |
| 694 | bool deleted_basic; |
| 695 | bool deleted_nonbasic; |
| 696 | deleteBasisEntries(basis.col_status, deleted_basic, deleted_nonbasic, |
| 697 | index_collection, original_num_col); |
| 698 | if (deleted_basic) basis.valid = false; |
| 699 | } |
| 700 | |
| 701 | static void deleteBasisRows(HighsBasis& basis, |
| 702 | const HighsIndexCollection& index_collection, |
no test coverage detected