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