| 1313 | } |
| 1314 | |
| 1315 | void HighsSimplexAnalysis::reportInfeasibility(const bool header) { |
| 1316 | if (header) { |
| 1317 | *analysis_log << " Infeasibilities num(sum)"; |
| 1318 | } else { |
| 1319 | // Primal infeasibility information may not be known if dual ray |
| 1320 | // has proved primal infeasibility |
| 1321 | if (num_primal_infeasibility <= kHighsIllegalInfeasibilityCount || |
| 1322 | sum_primal_infeasibility >= kHighsIllegalInfeasibilityMeasure) |
| 1323 | return; |
| 1324 | if (solve_phase == 1) { |
| 1325 | *analysis_log << highsFormatToString(" Ph1: %" HIGHSINT_FORMAT "(%g)", |
| 1326 | num_primal_infeasibility, |
| 1327 | sum_primal_infeasibility); |
| 1328 | } else { |
| 1329 | *analysis_log << highsFormatToString(" Pr: %" HIGHSINT_FORMAT "(%g)", |
| 1330 | num_primal_infeasibility, |
| 1331 | sum_primal_infeasibility); |
| 1332 | } |
| 1333 | if (sum_dual_infeasibility > 0) { |
| 1334 | *analysis_log << highsFormatToString("; Du: %" HIGHSINT_FORMAT "(%g)", |
| 1335 | num_dual_infeasibility, |
| 1336 | sum_dual_infeasibility); |
| 1337 | } |
| 1338 | } |
| 1339 | } |
| 1340 | |
| 1341 | void HighsSimplexAnalysis::reportThreads(const bool header) { |
| 1342 | assert(analyse_simplex_runtime_data); |
nothing calls this directly
no test coverage detected