@Override protected int compareObjectOfSameType(@Nonnull OWLObject object) { int diff = getProperty().compareTo( ((OWLPropertyRangeAxiom<?, ?>) object).getProperty()); if (diff != 0) { return diff; } return getRange().compareTo( ((OWLPropertyRangeAxiom<?, ?>) object).getRange()); } }
final protected int compareObjectOfSameType(OWLObject object) { OWLHasValueRestriction other = (OWLHasValueRestriction) object; int diff = getProperty().compareTo(other.getProperty()); if(diff != 0) { return diff; } return value.compareTo(other.getValue()); } }
@Override protected int compareObjectOfSameType(OWLObject object) { OWLPropertyDomainAxiom<?> other = (OWLPropertyDomainAxiom<?>) object; int diff = getProperty().compareTo(other.getProperty()); if (diff != 0) { return diff; } return domain.compareTo(other.getDomain()); } }
protected int compareObjectOfSameType(OWLObject object) { OWLPropertyDomainAxiom other = (OWLPropertyDomainAxiom) object; int diff = getProperty().compareTo(other.getProperty()); if (diff != 0) { return diff; } return diff = domain.compareTo(other.getDomain()); } }
@Override final protected int compareObjectOfSameType(OWLObject object) { OWLHasValueRestriction<?, ?, ?> other = (OWLHasValueRestriction<?, ?, ?>) object; int diff = getProperty().compareTo(other.getProperty()); if (diff != 0) { return diff; } return value.compareTo(other.getValue()); } }
@Override protected int compareObjectOfSameType(OWLObject object) { OWLPropertyDomainAxiom<?> other = (OWLPropertyDomainAxiom<?>) object; int diff = getProperty().compareTo(other.getProperty()); if (diff != 0) { return diff; } return domain.compareTo(other.getDomain()); } }
final protected int compareObjectOfSameType(OWLObject object) { int diff = getProperty().compareTo(((OWLPropertyRangeAxiom) object).getProperty()); if (diff != 0) { return diff; } return getRange().compareTo(((OWLPropertyRangeAxiom) object).getRange()); } }
protected int compareObjectOfSameType(OWLObject object) { OWLQuantifiedRestriction other = (OWLQuantifiedRestriction) object; int diff = getProperty().compareTo(other.getProperty()); if(diff != 0) { return diff; } return getFiller().compareTo(other.getFiller()); } }
@Override protected int compareObjectOfSameType(OWLObject object) { OWLPropertyAssertionAxiom<?, ?> other = (OWLPropertyAssertionAxiom<?, ?>) object; int diff = subject.compareTo(other.getSubject()); if (diff != 0) { return diff; } diff = property.compareTo(other.getProperty()); if (diff != 0) { return diff; } return o.compareTo(other.getObject()); } }
@Override final protected int compareObjectOfSameType(OWLObject object) { int diff = getProperty().compareTo(((OWLPropertyRangeAxiom<?,?>) object).getProperty()); if (diff != 0) { return diff; } return getRange().compareTo(((OWLPropertyRangeAxiom<?,?>) object).getRange()); } }
final protected int compareObjectOfSameType(OWLObject object) { OWLPropertyAssertionAxiom other = (OWLPropertyAssertionAxiom) object; int diff = subject.compareTo(other.getSubject()); if (diff != 0) { return diff; } diff = property.compareTo(other.getProperty()); if (diff != 0) { return diff; } return object.compareTo(other.getObject()); } }
@Override final protected int compareObjectOfSameType(OWLObject o) { OWLPropertyAssertionAxiom<?,?> other = (OWLPropertyAssertionAxiom<?,?>) o; int diff = subject.compareTo(other.getSubject()); if (diff != 0) { return diff; } diff = property.compareTo(other.getProperty()); if (diff != 0) { return diff; } return o.compareTo(other.getObject()); } }
final protected int compareObjectOfSameType(OWLObject object) { OWLCardinalityRestriction other = (OWLCardinalityRestriction) 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()); } }
@SuppressWarnings("unchecked") @Override final protected int compareObjectOfSameType(OWLObject object) { OWLCardinalityRestriction<R, P, F> other = (OWLCardinalityRestriction<R, P, F>) 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()); } }