検索

Q: How tomake a constraint that an array of lists is disjoint?

Q:How tomake a constraint that an array of lists is disjoint?

Example:

x[0..9] <- list(30);

constraint disjoint(x);

A:Your example is correct. This means are all 10lists in x are pairwise disjoints.

最新記事

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...

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); //...

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...