| 390 | } |
| 391 | |
| 392 | HighsInt Highs_setIntOptionValue(void* highs, const char* option, |
| 393 | const HighsInt value) { |
| 394 | return (HighsInt)((Highs*)highs)->setOptionValue(std::string(option), value); |
| 395 | } |
| 396 | |
| 397 | HighsInt Highs_setDoubleOptionValue(void* highs, const char* option, |
| 398 | const double value) { |