| 366 | } |
| 367 | |
| 368 | HighsInt Highs_readOptions(const void* highs, const char* filename) { |
| 369 | return (HighsInt)((Highs*)highs)->readOptions(filename); |
| 370 | } |
| 371 | |
| 372 | HighsInt Highs_clear(void* highs) { return (HighsInt)((Highs*)highs)->clear(); } |
| 373 |
nothing calls this directly
no test coverage detected