this repo has no description
dekker.one
1include "table_bool.mzn";
2include "table_int.mzn";
3
4/** @group globals.extensional
5 Represents the constraint \a x in \a t where we
6 consider each row in \a t to be a tuple and \a t as a set of tuples.
7*/
8predicate table(array[int] of var bool: x, array[int, int] of bool: t) =
9 assert (index_set_2of2(t) == index_set(x),
10 "The second dimension of the table must equal the number of variables "
11 ++ "in the first argument",
12 table_bool(x, t)
13 );
14
15/** @group globals.extensional
16 Represents the constraint \a x in \a t where we
17 consider each row in \a t to be a tuple and \a t as a set of tuples.
18*/
19predicate table(array[int] of var int: x, array[int, int] of int: t) =
20 assert (index_set_2of2(t) == index_set(x),
21 "The second dimension of the table must equal the number of variables "
22 ++ "in the first argument",
23 table_int(x, t)
24 );