| 364 | |
| 365 | template<class I> |
| 366 | inline ModEvent |
| 367 | SetVarImp::excludeI(Space& home, I& iterator) { |
| 368 | if (!iterator()) |
| 369 | return ME_SET_NONE; |
| 370 | if (assigned()) { |
| 371 | BndSetRanges ubi(lub); |
| 372 | Iter::Ranges::Inter<BndSetRanges,I> probe(ubi,iterator); |
| 373 | return probe() ? fail(home) : ME_SET_NONE; |
| 374 | } |
| 375 | int mi=iterator.min(); |
| 376 | int ma=iterator.max(); |
| 377 | ++iterator; |
| 378 | if (iterator()) |
| 379 | return excludeI_full(home, mi, ma, iterator); |
| 380 | else |
| 381 | return exclude(home, mi, ma); |
| 382 | } |
| 383 | |
| 384 | template<class I> |
| 385 | ModEvent |
no test coverage detected