public class PositionBasedVariableComparator extends Object implements Comparator<Variable<?>>
| Constructor and Description |
|---|
PositionBasedVariableComparator(org.semanticweb.owlapi.model.OWLObject container,
org.semanticweb.owlapi.model.OWLDataFactory dataFactory) |
| Modifier and Type | Method and Description |
|---|---|
int |
compare(Variable<?> aVariable,
Variable<?> anotherVariable) |
org.semanticweb.owlapi.model.OWLObject |
getContainer() |
org.semanticweb.owlapi.model.OWLDataFactory |
getDataFactory() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitcomparing, comparing, comparingDouble, comparingInt, comparingLong, equals, naturalOrder, nullsFirst, nullsLast, reversed, reverseOrder, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLongpublic PositionBasedVariableComparator(org.semanticweb.owlapi.model.OWLObject container,
org.semanticweb.owlapi.model.OWLDataFactory dataFactory)
container - containerdataFactory - dataFactorypublic int compare(Variable<?> aVariable, Variable<?> anotherVariable)
compare in interface Comparator<Variable<?>>public org.semanticweb.owlapi.model.OWLObject getContainer()
public org.semanticweb.owlapi.model.OWLDataFactory getDataFactory()
Copyright © 2015 The University of Manchester. All Rights Reserved.