| 216 | } |
| 217 | |
| 218 | bool HMpsFF::timeout() { |
| 219 | return time_limit_ > 0 && getWallTime() - start_time > time_limit_; |
| 220 | } |
| 221 | |
| 222 | bool HMpsFF::getMpsLine(std::istream& file, std::string& strline, bool& skip) { |
| 223 | const bool remove_trailing_comments = false; |
nothing calls this directly
no test coverage detected