[gecode-users] Sum of IntVarArrays with changing array positions

[Guido Tack]

On Thu, Oct 13, 2011 at 2:42 PM, Mathias Dalheimer
<dalheimer at itwm.fhg.de> wrote:
>> for (int j=0; j < _dev0.size(); ++j) { rel(*this, _dev0[j] ==
>> element(_dev0_load, _start_times[0] + j)); }
>
> If you don't mind, I have another question: Why does the oder matter? My
> interpretation of MPG p.87, "Figure 6.1: Integer expressions and
> relations" is that the order is not relevant. What am I missing?

It's not the order, it's the difference between x[j]==y[m+j] versus
y[j]==x[m+j].

Guido