@Override public ElkClassInclusionOfDisjointClasses visit( ElkClassInclusionOfDisjointClasses inference) { return inferenceFactory_.getElkClassInclusionOfDisjointClasses( getClasses("C", inference.getExpressions().size()), inference.getFirstPos(), inference.getSecondPos()); }
@Override public ElkClassInclusionOfDisjointClasses visit( ElkClassInclusionOfDisjointClasses inference) { return inferenceFactory_.getElkClassInclusionOfDisjointClasses( getClasses("C", inference.getExpressions().size()), inference.getFirstPos(), inference.getSecondPos()); }
@Override public ElkClassInclusionOfDisjointClasses visit( ElkClassInclusionOfDisjointClasses inference) { return inferenceFactory_.getElkClassInclusionOfDisjointClasses( getClasses("C", inference.getExpressions().size()), inference.getFirstPos(), inference.getSecondPos()); }
@Override public Boolean visit(ElkClassInclusionOfDisjointClasses other) { return equals(other.getExpressions(), inference.getExpressions()) && equals(other.getFirstPos(), inference.getFirstPos()) && equals(other.getSecondPos(), inference.getSecondPos()); } });
@Override public Boolean visit(ElkClassInclusionOfDisjointClasses other) { return equals(other.getExpressions(), inference.getExpressions()) && equals(other.getFirstPos(), inference.getFirstPos()) && equals(other.getSecondPos(), inference.getSecondPos()); } });
@Override public Boolean visit(ElkClassInclusionOfDisjointClasses other) { return equals(other.getExpressions(), inference.getExpressions()) && equals(other.getFirstPos(), inference.getFirstPos()) && equals(other.getSecondPos(), inference.getSecondPos()); } });
@Override public Integer visit(ElkClassInclusionOfDisjointClasses inference) { return combinedHashCode( hashCode(ElkClassInclusionOfDisjointClasses.class), hashCode(inference.getExpressions()), hashCode(inference.getFirstPos()), hashCode(inference.getSecondPos())); }
@Override public Integer visit(ElkClassInclusionOfDisjointClasses inference) { return combinedHashCode( hashCode(ElkClassInclusionOfDisjointClasses.class), hashCode(inference.getExpressions()), hashCode(inference.getFirstPos()), hashCode(inference.getSecondPos())); }
@Override public Integer visit(ElkClassInclusionOfDisjointClasses inference) { return combinedHashCode( hashCode(ElkClassInclusionOfDisjointClasses.class), hashCode(inference.getExpressions()), hashCode(inference.getFirstPos()), hashCode(inference.getSecondPos())); }