| 182 | } |
| 183 | |
| 184 | void reportRunData(FILE* file, |
| 185 | const std::vector<RunDataRecord*>& run_data_records, |
| 186 | const HighsFileType file_type) { |
| 187 | HighsInt num_run_data = run_data_records.size(); |
| 188 | for (HighsInt index = 0; index < num_run_data; index++) { |
| 189 | HighsRunDataType type = run_data_records[index]->type; |
| 190 | if (type == HighsRunDataType::kInt64) { |
| 191 | reportRunData(file, ((RunDataRecordInt64*)run_data_records[index])[0], |
| 192 | file_type); |
| 193 | } else if (type == HighsRunDataType::kInt) { |
| 194 | reportRunData(file, ((RunDataRecordInt*)run_data_records[index])[0], |
| 195 | file_type); |
| 196 | } else { |
| 197 | reportRunData(file, ((RunDataRecordDouble*)run_data_records[index])[0], |
| 198 | file_type); |
| 199 | } |
| 200 | } |
| 201 | } |
| 202 | |
| 203 | void reportRunData(FILE* file, const RunDataRecordInt64& run_data, |
| 204 | const HighsFileType file_type) { |
no test coverage detected