| 223 | } |
| 224 | |
| 225 | OptionStatus getOptionIndex(const HighsLogOptions& report_log_options, |
| 226 | const std::string& name, |
| 227 | const std::vector<OptionRecord*>& option_records, |
| 228 | HighsInt& index) { |
| 229 | HighsInt num_options = option_records.size(); |
| 230 | for (index = 0; index < num_options; index++) |
| 231 | if (option_records[index]->name == name) return OptionStatus::kOk; |
| 232 | highsLogUser(report_log_options, HighsLogType::kError, |
| 233 | "getOptionIndex: Option \"%s\" is unknown\n", name.c_str()); |
| 234 | return OptionStatus::kUnknownOption; |
| 235 | } |
| 236 | |
| 237 | OptionStatus checkOptions(const HighsLogOptions& report_log_options, |
| 238 | const std::vector<OptionRecord*>& option_records) { |
no test coverage detected