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[]>

FactComparator.

Field Summary

Fields

Modifier and Type	Field and Description
static Printing.FactComparator	INSTANCE instance

Constructor Summary

Constructors

Constructor and Description
FactComparator()

Method Summary

Modifier and Type	Method and Description
int	compare(Object[] o1, Object[] o2)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.util.Comparator

comparing, comparing, comparingDouble, comparingInt, comparingLong, equals, naturalOrder, nullsFirst, nullsLast, reversed, reverseOrder, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLong

Field Detail

INSTANCE

public static final Printing.FactComparator INSTANCE

instance

Constructor Detail

FactComparator

public FactComparator()

Method Detail

compare

public int compare(Object[] o1,
                   Object[] o2)

Specified by:

compare in interface Comparator<Object[]>