[gecode-users] question about 'element' constraint

[Christian Schulte]

Hi,

which version do you use.

Christian

--
Christian Schulte, http://www.imit.kth.se/~schulte/ 

-----Original Message-----
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Stefano Gualandi
Sent: Wednesday, November 16, 2005 4:46 PM
To: users at gecode.org
Subject: [gecode-users] question about 'element' constraint


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