this repo has no description
dekker.one
1include "fzn_strictly_increasing_int.mzn";
2include "fzn_strictly_increasing_int_reif.mzn";
3include "fzn_strictly_increasing_bool.mzn";
4include "fzn_strictly_increasing_bool_reif.mzn";
5include "analyse_all_different.mzn";
6
7%-----------------------------------------------------------------------------%
8% Requires that the array 'x' is in strict increasing order
9%-----------------------------------------------------------------------------%
10
11predicate strictly_increasing(array[int] of var bool: x) =
12 analyse_all_different(x) /\
13 fzn_strictly_increasing_bool(x);
14
15predicate strictly_increasing_reif(array[int] of var bool: x, var bool: b) =
16 fzn_strictly_increasing_bool_reif(x,b);
17
18predicate strictly_increasing(array[int] of var int: x) =
19 analyse_all_different(x) /\
20 fzn_strictly_increasing_int(x);
21
22predicate strictly_increasing_reif(array[int] of var int: x, var bool: b) =
23 fzn_strictly_increasing_int_reif(x,b);
24