| 614 | } |
| 615 | |
| 616 | double Highs_getObjectiveValue(const void* highs) { |
| 617 | return ((Highs*)highs)->getObjectiveValue(); |
| 618 | } |
| 619 | |
| 620 | HighsInt Highs_getBasicVariables(const void* highs, HighsInt* basic_variables) { |
| 621 | return (HighsInt)((Highs*)highs)->getBasicVariables(basic_variables); |