org.semanticweb.HermiT.debugger
Class Printing.NodeComparator

java.lang.Object
  extended by org.semanticweb.HermiT.debugger.Printing.NodeComparator
All Implemented Interfaces:
java.util.Comparator<Node>
Enclosing class:
Printing

protected static class Printing.NodeComparator
extends java.lang.Object
implements java.util.Comparator<Node>


Field Summary
static Printing.NodeComparator INSTANCE
           
 
Constructor Summary
protected Printing.NodeComparator()
           
 
Method Summary
 int compare(Node o1, Node o2)
           
 
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 Printing.NodeComparator INSTANCE
Constructor Detail

Printing.NodeComparator

protected Printing.NodeComparator()
Method Detail

compare

public int compare(Node o1,
                   Node o2)
Specified by:
compare in interface java.util.Comparator<Node>