| 149 | #ifdef GECODE_HAS_SET_VARS |
| 150 | |
| 151 | inline void |
| 152 | channel(Home home, const IntVarArgs& x, SetVar y) { |
| 153 | rel(home,SOT_UNION,x,y); |
| 154 | nvalues(home,x,IRT_EQ,expr(home,cardinality(y))); |
| 155 | } |
| 156 | |
| 157 | inline void |
| 158 | range(Home home, const IntVarArgs& x, SetVar y, SetVar z) { |