| 1798 | |
| 1799 | HighsInt Highs_getNumCols(const void* highs) { return Highs_getNumCol(highs); } |
| 1800 | HighsInt Highs_getNumRows(const void* highs) { return Highs_getNumRow(highs); } |
| 1801 | |
| 1802 | double Highs_getHighsRunTime(const void* highs) { |
| 1803 | ((Highs*)highs) |