org.semanticweb.HermiT.hierarchy
Class DeterministicClassification.TopologicalOrderComparator

java.lang.Object
  extended by org.semanticweb.HermiT.hierarchy.DeterministicClassification.TopologicalOrderComparator
All Implemented Interfaces:
java.util.Comparator<DeterministicClassification.GraphNode<?>>
Enclosing class:
DeterministicClassification

protected static class DeterministicClassification.TopologicalOrderComparator
extends java.lang.Object
implements java.util.Comparator<DeterministicClassification.GraphNode<?>>


Field Summary
static DeterministicClassification.TopologicalOrderComparator INSTANCE
           
 
Constructor Summary
protected DeterministicClassification.TopologicalOrderComparator()
           
 
Method Summary
 int compare(DeterministicClassification.GraphNode<?> o1, DeterministicClassification.GraphNode<?> o2)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface java.util.Comparator
equals
 

Field Detail

INSTANCE

public static final DeterministicClassification.TopologicalOrderComparator INSTANCE
Constructor Detail

DeterministicClassification.TopologicalOrderComparator

protected DeterministicClassification.TopologicalOrderComparator()
Method Detail

compare

public int compare(DeterministicClassification.GraphNode<?> o1,
                   DeterministicClassification.GraphNode<?> o2)
Specified by:
compare in interface java.util.Comparator<DeterministicClassification.GraphNode<?>>