this repo has no description
dekker.one
1include "lex_lesseq_bool.mzn";
2include "lex_lesseq_float.mzn";
3include "lex_lesseq_int.mzn";
4include "lex_lesseq_set.mzn";
5
6/** @group globals.lexicographic
7 Requires that the array \a x is lexicographically less than or equal to
8 array \a y. Compares them from first to last element, regardless of indices.
9*/
10predicate lex_lesseq(array[int] of var bool: x,
11 array[int] of var bool: y) =
12 lex_lesseq_bool(x, y);
13
14/** @group globals.lexicographic
15 Requires that the array \a x is lexicographically less than or equal to
16 array \a y. Compares them from first to last element, regardless of indices.
17*/
18predicate lex_lesseq(array[int] of var float: x,
19 array[int] of var float: y) =
20 lex_lesseq_float(x, y);
21
22/** @group globals.lexicographic
23 Requires that the array \a x is lexicographically less than or equal to
24 array \a y. Compares them from first to last element, regardless of indices.
25*/
26predicate lex_lesseq(array[int] of var int: x,
27 array[int] of var int: y) =
28 lex_lesseq_int(x, y);
29
30/** @group globals.lexicographic
31 Requires that the array \a x is lexicographically less than or equal to
32 array \a y. Compares them from first to last element, regardless of indices.
33*/
34predicate lex_lesseq(array[int] of var set of int: x,
35 array[int] of var set of int: y) =
36 lex_lesseq_set(x, y);
37
38% Alternative names for the above.
39%
40predicate lex_leq(array[int] of var bool: x, array[int] of var bool: y) =
41 lex_lesseq(x, y);
42
43predicate lex_leq(array[int] of var int: x, array[int] of var int: y) =
44 lex_lesseq(x, y);
45
46predicate lex_leq(array[int] of var float: x, array[int] of var float: y) =
47 lex_lesseq(x, y);
48
49predicate lex_leq(array[int] of var set of int: x,
50 array[int] of var set of int: y) =
51 lex_lesseq(x, y);
52