[gecode-users] element constraint

[Alexis Cothenet]

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/9f9e3fba/attachment.htm>