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
