this repo has no description
dekker.one
1include "fzn_range.mzn";
2include "fzn_range_reif.mzn";
3
4/** @group globals
5 Requires that the image of function \a x (represented as an array) on set
6 of values \a s is \a t. ub(\a s) must be a subset of index_set(\a x) otherwise an
7 assertion failure will occur.
8*/
9predicate range(array[int] of var int: x, var set of int: s,
10 var set of int: t) =
11 assert(ub(s) subset index_set(x),
12 "range: upper bound of 's' must be a subset of the index set of 'x'",
13 fzn_range(x, s, t)
14 );