-
Notifications
You must be signed in to change notification settings - Fork 78
/
count_gt.mzn
25 lines (21 loc) · 918 Bytes
/
count_gt.mzn
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
include "fzn_count_gt_par.mzn";
include "fzn_count_gt.mzn";
include "fzn_count_gt_par_reif.mzn";
include "fzn_count_gt_reif.mzn";
/** @group globals.counting
Constrains \a c to be strictly greater than the number of occurrences
of \a y in \a x.
*/
predicate count_gt(array[$X] of var int: x, var int: y, var int: c) =
fzn_count_gt(array1d(x),y,c);
/** @group globals.counting
Constrains \a c to be strictly greater than the number of occurrences
of \a y in \a x.
*/
predicate count_gt(array[$X] of var int: x, int: y, int: c) =
fzn_count_gt_par(array1d(x),y,c);
predicate count_gt_reif(array[$X] of var int: x, var int: y, var int: c, var bool: b) =
fzn_count_gt_reif(array1d(x),y,c,b);
predicate count_gt_reif(array[$X] of var int: x, int: y, int: c, var bool: b) =
fzn_count_gt_par_reif(array1d(x),y,c,b);
%-----------------------------------------------------------------------------%