top of page

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.

最新記事

すべて表示
bottom of page