| 129 | } |
| 130 | |
| 131 | inline void |
| 132 | lex(Home home, const IntVarArgs& x, IntRelType r, const IntVarArgs& y, |
| 133 | IntPropLevel ipl) { |
| 134 | rel(home,x,r,y,ipl); |
| 135 | } |
| 136 | inline void |
| 137 | lex(Home home, const BoolVarArgs& x, IntRelType r, const BoolVarArgs& y, |
| 138 | IntPropLevel ipl) { |