org.semanticweb.HermiT.tableau
Class DatatypeManager.SmallestEnumerationFirst
java.lang.Object
org.semanticweb.HermiT.tableau.DatatypeManager.SmallestEnumerationFirst
- All Implemented Interfaces:
- Serializable, Comparator<DatatypeManager.DVariable>
- Enclosing class:
- DatatypeManager
protected static class DatatypeManager.SmallestEnumerationFirst
- extends Object
- implements Comparator<DatatypeManager.DVariable>, Serializable
- See Also:
- Serialized Form
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
INSTANCE
public static final Comparator<DatatypeManager.DVariable> INSTANCE
DatatypeManager.SmallestEnumerationFirst
protected DatatypeManager.SmallestEnumerationFirst()
compare
public int compare(DatatypeManager.DVariable o1,
DatatypeManager.DVariable o2)
- Specified by:
compare
in interface Comparator<DatatypeManager.DVariable>
Copyright © 2012. All Rights Reserved.