@Override protected int compareObjectOfSameType(OWLObject object) { return getProperty().compareTo( ((OWLFunctionalDataPropertyAxiom) object).getProperty()); }
@Override protected int compareObjectOfSameType(OWLObject object) { return getProperty().compareTo(((OWLFunctionalDataPropertyAxiom) object).getProperty()); }
protected int compareObjectOfSameType(OWLObject object) { return getProperty().compareTo(((OWLFunctionalDataPropertyAxiom) object).getProperty()); }
@Override protected int compareObjectOfSameType(OWLObject object) { OWLDataHasValue other = (OWLDataHasValue) object; int diff = getProperty().compareTo(other.getProperty()); if (diff != 0) { return diff; } return value.compareTo(other.getFiller()); }
@Override protected int compareObjectOfSameType(OWLObject object) { @SuppressWarnings("unchecked") OWLQuantifiedRestriction<OWLDataRange, OWLDataPropertyExpression, OWLDataRange> other = (OWLQuantifiedRestriction<OWLDataRange, OWLDataPropertyExpression, OWLDataRange>) object; OWLDataPropertyExpression p1 = this.getProperty(); OWLDataPropertyExpression p2 = other.getProperty(); int diff = p1.compareTo(p2); if (diff != 0) { return diff; } return getFiller().compareTo(other.getFiller()); } }
@Override protected int compareObjectOfSameType(OWLObject object) { OWLQuantifiedDataRestriction other = (OWLQuantifiedDataRestriction) object; OWLDataPropertyExpression p1 = getProperty(); OWLDataPropertyExpression p2 = other.getProperty(); int diff = p1.compareTo(p2); if (diff != 0) { return diff; } return getFiller().compareTo(other.getFiller()); }
@Override protected int compareObjectOfSameType(OWLObject object) { OWLDataCardinalityRestriction other = (OWLDataCardinalityRestriction) object; int diff = getProperty().compareTo(other.getProperty()); if (diff != 0) { return diff; } diff = getCardinality() - other.getCardinality(); if (diff != 0) { return diff; } return getFiller().compareTo(other.getFiller()); } }