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