| 341 | */ |
| 342 | |
| 343 | forceinline ModEvent |
| 344 | IntVarImp::gq(Space& home, int n) { |
| 345 | if (n <= dom.min()) return ME_INT_NONE; |
| 346 | if (n > dom.max()) return fail(home); |
| 347 | ModEvent me = gq_full(home,n); |
| 348 | GECODE_ASSUME((me == ME_INT_FAILED) | |
| 349 | (me == ME_INT_VAL) | |
| 350 | (me == ME_INT_BND)); |
| 351 | return me; |
| 352 | } |
| 353 | forceinline ModEvent |
| 354 | IntVarImp::gq(Space& home, long long int n) { |
| 355 | if (n <= dom.min()) return ME_INT_NONE; |