| 39 | namespace Gecode { |
| 40 | |
| 41 | void |
| 42 | rel(Home home, IntVar x0, IntRelType irt, int n, IntPropLevel) { |
| 43 | using namespace Int; |
| 44 | Limits::check(n,"Int::rel"); |
| 45 | GECODE_POST; |
| 46 | IntView x(x0); |
| 47 | switch (irt) { |
| 48 | case IRT_EQ: GECODE_ME_FAIL(x.eq(home,n)); break; |
| 49 | case IRT_NQ: GECODE_ME_FAIL(x.nq(home,n)); break; |
| 50 | case IRT_LQ: GECODE_ME_FAIL(x.lq(home,n)); break; |
| 51 | case IRT_LE: GECODE_ME_FAIL(x.le(home,n)); break; |
| 52 | case IRT_GQ: GECODE_ME_FAIL(x.gq(home,n)); break; |
| 53 | case IRT_GR: GECODE_ME_FAIL(x.gr(home,n)); break; |
| 54 | default: throw UnknownRelation("Int::rel"); |
| 55 | } |
| 56 | } |
| 57 | |
| 58 | void |
| 59 | rel(Home home, const IntVarArgs& x, IntRelType irt, int n, IntPropLevel) { |