| 383 | } |
| 384 | |
| 385 | forceinline ModEvent |
| 386 | IntVarImp::eq(Space& home, int n) { |
| 387 | if ((n < dom.min()) || (n > dom.max())) |
| 388 | return fail(home); |
| 389 | if ((n == dom.min()) && (n == dom.max())) |
| 390 | return ME_INT_NONE; |
| 391 | ModEvent me = eq_full(home,n); |
| 392 | GECODE_ASSUME((me == ME_INT_FAILED) | (me == ME_INT_VAL)); |
| 393 | return me; |
| 394 | } |
| 395 | forceinline ModEvent |
| 396 | IntVarImp::eq(Space& home, long long int m) { |
| 397 | if ((m < dom.min()) || (m > dom.max())) |