@Override public ElkPropertyInclusionOfEquivalence visit( ElkPropertyInclusionOfEquivalence inference) { return inferenceFactory_.getElkPropertyInclusionOfEquivalence( getObjectProperties("R", inference.getExpressions().size()), inference.getSubPos(), inference.getSuperPos()); }
@Override public ElkPropertyInclusionOfEquivalence visit( ElkPropertyInclusionOfEquivalence inference) { return inferenceFactory_.getElkPropertyInclusionOfEquivalence( getObjectProperties("R", inference.getExpressions().size()), inference.getSubPos(), inference.getSuperPos()); }
@Override public ElkPropertyInclusionOfEquivalence visit( ElkPropertyInclusionOfEquivalence inference) { return inferenceFactory_.getElkPropertyInclusionOfEquivalence( getObjectProperties("R", inference.getExpressions().size()), inference.getSubPos(), 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 Boolean visit(ElkPropertyInclusionOfEquivalence other) { return equals(other.getExpressions(), inference.getExpressions()) && equals(other.getSubPos(), inference.getSubPos()) && equals(other.getSuperPos(), inference.getSuperPos()); } });
@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())); }
@Override public Integer visit(ElkPropertyInclusionOfEquivalence inference) { return combinedHashCode( hashCode(ElkPropertyInclusionOfEquivalence.class), hashCode(inference.getExpressions()), hashCode(inference.getSubPos()), hashCode(inference.getSuperPos())); }