this repo has no description
dekker.one
1include "member_bool.mzn";
2include "member_float.mzn";
3include "member_int.mzn";
4include "member_set.mzn";
5include "set_member.mzn";
6
7/** @group globals
8 Requires that \a y occurs in the array \a x.
9*/
10predicate member(array[int] of var bool: x, var bool: y) =
11 member_bool(x, y);
12
13/** @group globals
14 Requires that \a y occurs in the array \a x.
15*/
16predicate member(array[int] of var float: x, var float: y) =
17 member_float(x, y);
18
19/** @group globals
20 Requires that \a y occurs in the array \a x.
21*/
22predicate member(array[int] of var int: x, var int: y) =
23 member_int(x, y);
24
25/** @group globals
26 Requires that \a y occurs in the array \a x.
27*/
28predicate member(array[int] of var set of int: x, var set of int: y) =
29 member_set(x, y);
30
31/** @group globals
32 Requires that \a y occurs in the set \a x.
33*/
34predicate member(var set of int: x, var int: y) =
35 set_member(x, y);