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

ord_intersection(+Set1, +Set2, -Intersection, -Only1, -Only2)

Computes the intersection and the differences of two sets
Set1
A set
Set2
A set
Intersection
A variable or set
Only1
A variable or set
Only2
A variable or set

Description

Succeeds when Intersection is the intersection of the ordered sets Set1 and Set2, Only1 is the set of elements that are only in Set1, and Only2 is the set of elements that are only in Set2.

Modes and Determinism

See Also

ord_intersection / 3, ord_subtract / 3, ord_symdiff / 3