@Override public ElkPropertyInclusionHierarchy getElkPropertyInclusionHierarchy( ElkSubObjectPropertyExpression subExpression, List<? extends ElkObjectPropertyExpression> expressions) { return new ElkPropertyInclusionHierarchy(subExpression, expressions); }
@Override public Boolean visit(ElkPropertyInclusionHierarchy other) { return equals(other.getSubExpression(), inference.getSubExpression()) && equals(other.getExpressions(), inference.getExpressions()); } });
@Override public ElkSubObjectPropertyOfAxiom getPremise(int index, ElkObject.Factory factory) { checkPremiseIndex(index); // else if (index == 0) { return factory.getSubObjectPropertyOfAxiom(subExpression_, expressions_.get(0)); } // else index > 0 return factory.getSubObjectPropertyOfAxiom(expressions_.get(index - 1), expressions_.get(index)); }
@Override public ElkSubObjectPropertyOfAxiom getPremise(int index, ElkObject.Factory factory) { checkPremiseIndex(index); // else if (index == 0) { return factory.getSubObjectPropertyOfAxiom(subExpression_, expressions_.get(0)); } // else index > 0 return factory.getSubObjectPropertyOfAxiom(expressions_.get(index - 1), expressions_.get(index)); }
@Override public Boolean visit(ElkPropertyInclusionHierarchy other) { return equals(other.getSubExpression(), inference.getSubExpression()) && equals(other.getExpressions(), inference.getExpressions()); } });
@Override public ElkPropertyInclusionHierarchy getElkPropertyInclusionHierarchy( ElkSubObjectPropertyExpression subExpression, ElkObjectPropertyExpression... expressions) { return new ElkPropertyInclusionHierarchy(subExpression, expressions); }
@Override public ElkSubObjectPropertyOfAxiom getPremise(int index, ElkObject.Factory factory) { checkPremiseIndex(index); // else if (index == 0) { return factory.getSubObjectPropertyOfAxiom(subExpression_, expressions_.get(0)); } // else index > 0 return factory.getSubObjectPropertyOfAxiom(expressions_.get(index - 1), expressions_.get(index)); }
@Override public Boolean visit(ElkPropertyInclusionHierarchy other) { return equals(other.getSubExpression(), inference.getSubExpression()) && equals(other.getExpressions(), inference.getExpressions()); } });
@Override public ElkPropertyInclusionHierarchy getElkPropertyInclusionHierarchy( ElkSubObjectPropertyExpression subExpression, ElkObjectPropertyExpression... expressions) { return new ElkPropertyInclusionHierarchy(subExpression, expressions); }
@Override public ElkPropertyInclusionHierarchy visit( final ElkPropertyInclusionHierarchy inference) { final int hierarchySize = inference.getExpressions().size(); return inference.getSubExpression().accept( new ElkSubObjectPropertyExpressionVisitor<ElkPropertyInclusionHierarchy>() {
@Override public ElkPropertyInclusionHierarchy getElkPropertyInclusionHierarchy( ElkSubObjectPropertyExpression subExpression, List<? extends ElkObjectPropertyExpression> expressions) { return new ElkPropertyInclusionHierarchy(subExpression, expressions); }
@Override public ElkPropertyInclusionHierarchy visit( final ElkPropertyInclusionHierarchy inference) { final int hierarchySize = inference.getExpressions().size(); return inference.getSubExpression().accept( new ElkSubObjectPropertyExpressionVisitor<ElkPropertyInclusionHierarchy>() {
@Override public ElkPropertyInclusionHierarchy getElkPropertyInclusionHierarchy( ElkSubObjectPropertyExpression subExpression, ElkObjectPropertyExpression... expressions) { return new ElkPropertyInclusionHierarchy(subExpression, expressions); }
@Override public ElkPropertyInclusionHierarchy visit( final ElkPropertyInclusionHierarchy inference) { final int hierarchySize = inference.getExpressions().size(); return inference.getSubExpression().accept( new ElkSubObjectPropertyExpressionVisitor<ElkPropertyInclusionHierarchy>() {
@Override public ElkPropertyInclusionHierarchy getElkPropertyInclusionHierarchy( ElkSubObjectPropertyExpression subExpression, List<? extends ElkObjectPropertyExpression> expressions) { return new ElkPropertyInclusionHierarchy(subExpression, expressions); }
@Override public Integer visit(ElkPropertyInclusionHierarchy inference) { return combinedHashCode(hashCode(ElkPropertyInclusionHierarchy.class), hashCode(inference.getSubExpression()), hashCode(inference.getExpressions())); }
@Override public Integer visit(ElkPropertyInclusionHierarchy inference) { return combinedHashCode(hashCode(ElkPropertyInclusionHierarchy.class), hashCode(inference.getSubExpression()), hashCode(inference.getExpressions())); }
@Override public Integer visit(ElkPropertyInclusionHierarchy inference) { return combinedHashCode(hashCode(ElkPropertyInclusionHierarchy.class), hashCode(inference.getSubExpression()), hashCode(inference.getExpressions())); }