| 764 | } |
| 765 | |
| 766 | HighsInt Highs_stopCallback(void* highs, const HighsInt callback_type) { |
| 767 | return (HighsInt)((Highs*)highs)->stopCallback(callback_type); |
| 768 | } |
| 769 | |
| 770 | double Highs_getRunTime(const void* highs) { |
| 771 | return (double)((Highs*)highs)->getRunTime(); |