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