0

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?

Improve this question
3
  • Can't you just add corresponding Boolean expressions via simple C++ loop? Check out Boolean expressions and relations section in documentation Commented Apr 19, 2017 at 5:40
  • the problem it's gonna be n^2 constraints in this case Commented Apr 19, 2017 at 13:19
  • How big are these arrays? Commented Apr 20, 2017 at 1:36
Related questions
4
how to implement a 'nested' cost function in Gecode?
1
How to constrain a variable depending on the value of an other variable in Gecode
8
How can I use restricted constraints with GADTs?
Load 7 more related questions Show fewer related questions

0

Reset to default

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.