@Override public ElkPropertyInclusionOfEquivalence getElkPropertyInclusionOfEquivalence( List<? extends ElkObjectPropertyExpression> expressions, int subPos, int superPos) { return new ElkPropertyInclusionOfEquivalence(expressions, subPos, superPos); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { if (index == 0) { return getPremise(factory); } // else return failGetPremise(index); }
@Override public Boolean visit(ElkPropertyInclusionOfEquivalence other) { return equals(other.getExpressions(), inference.getExpressions()) && equals(other.getSubPos(), inference.getSubPos()) && equals(other.getSuperPos(), inference.getSuperPos()); } });
@Override public Boolean visit(ElkPropertyInclusionOfEquivalence other) { return equals(other.getExpressions(), inference.getExpressions()) && equals(other.getSubPos(), inference.getSubPos()) && equals(other.getSuperPos(), inference.getSuperPos()); } });
@Override public Boolean visit(ElkPropertyInclusionOfEquivalence other) { return equals(other.getExpressions(), inference.getExpressions()) && equals(other.getSubPos(), inference.getSubPos()) && equals(other.getSuperPos(), inference.getSuperPos()); } });
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { if (index == 0) { return getPremise(factory); } // else return failGetPremise(index); }
@Override public ElkPropertyInclusionOfEquivalence getElkPropertyInclusionOfEquivalence( ElkObjectPropertyExpression first, ElkObjectPropertyExpression second, boolean sameOrder) { return new ElkPropertyInclusionOfEquivalence(first, second, sameOrder); }
@Override public ElkPropertyInclusionOfEquivalence visit( ElkPropertyInclusionOfEquivalence inference) { return inferenceFactory_.getElkPropertyInclusionOfEquivalence( getObjectProperties("R", inference.getExpressions().size()), inference.getSubPos(), inference.getSuperPos()); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { if (index == 0) { return getPremise(factory); } // else return failGetPremise(index); }
@Override public ElkPropertyInclusionOfEquivalence getElkPropertyInclusionOfEquivalence( List<? extends ElkObjectPropertyExpression> expressions, int subPos, int superPos) { return new ElkPropertyInclusionOfEquivalence(expressions, subPos, superPos); }
@Override public ElkPropertyInclusionOfEquivalence visit( ElkPropertyInclusionOfEquivalence inference) { return inferenceFactory_.getElkPropertyInclusionOfEquivalence( getObjectProperties("R", inference.getExpressions().size()), inference.getSubPos(), inference.getSuperPos()); }
@Override public ElkPropertyInclusionOfEquivalence getElkPropertyInclusionOfEquivalence( ElkObjectPropertyExpression first, ElkObjectPropertyExpression second, boolean sameOrder) { return new ElkPropertyInclusionOfEquivalence(first, second, sameOrder); }
@Override public ElkPropertyInclusionOfEquivalence visit( ElkPropertyInclusionOfEquivalence inference) { return inferenceFactory_.getElkPropertyInclusionOfEquivalence( getObjectProperties("R", inference.getExpressions().size()), inference.getSubPos(), inference.getSuperPos()); }
@Override public ElkPropertyInclusionOfEquivalence getElkPropertyInclusionOfEquivalence( List<? extends ElkObjectPropertyExpression> expressions, int subPos, int superPos) { return new ElkPropertyInclusionOfEquivalence(expressions, subPos, superPos); }
@Override public Integer visit(ElkPropertyInclusionOfEquivalence inference) { return combinedHashCode( hashCode(ElkPropertyInclusionOfEquivalence.class), hashCode(inference.getExpressions()), hashCode(inference.getSubPos()), hashCode(inference.getSuperPos())); }
@Override public ElkPropertyInclusionOfEquivalence getElkPropertyInclusionOfEquivalence( ElkObjectPropertyExpression first, ElkObjectPropertyExpression second, boolean sameOrder) { return new ElkPropertyInclusionOfEquivalence(first, second, sameOrder); }
@Override public Integer visit(ElkPropertyInclusionOfEquivalence inference) { return combinedHashCode( hashCode(ElkPropertyInclusionOfEquivalence.class), hashCode(inference.getExpressions()), hashCode(inference.getSubPos()), hashCode(inference.getSuperPos())); }
@Override public Integer visit(ElkPropertyInclusionOfEquivalence inference) { return combinedHashCode( hashCode(ElkPropertyInclusionOfEquivalence.class), hashCode(inference.getExpressions()), hashCode(inference.getSubPos()), hashCode(inference.getSuperPos())); }