org.semanticweb.HermiT.tableau
Class DatatypeManager.SmallestEnumerationFirst

java.lang.Object
  extended by org.semanticweb.HermiT.tableau.DatatypeManager.SmallestEnumerationFirst
All Implemented Interfaces:
java.io.Serializable, java.util.Comparator<DatatypeManager.DVariable>
Enclosing class:
DatatypeManager

protected static class DatatypeManager.SmallestEnumerationFirst
extends java.lang.Object
implements java.util.Comparator<DatatypeManager.DVariable>, java.io.Serializable

See Also:
Serialized Form

Field Summary
static java.util.Comparator<DatatypeManager.DVariable> INSTANCE
           
 
Constructor Summary
protected DatatypeManager.SmallestEnumerationFirst()
           
 
Method Summary
 int compare(DatatypeManager.DVariable o1, DatatypeManager.DVariable 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 java.util.Comparator<DatatypeManager.DVariable> INSTANCE
Constructor Detail

DatatypeManager.SmallestEnumerationFirst

protected DatatypeManager.SmallestEnumerationFirst()
Method Detail

compare

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