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