org.semanticweb.HermiT.debugger
Class Printing.RoleComparator
java.lang.Object
org.semanticweb.HermiT.debugger.Printing.RoleComparator
- All Implemented Interfaces:
- Comparator<Role>
- Enclosing class:
- Printing
protected static class Printing.RoleComparator
- extends Object
- implements Comparator<Role>
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
INSTANCE
public static final Printing.RoleComparator INSTANCE
Printing.RoleComparator
protected Printing.RoleComparator()
compare
public int compare(Role ar1,
Role ar2)
- Specified by:
compare
in interface Comparator<Role>
getRoleType
protected int getRoleType(Role ar)
Copyright © 2012. All Rights Reserved.