org.semanticweb.HermiT.debugger
Class Printing.ConceptComparator

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

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


Nested Class Summary
protected static class Printing.ConceptComparator.ConceptType
           
 
Field Summary
static Printing.ConceptComparator INSTANCE
           
 
Constructor Summary
Printing.ConceptComparator()
           
 
Method Summary
 int compare(Concept c1, Concept c2)
           
protected  Printing.ConceptComparator.ConceptType getConceptType(Concept c)
           
 
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.ConceptComparator INSTANCE
Constructor Detail

Printing.ConceptComparator

public Printing.ConceptComparator()
Method Detail

compare

public int compare(Concept c1,
                   Concept c2)
Specified by:
compare in interface java.util.Comparator<Concept>

getConceptType

protected Printing.ConceptComparator.ConceptType getConceptType(Concept c)