@Override public ElkPropertyRangePropertyExpansion getElkPropertyRangePropertyExpansion( ElkObjectPropertyExpression subProperty, ElkObjectPropertyExpression superProperty, ElkClassExpression range) { return new ElkPropertyRangePropertyExpansion(subProperty, superProperty, range); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { switch (index) { case 0: return getFirstPremise(factory); case 1: return getSecondPremise(factory); default: return failGetPremise(index); } }
@Override public Boolean visit(ElkPropertyRangePropertyExpansion other) { return equals(other.getSubProperty(), inference.getSubProperty()) && equals(other.getSuperProperty(), inference.getSuperProperty()) && equals(other.getRange(), inference.getRange()); } });
@Override public Boolean visit(ElkPropertyRangePropertyExpansion other) { return equals(other.getSubProperty(), inference.getSubProperty()) && equals(other.getSuperProperty(), inference.getSuperProperty()) && equals(other.getRange(), inference.getRange()); } });
@Override public Boolean visit(ElkPropertyRangePropertyExpansion other) { return equals(other.getSubProperty(), inference.getSubProperty()) && equals(other.getSuperProperty(), inference.getSuperProperty()) && equals(other.getRange(), inference.getRange()); } });
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { switch (index) { case 0: return getFirstPremise(factory); case 1: return getSecondPremise(factory); default: return failGetPremise(index); } }
@Override public ElkPropertyRangePropertyExpansion getElkPropertyRangePropertyExpansion( ElkObjectPropertyExpression subProperty, ElkObjectPropertyExpression superProperty, ElkClassExpression range) { return new ElkPropertyRangePropertyExpansion(subProperty, superProperty, range); }
@Override public Integer visit(ElkPropertyRangePropertyExpansion inference) { return combinedHashCode( hashCode(ElkPropertyRangePropertyExpansion.class), hashCode(inference.getSubProperty()), hashCode(inference.getSuperProperty()), hashCode(inference.getRange())); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { switch (index) { case 0: return getFirstPremise(factory); case 1: return getSecondPremise(factory); default: return failGetPremise(index); } }
@Override public ElkPropertyRangePropertyExpansion getElkPropertyRangePropertyExpansion( ElkObjectPropertyExpression subProperty, ElkObjectPropertyExpression superProperty, ElkClassExpression range) { return new ElkPropertyRangePropertyExpansion(subProperty, superProperty, range); }
@Override public Integer visit(ElkPropertyRangePropertyExpansion inference) { return combinedHashCode( hashCode(ElkPropertyRangePropertyExpansion.class), hashCode(inference.getSubProperty()), hashCode(inference.getSuperProperty()), hashCode(inference.getRange())); }
@Override public Integer visit(ElkPropertyRangePropertyExpansion inference) { return combinedHashCode( hashCode(ElkPropertyRangePropertyExpansion.class), hashCode(inference.getSubProperty()), hashCode(inference.getSuperProperty()), hashCode(inference.getRange())); }