| 181 | } |
| 182 | |
| 183 | bool optionHipoSystemOk(const HighsLogOptions& report_log_options, |
| 184 | const string& value) { |
| 185 | if (value == kHipoNormalEqString || value == kHipoAugmentedString || |
| 186 | value == kHighsChooseString) |
| 187 | return true; |
| 188 | highsLogUser( |
| 189 | report_log_options, HighsLogType::kError, |
| 190 | "Value \"%s\" for %s option is not one of \"%s\", \"%s\" or \"%s\"\n", |
| 191 | value.c_str(), kHipoSystemString.c_str(), kHipoNormalEqString.c_str(), |
| 192 | kHipoAugmentedString.c_str(), kHighsChooseString.c_str()); |
| 193 | return false; |
| 194 | } |
| 195 | |
| 196 | bool optionHipoOrderingOk(const HighsLogOptions& report_log_options, |
| 197 | const string& value) { |
no test coverage detected