this repo has no description
dekker.one
1include "value_precede_chain_int.mzn";
2include "value_precede_chain_set.mzn";
3
4/** @group globals.lexicographic
5 Requires that \a c[\p i] precedes \a c[\p i +1] in the array \a x.
6
7 Precedence means that if any element of \a x
8 is equal to \a c[\p i +1], then another element of \a x with a lower index is equal
9 to \a c[\p i].
10*/
11predicate value_precede_chain(array[int] of int: c, array[int] of var int: x) =
12 value_precede_chain_int(c, x);
13
14/** @group globals.lexicographic
15 Requires that \a c[\p i] precedes \a c[\p i +1] in the array \a x.
16
17 Precedence means that if an element of \a x
18 contains \a c[\p i +1] but not \a c[\p i], then another element of \a x with lower index contains
19 \a c[\p i] but not \a c[\p i +1].
20*/
21predicate value_precede_chain(array[int] of int: c, array[int] of var set of int: x) =
22 value_precede_chain_set(c, x);