org.semanticweb.HermiT.hierarchy
Class HierarchyPrinterFSS.RoleComparator
java.lang.Object
org.semanticweb.HermiT.hierarchy.HierarchyPrinterFSS.RoleComparator
- All Implemented Interfaces:
- java.util.Comparator<Role>
- Enclosing class:
- HierarchyPrinterFSS
protected static class HierarchyPrinterFSS.RoleComparator
- extends java.lang.Object
- implements java.util.Comparator<Role>
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 |
INSTANCE
public static final HierarchyPrinterFSS.RoleComparator INSTANCE
HierarchyPrinterFSS.RoleComparator
protected HierarchyPrinterFSS.RoleComparator()
compare
public int compare(Role role1,
Role role2)
- Specified by:
compare
in interface java.util.Comparator<Role>
getRoleClass
protected int getRoleClass(Role role)
getInnerAtomicRole
protected AtomicRole getInnerAtomicRole(Role role)
getRoleDirection
protected int getRoleDirection(Role role)