4.2.2.7. Set-related constraints¶
In this section: disjoint, partition_set, roots.
disjoint¶
predicate disjoint(var set of $$E: s1, var set of $$E: s2)
|
| Requires that sets s1 and s2 do not intersect. |
partition_set¶
predicate partition_set(array [int] of var set of $$E: S,
set of $$E: universe)
|
| Constrains the sets in array S to partition the universe. |
roots¶
1. predicate roots(array [$$X] of var $$Y: x,
var set of $$X: s,
var set of $$Y: t)
2. function var set of $$X: roots(array [$$X] of var $$Y: x,
var set of $$Y: t)
|
|