org.semanticweb.HermiT.debugger
Class Printing.FactComparator

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

public static class Printing.FactComparator
extends java.lang.Object
implements java.util.Comparator<java.lang.Object[]>


Field Summary
static Printing.FactComparator INSTANCE
           
 
Constructor Summary
Printing.FactComparator()
           
 
Method Summary
 int compare(java.lang.Object[] o1, java.lang.Object[] 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.FactComparator INSTANCE
Constructor Detail

Printing.FactComparator

public Printing.FactComparator()
Method Detail

compare

public int compare(java.lang.Object[] o1,
                   java.lang.Object[] o2)
Specified by:
compare in interface java.util.Comparator<java.lang.Object[]>