this repo has no description
dekker.one
1include "lex_less.mzn";
2
3/** @group globals.lexicographic
4 Requires that the array \a x is strictly lexicographically greater than
5 array \a y. Compares them from first to last element, regardless of indices.
6*/
7predicate lex_greater(array[int] of var bool: x,
8 array[int] of var bool: y) =
9 lex_less(y, x);
10
11/** @group globals.lexicographic
12 Requires that the array \a x is strictly lexicographically greater than
13 array \a y. Compares them from first to last element, regardless of indices.
14*/
15predicate lex_greater(array[int] of var int: x,
16 array[int] of var int: y) =
17 lex_less(y, x);
18
19/** @group globals.lexicographic
20 Requires that the array \a x is strictly lexicographically greater than
21 array \a y. Compares them from first to last element, regardless of indices.
22*/
23predicate lex_greater(array[int] of var float: x,
24 array[int] of var float: y) =
25 lex_less(y, x);
26
27/** @group globals.lexicographic
28 Requires that the array \a x is strictly lexicographically greater than
29 array \a y. Compares them from first to last element, regardless of indices.
30*/
31predicate lex_greater(array[int] of var set of int: x,
32 array[int] of var set of int: y) =
33 lex_less(y, x);