[gecode-users] question about 'element' constraint

[Stefano Gualandi]

Hi,
I am observing a strange behavior with the element constraint with 
domain consistency, when the vector is an array of variables (i.e., 
using doc notation: x_y0 = y1). For instance, in the attached script, 
it enlarges the domain of y1.

Any hints?

Please notice, that it works if we use bound consistency (ICL_BND).

thanks in advance,
Stefano

-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: element_test.cpp
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20051116/0db55af8/attachment.asc>
-------------- next part --------------