@Override public ElkClassInclusionOfEquivaletClasses visit( ElkClassInclusionOfEquivaletClasses inference) { return inferenceFactory_.getElkClassInclusionOfEquivaletClasses( getClasses("C", inference.getExpressions().size()), inference.getSubPos(), inference.getSuperPos()); }
@Override public ElkClassInclusionOfEquivaletClasses visit( ElkClassInclusionOfEquivaletClasses inference) { return inferenceFactory_.getElkClassInclusionOfEquivaletClasses( getClasses("C", inference.getExpressions().size()), inference.getSubPos(), inference.getSuperPos()); }
@Override public ElkClassInclusionOfEquivaletClasses visit( ElkClassInclusionOfEquivaletClasses inference) { return inferenceFactory_.getElkClassInclusionOfEquivaletClasses( getClasses("C", inference.getExpressions().size()), inference.getSubPos(), inference.getSuperPos()); }
@Override public Boolean visit(ElkClassInclusionOfEquivaletClasses other) { return equals(other.getExpressions(), inference.getExpressions()) && equals(other.getSubPos(), inference.getSubPos()) && equals(other.getSuperPos(), inference.getSuperPos()); } });
@Override public Boolean visit(ElkClassInclusionOfEquivaletClasses other) { return equals(other.getExpressions(), inference.getExpressions()) && equals(other.getSubPos(), inference.getSubPos()) && equals(other.getSuperPos(), inference.getSuperPos()); } });
@Override public Boolean visit(ElkClassInclusionOfEquivaletClasses other) { return equals(other.getExpressions(), inference.getExpressions()) && equals(other.getSubPos(), inference.getSubPos()) && equals(other.getSuperPos(), inference.getSuperPos()); } });
@Override public Integer visit(ElkClassInclusionOfEquivaletClasses inference) { return combinedHashCode( hashCode(ElkClassInclusionOfEquivaletClasses.class), hashCode(inference.getExpressions()), hashCode(inference.getSubPos()), hashCode(inference.getSuperPos())); }
@Override public Integer visit(ElkClassInclusionOfEquivaletClasses inference) { return combinedHashCode( hashCode(ElkClassInclusionOfEquivaletClasses.class), hashCode(inference.getExpressions()), hashCode(inference.getSubPos()), hashCode(inference.getSuperPos())); }
@Override public Integer visit(ElkClassInclusionOfEquivaletClasses inference) { return combinedHashCode( hashCode(ElkClassInclusionOfEquivaletClasses.class), hashCode(inference.getExpressions()), hashCode(inference.getSubPos()), hashCode(inference.getSuperPos())); }