Views are described in
http://www.gecode.org/papers/SchulteTack_Advances_2006.pdf
http://www.gecode.org/~schulte/paper.html?id=SchulteTack:CP:2014
It should be possible to define an absolute value view on an integer
variable, and specify allDifferent on an array of such views. Don't yet
know enough about the specific syntax in Gecode to help you, but others
on this list will...
On 10/25/14, 10:00 AM, Bouchene Sabrina wrote:
Hi,
Please, can you explain me what do you mean by using view on integer
variables to write the folowing constraint : distinct(*this, |/l /|) ?.
thank you in advance.
Best regards.
_______________________________________________
Gecode users mailing list
[email protected]
https://www.gecode.org/mailman/listinfo/gecode-users
_______________________________________________
Gecode users mailing list
[email protected]
https://www.gecode.org/mailman/listinfo/gecode-users
