[ library(ordset) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
ord_intersect(+Set1, +Set2)
Checks whether two sets have a non-empty intersection
- Set1
- A set
- Set2
- A set
Description
Succeeds when the two ordered sets have at least one element
in common. Note that the test is == rather than = .