Please read the tip in MPG "Constraint propagation is explicit"!
Christian -- Christian Schulte, www.ict.kth.se/~cschulte/ From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of Alexis Cothenet Sent: Wednesday, April 11, 2012 1:23 PM To: users@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.
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
