@Override public ElkClassInclusionExistentialFillerExpansion getElkClassInclusionExistentialFillerExpansion( ElkObjectPropertyExpression property, ElkClassExpression subClass, ElkClassExpression superClass) { return new ElkClassInclusionExistentialFillerExpansion(property, subClass, superClass); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { switch (index) { case 0: return getPremise(factory); default: return failGetPremise(index); } }
@Override public Boolean visit( ElkClassInclusionExistentialFillerExpansion other) { return equals(other.getSubClass(), inference.getSubClass()) && equals(other.getSuperClass(), inference.getSuperClass()) && equals(other.getProperty(), inference.getProperty()); } });
@Override public Boolean visit( ElkClassInclusionExistentialFillerExpansion other) { return equals(other.getSubClass(), inference.getSubClass()) && equals(other.getSuperClass(), inference.getSuperClass()) && equals(other.getProperty(), inference.getProperty()); } });
@Override public Boolean visit( ElkClassInclusionExistentialFillerExpansion other) { return equals(other.getSubClass(), inference.getSubClass()) && equals(other.getSuperClass(), inference.getSuperClass()) && equals(other.getProperty(), inference.getProperty()); } });
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { switch (index) { case 0: return getPremise(factory); default: return failGetPremise(index); } }
@Override public ElkClassInclusionExistentialFillerExpansion getElkClassInclusionExistentialFillerExpansion( ElkObjectPropertyExpression property, ElkClassExpression subClass, ElkClassExpression superClass) { return new ElkClassInclusionExistentialFillerExpansion(property, subClass, superClass); }
@Override public Integer visit( ElkClassInclusionExistentialFillerExpansion inference) { return combinedHashCode( hashCode(ElkClassInclusionExistentialFillerExpansion.class), hashCode(inference.getSubClass()), hashCode(inference.getSuperClass()), hashCode(inference.getProperty())); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { switch (index) { case 0: return getPremise(factory); default: return failGetPremise(index); } }
@Override public ElkClassInclusionExistentialFillerExpansion getElkClassInclusionExistentialFillerExpansion( ElkObjectPropertyExpression property, ElkClassExpression subClass, ElkClassExpression superClass) { return new ElkClassInclusionExistentialFillerExpansion(property, subClass, superClass); }
@Override public Integer visit( ElkClassInclusionExistentialFillerExpansion inference) { return combinedHashCode( hashCode(ElkClassInclusionExistentialFillerExpansion.class), hashCode(inference.getSubClass()), hashCode(inference.getSuperClass()), hashCode(inference.getProperty())); }
@Override public Integer visit( ElkClassInclusionExistentialFillerExpansion inference) { return combinedHashCode( hashCode(ElkClassInclusionExistentialFillerExpansion.class), hashCode(inference.getSubClass()), hashCode(inference.getSuperClass()), hashCode(inference.getProperty())); }