@Override public ElkClassInclusionReflexivePropertyRange getElkClassInclusionReflexivePropertyRange( ElkClassExpression subClass, ElkObjectPropertyExpression property, ElkClassExpression range) { return new ElkClassInclusionReflexivePropertyRange(subClass, property, 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( ElkClassInclusionReflexivePropertyRange other) { return equals(other.getSubClass(), inference.getSubClass()) && equals(other.getProperty(), inference.getProperty()) && equals(other.getRange(), inference.getRange()); } });
@Override public Boolean visit( ElkClassInclusionReflexivePropertyRange other) { return equals(other.getSubClass(), inference.getSubClass()) && equals(other.getProperty(), inference.getProperty()) && equals(other.getRange(), inference.getRange()); } });
@Override public Boolean visit( ElkClassInclusionReflexivePropertyRange other) { return equals(other.getSubClass(), inference.getSubClass()) && equals(other.getProperty(), inference.getProperty()) && 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 ElkClassInclusionReflexivePropertyRange getElkClassInclusionReflexivePropertyRange( ElkClassExpression subClass, ElkObjectPropertyExpression property, ElkClassExpression range) { return new ElkClassInclusionReflexivePropertyRange(subClass, property, range); }
@Override public Integer visit(ElkClassInclusionReflexivePropertyRange inference) { return combinedHashCode( hashCode(ElkClassInclusionReflexivePropertyRange.class), hashCode(inference.getSubClass()), hashCode(inference.getProperty()), 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 ElkClassInclusionReflexivePropertyRange getElkClassInclusionReflexivePropertyRange( ElkClassExpression subClass, ElkObjectPropertyExpression property, ElkClassExpression range) { return new ElkClassInclusionReflexivePropertyRange(subClass, property, range); }
@Override public Integer visit(ElkClassInclusionReflexivePropertyRange inference) { return combinedHashCode( hashCode(ElkClassInclusionReflexivePropertyRange.class), hashCode(inference.getSubClass()), hashCode(inference.getProperty()), hashCode(inference.getRange())); }
@Override public Integer visit(ElkClassInclusionReflexivePropertyRange inference) { return combinedHashCode( hashCode(ElkClassInclusionReflexivePropertyRange.class), hashCode(inference.getSubClass()), hashCode(inference.getProperty()), hashCode(inference.getRange())); }