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