[gecode-users] channeling set variables with an array of boolean variables

[Farshid Hassani Bijarbooneh]

Hi,

I have a small code attached to channel a set variable y= {0,1,2} with an array of 3 boolean variables x_1, x_2, and x_3. I would expect only one solution to this problem, but I get all the possible 8 solutions. Could you please let me know if this is an expected results, and if there is something special about the way this channeling works. 

-------------- next part --------------
A non-text attachment was scrubbed...
Name: channeltest.cpp
Type: application/octet-stream
Size: 1294 bytes
Desc: not available
URL: <http://www.gecode.org/pipermail/users/attachments/20141214/f9abd3be/attachment.obj>
-------------- next part --------------


Best regards,
Farshid