| 244 | |
| 245 | template<class View0, class View1> |
| 246 | forceinline ExecStatus |
| 247 | CharacteristicSets::prune(Space& home, View0 x, View1 y) { |
| 248 | if (xlm) { |
| 249 | CSIter i(*this,0,0); |
| 250 | Iter::Values::ToRanges<CSIter> ir(i); |
| 251 | GECODE_ME_CHECK(x.includeI(home,ir)); |
| 252 | } |
| 253 | if (xum) { |
| 254 | CSIter i(*this,0,1); |
| 255 | Iter::Values::ToRanges<CSIter> ir(i); |
| 256 | GECODE_ME_CHECK(x.intersectI(home,ir)); |
| 257 | } |
| 258 | if (ylm) { |
| 259 | CSIter i(*this,2*xsize,0); |
| 260 | Iter::Values::ToRanges<CSIter> ir(i); |
| 261 | GECODE_ME_CHECK(y.includeI(home,ir)); |
| 262 | } |
| 263 | if (yum) { |
| 264 | CSIter i(*this,2*xsize,1); |
| 265 | Iter::Values::ToRanges<CSIter> ir(i); |
| 266 | GECODE_ME_CHECK(y.intersectI(home,ir)); |
| 267 | } |
| 268 | return ES_OK; |
| 269 | } |
| 270 | |
| 271 | template<class View0, class View1> |
| 272 | forceinline |
no test coverage detected