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
