[ library(ordset) | Reference Manual | Alphabetic Index ]
ord_superset(+Set1, +Set2)
Checks whether Set1 is a superset of Set2
- Set1
- A set
- Set2
- A set
Description
Succeeds when every element of the ordered set Set2 appears
in the ordered set Set1.
Modes and Determinism
- ord_superset(+, +) is semidet
See Also
ord_proper_superset / 2, fd_sets : subset / 2, ic_sets : subset / 2, ic_hybrid_sets : subset / 2, lists : subset / 2, ord_compare / 3