| 269 | } |
| 270 | |
| 271 | forceinline ModEvent |
| 272 | SetVarImp::include(Space& home, int i, int j) { |
| 273 | if (j<i) |
| 274 | return ME_SET_NONE; |
| 275 | BndSetRanges ub(lub); |
| 276 | Iter::Ranges::Singleton sij(i,j); |
| 277 | if (!Iter::Ranges::subset(sij,ub)) { |
| 278 | return fail(home); |
| 279 | } |
| 280 | SetDelta d; |
| 281 | if (glb.include(home, i, j, d)) |
| 282 | return processGlbChange(home, d); |
| 283 | return ME_SET_NONE; |
| 284 | } |
| 285 | |
| 286 | forceinline ModEvent |
| 287 | SetVarImp::include(Space& home, int i) { |