Hi, Thank you for your answer. I have seen this constraint but i don't understand how it could help me since, in my example, Array is not a variable array. If i understand well, what you suggested me if to use something like element (Array, toto1, glob[0]) element (Array, toto2, glob[1]) distinct (glob);
But in my case Array is a simple relationship (a mapping) between values... Alexis 2012/3/12 Christian Schulte <[email protected]> > The constraint you are looking for is called “element” in Gecode > (implementing arrays access with variables).**** > > ** ** > > For a general idea on how to model with Gecode, please check the > documentation.**** > > ** ** > > Christian**** > > ** ** > > --**** > > Christian Schulte, > www.ict.kth.se/~cschulte/<http://www.ict.kth.se/%7Ecschulte/> > **** > > ** ** > > ** ** > > *From:* [email protected] [mailto:[email protected]] *On > Behalf Of *Alexis Cothenet > *Sent:* Monday, March 12, 2012 9:49 AM > *To:* [email protected] > *Subject:* [gecode-users] IntVarArray**** > > ** ** > > Hi all, > > I'm trying to model something with Gecode: > > I'm used with ILOG to add constraints like this: > > I have 2 variables for example : > IntVar toto1 ([0,1,2]) > IntVar toto2 ([0,2]). > > > I have a relationship with the preceding domain values : > Array [0] = 8 > Array [1] = 9 > Array [2] = 8 > > I have an intVarArray: > IntVarArray glob; > glob << Array [toto1] (domain = [8,9]) > glob << Array [toto2] (domain = [8]) > > And add constraint: > distinct (glob); > > So that it constrains glob[0] ->[9] and so it constrains toto1->[1] > > Could you explain me how i could model it with Gecode ? > > Thank you. > Best regards, > Alexis**** >
_______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
