[
library(ordset)
|
The ECLiPSe Libraries
|
Reference Manual
|
Alphabetic Index
]
ord_disjoint(+Set1, +Set2)
Checks whether two sets are disjoint
Set1
A set
Set2
A set
Description
Succeeds when the two ordered sets have no element in common.