Hi, Did you try reification? While not great, it should not be too hard to pull this off. Or am I missing something here?
Best Christian -- Christian Schulte, Professor of Computer Science, KTH, www.ict.kth.se/~cschulte/ -----Original Message----- From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of Uwe Nowak Sent: Thursday, May 23, 2013 3:40 PM To: users@gecode.org Subject: [gecode-users] Problem to formulate a constraint I am a beginner with gecode and have a problem to formulate a constraint. I was looking through all channel constraints, however they do not seem to fit my needs, or I am unable to formulate my needs in the language of the channel constraints. I have the following variables *an IntVar c with a finite set of values {A_1,...,A_n} *an IntVarArray p I have the following fixed parameters For each value A_t I have a finite set of fixed indexed values I_t (e.g, an std::set<int>) A constant B Now I want to formulate the following constraints for(t = 1...n){ c=A_t ==> for all I in I_t: p[i]=B } I thought to create an IntVarArgs of the subset of p with the indices I_t However, than I have tor formulated for an IntVarArgs q_t: for(t = 1...n){ c=A_t ==> For all elements q_t[i]=B } However, I do not find the right expressions to formulate this in gecode... _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
