@Override public ElkClassInclusionExistentialOfObjectHasSelf getElkClassInclusionExistentialOfObjectHasSelf( ElkClassExpression subClass, ElkObjectPropertyExpression property) { return new ElkClassInclusionExistentialOfObjectHasSelf(subClass, property); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { if (index == 0) { return getPremise(factory); } // else return failGetPremise(index); }
@Override public Boolean visit( ElkClassInclusionExistentialOfObjectHasSelf other) { return equals(other.getSubClass(), inference.getSubClass()) && equals(other.getProperty(), inference.getProperty()); } });
@Override public Boolean visit( ElkClassInclusionExistentialOfObjectHasSelf other) { return equals(other.getSubClass(), inference.getSubClass()) && equals(other.getProperty(), inference.getProperty()); } });
@Override public Boolean visit( ElkClassInclusionExistentialOfObjectHasSelf other) { return equals(other.getSubClass(), inference.getSubClass()) && equals(other.getProperty(), inference.getProperty()); } });
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { if (index == 0) { return getPremise(factory); } // else return failGetPremise(index); }
@Override public ElkClassInclusionExistentialOfObjectHasSelf getElkClassInclusionExistentialOfObjectHasSelf( ElkClassExpression subClass, ElkObjectPropertyExpression property) { return new ElkClassInclusionExistentialOfObjectHasSelf(subClass, property); }
@Override public Integer visit( ElkClassInclusionExistentialOfObjectHasSelf inference) { return combinedHashCode( hashCode(ElkClassInclusionExistentialOfObjectHasSelf.class), hashCode(inference.getSubClass()), hashCode(inference.getProperty())); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { if (index == 0) { return getPremise(factory); } // else return failGetPremise(index); }
@Override public ElkClassInclusionExistentialOfObjectHasSelf getElkClassInclusionExistentialOfObjectHasSelf( ElkClassExpression subClass, ElkObjectPropertyExpression property) { return new ElkClassInclusionExistentialOfObjectHasSelf(subClass, property); }
@Override public Integer visit( ElkClassInclusionExistentialOfObjectHasSelf inference) { return combinedHashCode( hashCode(ElkClassInclusionExistentialOfObjectHasSelf.class), hashCode(inference.getSubClass()), hashCode(inference.getProperty())); }
@Override public Integer visit( ElkClassInclusionExistentialOfObjectHasSelf inference) { return combinedHashCode( hashCode(ElkClassInclusionExistentialOfObjectHasSelf.class), hashCode(inference.getSubClass()), hashCode(inference.getProperty())); }