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

ord_union(+Set1, +Set2, -Union, -New)

Computes the union and difference of Set2 and Set1
Set1
A set
Set2
A set
Union
A set or variable
New
A set or variable

Description

Succeeds when Union is the union of Set1 and Set2, and New is the set of elements that are in Set2 but not in Set1. This is useful in order to know which elements were newly added when incrementally merging sets.

Modes and Determinism

See Also

ord_disjoint_union / 3, ord_union / 3, ord_union / 2