The MiniZinc handbook defines
predicate set_lt(var set of int: x, var set of int: y)
as follows:
Constrains x < y (lexicographic order)
I assume this means that < should compare f(x) and f(y) lexicographically where f(x) is the sequence of values from x arranged in ascending order.
Please clarify!
The MiniZinc handbook defines
as follows:
I assume this means that
<should compare f(x) and f(y) lexicographically where f(x) is the sequence of values from x arranged in ascending order.Please clarify!