[gecode-users] Element restriction is correctly used in MPG?

[Alejandro.Fernández]

 Hello group.

I have been studying the TSP example that is in the gecode.org site package
and I have the following doubt regarding the element function:

IntVar p0 (* this, 0, n - 1);
element (* this, succ, p0, 0); // here (1)
rel (* this, p0, IRT_LE, succ [0]);

According to 'MPG.pdf' pg. 70 (4.4.12):

element (home, c, x, y) // (2)

Says, variable y to be the element of the array c at index x, then how can
it be possible (1) ???

regards
Alex
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20180217/6ffb57b9/attachment.html>