Hi! In the reference manual,
http://www.gecode.org/doc- latest/reference/group__TaskModelSetConnect.html#ga1bde4fb2947a0b93cf248e75e078969e it says that channel(IntVarArgs x, SetVar s) posts the propagator for { x_1,...,x_{n-1} } = y and x_i < x_{i-1} 1. I'm not sure I'm getting the correct meaning. This means that the propagator also forces x to be sorted in increasing order, right? 2. If 1 is correct, then what is the most efficient way of enforcing a similar constraint but without the requirement that x is sorted? Should I use the sort global constraint on x to map it to an xsorted and then channel xsorted instead? 3. I guess there is a typo in the reference manual. In the latex expression it refers to y, where the constraint says the SetVar arg is called s. Thanks! Marco -- Marco Correia <[email protected]> _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
