1predicate fzn_write(array[int] of var int: I, var int: i, var int: v, 2 array[int] of var int: O) = 3 forall(j in index_set(I)) 4 (O[j] = if j = i then v else I[j] endif); 5 6%-----------------------------------------------------------------------------%
dekker.one