Q:Is itpossible to define a union of disjoint lists? Example: x[0..9] <- list(30); y[i in 0..4] <- union(x[i], x[2*i+1]); so that for [i in 0..4][k in 0..29] contains(y[i], k) == max(contains(x[i],k),
Q: Is it possible too loop over elements of alist and use the values as indices? Example: A[0..29] = inFile.readInt(); x <- list(30); // some constraints for x result <- sum[i in x](A[i]); maximize re
Q:Is itpossible to define an intersection of lists? Example: x[0..9] <- list(30); y[i in 0..4] <- intersection(x[i], x[2*i+1]); so that for [i in 0..4][k in 0..29] contains(y[i], k) == min(contains(x[