@Override public ElkClassInclusionExistentialPropertyExpansion getElkClassInclusionExistentialPropertyExpansion( ElkObjectPropertyExpression subProperty, ElkObjectPropertyExpression superProperty, ElkClassExpression filler) { return new ElkClassInclusionExistentialPropertyExpansion(subProperty, superProperty, filler); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { switch (index) { case 0: return getPremise(factory); default: return failGetPremise(index); } }
@Override public Boolean visit( ElkClassInclusionExistentialPropertyExpansion other) { return equals(other.getSubProperty(), inference.getSubProperty()) && equals(other.getSuperProperty(), inference.getSuperProperty()) && equals(other.getFiller(), inference.getFiller()); } });
@Override public Boolean visit( ElkClassInclusionExistentialPropertyExpansion other) { return equals(other.getSubProperty(), inference.getSubProperty()) && equals(other.getSuperProperty(), inference.getSuperProperty()) && equals(other.getFiller(), inference.getFiller()); } });
@Override public Boolean visit( ElkClassInclusionExistentialPropertyExpansion other) { return equals(other.getSubProperty(), inference.getSubProperty()) && equals(other.getSuperProperty(), inference.getSuperProperty()) && equals(other.getFiller(), inference.getFiller()); } });
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { switch (index) { case 0: return getPremise(factory); default: return failGetPremise(index); } }
@Override public ElkClassInclusionExistentialPropertyExpansion getElkClassInclusionExistentialPropertyExpansion( ElkObjectPropertyExpression subProperty, ElkObjectPropertyExpression superProperty, ElkClassExpression filler) { return new ElkClassInclusionExistentialPropertyExpansion(subProperty, superProperty, filler); }
@Override public Integer visit( ElkClassInclusionExistentialPropertyExpansion inference) { return combinedHashCode( hashCode(ElkClassInclusionExistentialPropertyExpansion.class), hashCode(inference.getSubProperty()), hashCode(inference.getSuperProperty()), hashCode(inference.getFiller())); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { switch (index) { case 0: return getPremise(factory); default: return failGetPremise(index); } }
@Override public ElkClassInclusionExistentialPropertyExpansion getElkClassInclusionExistentialPropertyExpansion( ElkObjectPropertyExpression subProperty, ElkObjectPropertyExpression superProperty, ElkClassExpression filler) { return new ElkClassInclusionExistentialPropertyExpansion(subProperty, superProperty, filler); }
@Override public Integer visit( ElkClassInclusionExistentialPropertyExpansion inference) { return combinedHashCode( hashCode(ElkClassInclusionExistentialPropertyExpansion.class), hashCode(inference.getSubProperty()), hashCode(inference.getSuperProperty()), hashCode(inference.getFiller())); }
@Override public Integer visit( ElkClassInclusionExistentialPropertyExpansion inference) { return combinedHashCode( hashCode(ElkClassInclusionExistentialPropertyExpansion.class), hashCode(inference.getSubProperty()), hashCode(inference.getSuperProperty()), hashCode(inference.getFiller())); }