org.semanticweb.HermiT.model
Class DLOntology.IndividualComparator

java.lang.Object
  extended by org.semanticweb.HermiT.model.DLOntology.IndividualComparator
All Implemented Interfaces:
java.io.Serializable, java.util.Comparator<Individual>
Enclosing class:
DLOntology

public static class DLOntology.IndividualComparator
extends java.lang.Object
implements java.io.Serializable, java.util.Comparator<Individual>

See Also:
Serialized Form

Field Summary
static java.util.Comparator<Individual> INSTANCE
           
 
Constructor Summary
DLOntology.IndividualComparator()
           
 
Method Summary
 int compare(Individual o1, Individual o2)
           
protected  java.lang.Object readResolve()
           
 
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 java.util.Comparator<Individual> INSTANCE
Constructor Detail

DLOntology.IndividualComparator

public DLOntology.IndividualComparator()
Method Detail

compare

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

readResolve

protected java.lang.Object readResolve()