public class FiniteSpaceComparator<E extends java.lang.Comparable<E>> extends java.lang.Object implements java.util.Comparator<>
Constructor and Description |
---|
FiniteSpaceComparator() |
Modifier and Type | Method and Description |
---|---|
int |
compare(
Returns the compare-value of two finite topological spaces with respect to lexicographical
ordering: a positive value if the second space is before the first
space, a negative value if the space is before the second
space, and zero if both are the same.
|
int |
compare( |
int |
pairCompare(java.util.TreeSet< |
public int compare(space1, space2)
compare
in interface java.util.Comparator<>
E
- space typespace1
- first topological spacespace2
- second topological spacepublic int pairCompare(java.util.TreeSet<> treeSet1, java.util.TreeSet< > treeSet2)
public int compare(pair1, pair2)
compare
in interface java.util.Comparator<>