| 110 | |
| 111 | template<class View> |
| 112 | bool CBSBrancher<View>::status(const Space& home) const { |
| 113 | for (Propagators p(home, PropagatorGroup::all); p(); ++p) { |
| 114 | // Sum of domains of all variable in propagator |
| 115 | unsigned int domsum; |
| 116 | // Same, but for variables that are also in this brancher. |
| 117 | unsigned int domsum_b; |
| 118 | |
| 119 | // If the propagator doesn't support counting-based search, domsum and |
| 120 | // domsum_b are going to be equal to 0. |
| 121 | p.propagator().domainsizesum([this](unsigned int var_id) |
| 122 | { return inbrancher(var_id); }, |
| 123 | domsum, domsum_b); |
| 124 | |
| 125 | if (domsum_b > 0) |
| 126 | return true; |
| 127 | } |
| 128 | |
| 129 | return false; |
| 130 | } |
| 131 | |
| 132 | template<class View> |
| 133 | forceinline bool |
no test coverage detected