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, <http://www.ict.kth.se/~cschulte/> www.ict.kth.se/~cschulte/ 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
