public class OWLObjectComparator extends Object implements Comparator<OWLObject>
OWLObject
instances. OWLEntity instances are
sorted according to their short forms.Constructor and Description |
---|
OWLObjectComparator(ShortFormProvider shortFormProvider) |
Modifier and Type | Method and Description |
---|---|
int |
compare(OWLObject o1,
OWLObject o2) |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
comparing, comparing, comparingDouble, comparingInt, comparingLong, equals, naturalOrder, nullsFirst, nullsLast, reversed, reverseOrder, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLong
public OWLObjectComparator(@Nonnull ShortFormProvider shortFormProvider)
shortFormProvider
- short form provider to usepublic int compare(OWLObject o1, OWLObject o2)
compare
in interface Comparator<OWLObject>
Copyright © 2020 The University of Manchester. All rights reserved.