@Override default Stream<?> components() { return Stream.of(getProperty(), getFiller()); }
@Override default Stream<?> components() { return Stream.of(getProperty(), getFiller()); }
@Override default Stream<?> components() { return Stream.of(getProperty(), getFiller()); }
@Override default int initHashCode() { int hash = hashIndex(); hash = OWLObject.hashIteration(hash, getProperty().hashCode()); return OWLObject.hashIteration(hash, getFiller().hashCode()); }
@Override default int initHashCode() { int hash = hashIndex(); hash = OWLObject.hashIteration(hash, getProperty().hashCode()); return OWLObject.hashIteration(hash, getFiller().hashCode()); }
@Override default int initHashCode() { int hash = hashIndex(); hash = OWLObject.hashIteration(hash, getProperty().hashCode()); return OWLObject.hashIteration(hash, getFiller().hashCode()); }
private <R extends OWLPropertyRange, P extends OWLPropertyExpression<R, P>, V extends OWLObject> void writeRestriction(OWLHasValueRestriction<R, P, V> restriction) { restriction.getProperty().accept(this); write(VALUE); restriction.getValue().accept(this); }
private void renderHasValueRestriction(OWLHasValueRestriction<?> restriction) { restriction.getProperty().accept(this); renderKeywordWithSpaces(ManchesterOWLSyntax.VALUE); restriction.getValue().accept(this); }
@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()); } }
private void renderHasValueRestriction(OWLHasValueRestriction<?, ?, ?> restriction) { restriction.getProperty().accept(this); renderKeywordWithSpaces(ManchesterOWLSyntax.VALUE); restriction.getValue().accept(this); }
private void renderHasValueRestriction(OWLHasValueRestriction<?> restriction) { restriction.getProperty().accept(this); renderKeywordWithSpaces(ManchesterOWLSyntax.VALUE); restriction.getValue().accept(this); }
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()); } }
private void writeRestriction(OWLHasValueRestriction restriction) { restriction.getProperty().accept(this); write(VALUE); restriction.getValue().accept(this); }
private void renderRestriction(OWLHasValueRestriction<?> ce, ManchesterOWLSyntax keyword) { ce.getProperty().accept(this); renderBinaryKeyword(keyword); increaseDepth(); renderBracketed(ce.getValue()); decreaseDepth(); }
private void writeValueRestriction(OWLHasValueRestriction restriction) { write(EXISTS); writeSpace(); restriction.getProperty().accept(this); writeRestrictionSeparator(); write("{"); restriction.getValue().accept(this); write("}"); }
private <R extends OWLPropertyRange, P extends OWLPropertyExpression<R, P>, V extends OWLObject> void writeValueRestriction(OWLHasValueRestriction<R, P, V> restriction) { write(EXISTS); writeSpace(); restriction.getProperty().accept(this); writeRestrictionSeparator(); write("{"); restriction.getValue().accept(this); write("}"); }