org.semanticweb.HermiT.debugger

Class Printing.ConceptComparator

java.lang.Object

org.semanticweb.HermiT.debugger.Printing.ConceptComparator

All Implemented Interfaces:

Comparator<Concept>

Enclosing class:

Printing

public static class Printing.ConceptComparator
extends Object
implements Comparator<Concept>

ConceptComparator

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor and Description
ConceptComparator()

Method Summary

Modifier and Type	Method and Description
int	compare(Concept c1, Concept c2)

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.ConceptComparator INSTANCE

instance

Constructor Detail

ConceptComparator

public ConceptComparator()

Method Detail

compare

public int compare(Concept c1,
                   Concept c2)

Specified by:

compare in interface Comparator<Concept>