this repo has no description
dekker.one
1include "range.mzn";
2
3/** @group globals
4 Returns the image of function \a x (represented as an array) on set
5 of values \a s. ub(\a s) must be a subset of index_set(\a x) otherwise an
6 assertion failure will occur.
7*/
8function var set of int: range(array[int] of var int: x, var set of int: s)
9 ::promise_total =
10 let {
11 var set of lb_array(x)..ub_array(x): t;
12 constraint range(x,s,t);
13 } in t;