org.semanticweb.HermiT.hierarchy
Class HierarchyPrinterFSS.RoleComparator

java.lang.Object
  extended by 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>


Field Summary
static HierarchyPrinterFSS.RoleComparator INSTANCE
           
 
Constructor Summary
protected HierarchyPrinterFSS.RoleComparator()
           
 
Method Summary
 int compare(Role role1, Role role2)
           
protected  AtomicRole getInnerAtomicRole(Role role)
           
protected  int getRoleClass(Role role)
           
protected  int getRoleDirection(Role 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
 

Field Detail

INSTANCE

public static final HierarchyPrinterFSS.RoleComparator INSTANCE
Constructor Detail

HierarchyPrinterFSS.RoleComparator

protected HierarchyPrinterFSS.RoleComparator()
Method Detail

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)