[ library(ordset) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
ord_intersect(+Set1, +Set2, ?Intersection)
Computes the intersection of two sets
- Set1
- A set
- Set2
- A set
- Intersection
- A set
Description
Succeeds when Intersection is the intersection of Set1
and Set2, provided that Set1 and Set2 are ordered sets.