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

ord_compare(-Rel, +Set1, +Set2)

Rel is the ordering relationship between Set1 and Set2
Rel
A variable or an atom
Set1
A set
Set2
A set

Description

Rel is the ordering relationship between Set1 and Set2. Rel is one of the atoms =, > or <
	=    The sets are identical (in the sense of ==/2)
	>    Set1 is a proper superset of Set2
	<    Set1 is a proper subset of Set2
	
Otherwise the predicate fails.

Modes and Determinism

Fail Conditions

Fails if the sets are not comparable

See Also

@< / 2, ord_seteq / 2, ord_proper_subset / 2, ord_proper_superset / 2