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