I have the following function in Minizinc:
function var int: DefinitelyVisited(array[int] of var int: S) = forall( i in index_set(S) ) ( S[i] == 1 );
This function is returning an integer, but I need it to return an array. Anyone know how I do this?