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