Eu tenho a seguinte função em Minizinc:
function var int: DefinitelyVisited(array[int] of var int: S) = forall( i in index_set(S) ) ( S[i] == 1 );
Essa função está retornando um inteiro, mas eu preciso que ela retorne um array. Alguém sabe como faço isso?