I need to express 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)
Is there any solutions for it?
Asked
Active
Viewed 35 times
0
-
Can't you just add corresponding Boolean expressions via simple C++ loop? Check out Boolean expressions and relations section in [documentation](http://www.gecode.org/doc-latest/MPG.pdf) – CaptainTrunky Apr 19 '17 at 05:40
-
the problem it's gonna be n^2 constraints in this case – Solon Apr 19 '17 at 13:19
-
How big are these arrays? – CaptainTrunky Apr 20 '17 at 01:36