[gecode-users] element constraint

[Christian Schulte]

Please read the tip in MPG "Constraint propagation is explicit"!

 

Christian

 

--

Christian Schulte, www.ict.kth.se/~cschulte/

 

From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Alexis Cothenet
Sent: Wednesday, April 11, 2012 1:23 PM
To: users at gecode.org
Subject: [gecode-users] element constraint

 

Hi,

I have a question regarding element constraint.
This is a sample code:
IntArgs test (2)
test[0]=999;
test[1]=998;

IntVar lVar1 (*this, 0, 1)
IntVar lVar2 (*this, 990, 999);
element (*this, test, lVar1, lVar2, ICL_DOM).

Doing this, i have the results:
lVar1=[0..1]
lVar2=[990...999]

where i thought i should have:
lVar1=[0..1]
lVar2=[998, 999]

Am i missing something ? Thank you. 

PS: I'm working with 3.7.3 release.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20120411/aa038b29/attachment.htm>