[gecode-users] "Mapping" constraint

[Christian Schulte]

Hi,

 

Unfortunately not, you will have to resort to reification to model that.

 

Best

Christian

 

--

Christian Schulte, www.gecode.org/~schulte

Professor of Computer Science, KTH, cschulte at kth.se

Expert Researcher, RISE SICS, christian.schulte at ri.se

 

From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf Of ?????? ???????
Sent: Monday, April 17, 2017 19:41
To: users at gecode.org
Subject: [gecode-users] "Mapping" constraint

 

Is there are any solution for such a constraint:  for 2 integer Arrays of the same size

x_i = x_j => y_i = y_j

in other words, there is an integer function such

x = f(y)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20170418/f6e61a7b/attachment.html>