| 42 | namespace Gecode { |
| 43 | |
| 44 | void |
| 45 | channelSorted(Home home, const IntVarArgs& x, SetVar y) { |
| 46 | GECODE_POST; |
| 47 | ViewArray<Int::IntView> xa(home,x); |
| 48 | GECODE_ES_FAIL(Set::Channel::ChannelSorted<Set::SetView>::post(home,y,xa)); |
| 49 | } |
| 50 | |
| 51 | void |
| 52 | channel(Home home, const IntVarArgs& x, const SetVarArgs& y) { |