protected int compareObjectOfSameType(OWLObject object) { OWLAnnotationPropertyDomainAxiom other = (OWLAnnotationPropertyDomainAxiom) object; int diff = property.compareTo(other.getProperty()); if (diff != 0) { return diff; } return domain.compareTo(other.getDomain()); }
@Override protected int compareObjectOfSameType(OWLObject object) { OWLAnnotationPropertyRangeAxiom other = (OWLAnnotationPropertyRangeAxiom) object; int diff = property.compareTo(other.getProperty()); if (diff != 0) { return diff; } return range.compareTo(other.getRange()); }