| 433 | } |
| 434 | |
| 435 | HighsInt Highs_getDoubleOptionValue(const void* highs, const char* option, |
| 436 | double* value) { |
| 437 | return Highs_getDoubleOptionValues(highs, option, value, nullptr, nullptr, |
| 438 | nullptr); |
| 439 | } |
| 440 | |
| 441 | HighsInt Highs_getStringOptionValue(const void* highs, const char* option, |
| 442 | char* value) { |