[gecode-users] New gecode version desiderata: channeling between set variables

[Denys Duchier]

"Christian Schulte" <cschulte at kth.se> writes:

> Sounds like a pretty good idea. I'll leave it to Guido as the master of set
> variables (he is away right now).
> [...]
>> From: Luca Di Gaspero <l.digaspero at uniud.it>
>> [...]
>> would it be possible to have channeling constraints between SetVarArrays in
>> the new gecode version. Even though they are just implemented with
>> decomposition they would be extremely useful in modeling (and in teaching). 
>> The constraints I am thinking about are of the form:
>>
>> i \in SetA_j \iff j \in SetB_i

Here you go:

-------------- next part --------------
A non-text attachment was scrubbed...
Name: channelset.patch
Type: text/x-patch
Size: 8432 bytes
Desc: channeling between setvarargs
URL: <http://www.gecode.org/pipermail/users/attachments/20111029/8ce796f1/attachment.bin>
-------------- next part --------------

Cheers,

--Denys

PS: Guido, you might want to shuffle the code to different files. I just
wasn't sure where to put it.