[ library(ordset) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
ord_union(+Set1, +Set2, ?Union)
Computes the union of Set1 and Set2
- Set1
- A set
- Set2
- A set
- Union
- A set or variable
Description
Succeeds when Union is the union of Set1 and Set2. Note that when
something occurs in both sets, we want to retain only one copy.