| 2840 | } |
| 2841 | |
| 2842 | HighsStatus readBasisFile(const HighsLogOptions& log_options, HighsLp& lp, |
| 2843 | HighsBasis& basis, const std::string& filename) { |
| 2844 | // Opens a basis file as an ifstream |
| 2845 | HighsStatus return_status = HighsStatus::kOk; |
| 2846 | std::ifstream in_file; |
| 2847 | in_file.open(filename.c_str(), std::ios::in); |
| 2848 | if (in_file.is_open()) { |
| 2849 | return_status = readBasisStream(log_options, lp, basis, in_file); |
| 2850 | in_file.close(); |
| 2851 | } else { |
| 2852 | highsLogUser(log_options, HighsLogType::kError, |
| 2853 | "readBasisFile: Cannot open readable file \"%s\"\n", |
| 2854 | filename.c_str()); |
| 2855 | return_status = HighsStatus::kError; |
| 2856 | } |
| 2857 | return return_status; |
| 2858 | } |
| 2859 | |
| 2860 | HighsStatus readBasisStream(const HighsLogOptions& log_options, HighsLp& lp, |
| 2861 | HighsBasis& basis, std::ifstream& in_file) { |
no test coverage detected