Report reason why search has been stopped
| 86 | } |
| 87 | /// Report reason why search has been stopped |
| 88 | int reason(const Search::Statistics& s, const Search::Options& o) { |
| 89 | return |
| 90 | (((ns != nullptr) && ns->stop(s,o)) ? SR_NODE : 0) | |
| 91 | (((fs != nullptr) && fs->stop(s,o)) ? SR_FAIL : 0) | |
| 92 | (((ts != nullptr) && ts->stop(s,o)) ? SR_TIME : 0) | |
| 93 | (((rs != nullptr) && rs->stop(s,o)) ? SR_RESTART : 0) | |
| 94 | (sigint ? SR_INT : 0); |
| 95 | } |
| 96 | /// Create appropriate stop-object |
| 97 | static Search::Stop* |
| 98 | create(unsigned long long int node, |