| 395 | } |
| 396 | |
| 397 | HighsInt Highs_setDoubleOptionValue(void* highs, const char* option, |
| 398 | const double value) { |
| 399 | return (HighsInt)((Highs*)highs)->setOptionValue(std::string(option), value); |
| 400 | } |
| 401 | |
| 402 | HighsInt Highs_setStringOptionValue(void* highs, const char* option, |
| 403 | const char* value) { |