| 1885 | } |
| 1886 | |
| 1887 | void HighsSearch::solveDepthFirst(int64_t maxbacktracks) { |
| 1888 | do { |
| 1889 | if (maxbacktracks == 0) break; |
| 1890 | |
| 1891 | NodeResult result = dive(); |
| 1892 | // if a limit was reached the result might be open |
| 1893 | if (result == NodeResult::kOpen) break; |
| 1894 | |
| 1895 | --maxbacktracks; |
| 1896 | |
| 1897 | } while (backtrack()); |
| 1898 | } |
| 1899 | |
| 1900 | double HighsSearch::getFeasTol() const { return mipsolver.mipdata_->feastol; } |
| 1901 |