org.semanticweb.HermiT.hierarchy
Class HierarchyDumperFSS.ObjectRoleComparator

java.lang.Object
  extended by org.semanticweb.HermiT.hierarchy.HierarchyDumperFSS.ObjectRoleComparator
All Implemented Interfaces:
java.util.Comparator<Role>
Enclosing class:
HierarchyDumperFSS

protected static class HierarchyDumperFSS.ObjectRoleComparator
extends java.lang.Object
implements java.util.Comparator<Role>


Field Summary
static HierarchyDumperFSS.ObjectRoleComparator INSTANCE
           
 
Constructor Summary
protected HierarchyDumperFSS.ObjectRoleComparator()
           
 
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 HierarchyDumperFSS.ObjectRoleComparator INSTANCE
Constructor Detail

HierarchyDumperFSS.ObjectRoleComparator

protected HierarchyDumperFSS.ObjectRoleComparator()
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)