| 362 | } |
| 363 | |
| 364 | forceinline ModEvent |
| 365 | IntVarImp::lq(Space& home, int n) { |
| 366 | if (n >= dom.max()) return ME_INT_NONE; |
| 367 | if (n < dom.min()) return fail(home); |
| 368 | ModEvent me = lq_full(home,n); |
| 369 | GECODE_ASSUME((me == ME_INT_FAILED) | |
| 370 | (me == ME_INT_VAL) | |
| 371 | (me == ME_INT_BND)); |
| 372 | return me; |
| 373 | } |
| 374 | forceinline ModEvent |
| 375 | IntVarImp::lq(Space& home, long long int n) { |
| 376 | if (n >= dom.max()) return ME_INT_NONE; |