[ library(ordset) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

ord_disjoint_union(+Set1, +Set2, -Union)

Computes the union of Set1 and Set2 when they are disjoint
Set1
A set
Set2
A set
Union
A set or variable

Description

Succeeds when Union is the union of disjoint sets Set1 and Set2. Fails if Set1 and Set2 are not disjoint, i.e. if they have a non-empty intersection.

Modes and Determinism

Fail Conditions

Fails if the sets are not disjoint

See Also

ord_union / 4, ord_union / 2