| 427 | } |
| 428 | |
| 429 | HighsInt Highs_getIntOptionValue(const void* highs, const char* option, |
| 430 | HighsInt* value) { |
| 431 | return Highs_getIntOptionValues(highs, option, value, nullptr, nullptr, |
| 432 | nullptr); |
| 433 | } |
| 434 | |
| 435 | HighsInt Highs_getDoubleOptionValue(const void* highs, const char* option, |
| 436 | double* value) { |