| 376 | } |
| 377 | |
| 378 | HighsInt maxNameLength(const HighsLp& lp) { |
| 379 | return std::max(maxNameLength(lp.col_names_), maxNameLength(lp.row_names_)); |
| 380 | } |
| 381 | |
| 382 | HighsInt maxNameLength(const std::vector<std::string>& names) { |
| 383 | HighsInt num_name = names.size(); |
no test coverage detected