edu.rice.cs.plt.collect
Interface Order<T>
- All Superinterfaces:
- Predicate2<T,T>
- All Known Implementing Classes:
- TotalOrder
public interface Order<T>
- extends Predicate2<T,T>
A reflexive, transitive relation, represented as a predicate. The invocation
order.contains(x, y) is true iff x precedes y in the
order being represented. Implementations are, by definition, preorders, and may be partial
orders (if antisymmetric) or total orders (if antisymmetric and total). In contrast,
Comparator only represents total orders.