| 400 | } |
| 401 | |
| 402 | HighsInt Highs_setStringOptionValue(void* highs, const char* option, |
| 403 | const char* value) { |
| 404 | return (HighsInt)((Highs*)highs) |
| 405 | ->setOptionValue(std::string(option), std::string(value)); |
| 406 | } |
| 407 | |
| 408 | HighsInt Highs_getNumOptions(const void* highs) { |
| 409 | return ((Highs*)highs)->getNumOptions(); |