| 212 | |
| 213 | template<class View> |
| 214 | void cbssize(const ViewArray<View>& x, Propagator::InDecision in, |
| 215 | unsigned int& size, unsigned int& size_b) { |
| 216 | size = 0; |
| 217 | size_b = 0; |
| 218 | for (const auto& v : x) { |
| 219 | if (!v.assigned()) { |
| 220 | size += v.size(); |
| 221 | if (in(v.id())) |
| 222 | size_b += v.size(); |
| 223 | } |
| 224 | } |
| 225 | } |
| 226 | |
| 227 | }}} |
| 228 |
no test coverage detected