this repo has no description
dekker.one
1include "fzn_write.mzn";
2include "fzn_write_reif.mzn";
3
4/** @group globals.array
5 Creates a new array \a O from an input array \a I with a change at position \a i to take value \a v
6
7 \a I is an array of integers
8 \a O is an array of integers with same index set as \a I
9 \a i is an index for \a I
10 \a v is an integer value
11*/
12predicate write(array[int] of var int: I, var int: i, var int: v,
13 array[int] of var int: O) =
14 assert(index_set(O) = index_set(I),"writet: index set of I must be same as O") /\
15 fzn_write(I, i, v, O);
16
17function array[int] of var int: write(array[int] of var int: I, var int: i, var int: v) =
18 let { array[index_set(I)] of var int: O;
19 constraint fzn_write(I,i,v,O); }
20 in O;
21
22%-----------------------------------------------------------------------------%