| 343 | } |
| 344 | |
| 345 | forceinline ModEvent |
| 346 | SetVarImp::exclude(Space& home, int i, int j) { |
| 347 | if (j<i) |
| 348 | return ME_SET_NONE; |
| 349 | Iter::Ranges::Singleton sij(i,j); |
| 350 | BndSetRanges lb(glb); |
| 351 | Iter::Ranges::Inter<Iter::Ranges::Singleton,BndSetRanges> probe(sij,lb); |
| 352 | if (probe()) |
| 353 | return fail(home); |
| 354 | SetDelta d; |
| 355 | if (lub.exclude(home, i, j, d)) |
| 356 | return processLubChange(home, d); |
| 357 | return ME_SET_NONE; |
| 358 | } |
| 359 | |
| 360 | forceinline ModEvent |
| 361 | SetVarImp::exclude(Space& home, int i) { |