| 20 | } |
| 21 | |
| 22 | void HighsExternalApi::unload() { |
| 23 | #ifdef HIGHS_SHARED_EXTRAS_LIBRARY |
| 24 | HighsExternalApi& inst = instance(); |
| 25 | |
| 26 | inst.library_.unload(); |
| 27 | inst.api_ = HighsExtrasApi{}; |
| 28 | inst.extras_feature_info_ = nullptr; |
| 29 | inst.available_ = false; |
| 30 | #endif |
| 31 | } |
| 32 | |
| 33 | #ifdef HIGHS_SHARED_EXTRAS_LIBRARY |
| 34 |