@Override public ElkPropertyInclusionTautology getElkPropertyInclusionTautology( ElkObjectPropertyExpression expression) { return new ElkPropertyInclusionTautology(expression); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { return failGetPremise(index); }
@Override public Boolean visit(ElkPropertyInclusionTautology other) { return equals(other.getExpression(), inference.getExpression()); } });
@Override public Boolean visit(ElkPropertyInclusionTautology other) { return equals(other.getExpression(), inference.getExpression()); } });
@Override public Boolean visit(ElkPropertyInclusionTautology other) { return equals(other.getExpression(), inference.getExpression()); } });
@Override public ElkPropertyInclusionTautology getElkPropertyInclusionTautology( ElkObjectPropertyExpression expression) { return new ElkPropertyInclusionTautology(expression); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { return failGetPremise(index); }
@Override public Integer visit(ElkPropertyInclusionTautology inference) { return combinedHashCode(hashCode(ElkPropertyInclusionTautology.class), hashCode(inference.getExpression())); }
@Override public ElkPropertyInclusionTautology getElkPropertyInclusionTautology( ElkObjectPropertyExpression expression) { return new ElkPropertyInclusionTautology(expression); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { return failGetPremise(index); }
@Override public Integer visit(ElkPropertyInclusionTautology inference) { return combinedHashCode(hashCode(ElkPropertyInclusionTautology.class), hashCode(inference.getExpression())); }
@Override public Integer visit(ElkPropertyInclusionTautology inference) { return combinedHashCode(hashCode(ElkPropertyInclusionTautology.class), hashCode(inference.getExpression())); }