I have a question about the following constraint:
Index Domain: (i,s)|(val(s)>=3 AND val(s)<=par(i))
Definition: sum[t|(t>=s and t<=s+3 ), Donvar(i,t)]<=4
Thus for all i and s ( of which the largest value that s should take depends also on i) the constraint must hold
However I obtained the following error:
The set "Time" of "t" is not the same as the set "Extra" of "s".
I can only figure out that the error occurs when the necessary condition (t>=s and t<=s+3 ) is included. But I need this condition since the bounds of the sum depend on s ( and thus on i)
Can anyone tell me what this error means and how I can solve it?
Thanks in advance