@Override public ElkClassInclusionOfDisjointClasses getElkClassInclusionOfDisjointClasses( List<? extends ElkClassExpression> expressions, int firstPos, int secondPos) { return new ElkClassInclusionOfDisjointClasses(expressions, firstPos, secondPos); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { if (index == 0) { return getPremise(factory); } // else return failGetPremise(index); }
@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 ElkAxiom getPremise(int index, ElkObject.Factory factory) { if (index == 0) { return getPremise(factory); } // else return failGetPremise(index); }
@Override public ElkClassInclusionOfDisjointClasses getElkClassInclusionOfDisjointClasses( List<? extends ElkClassExpression> expressions, int firstPos, int secondPos) { return new ElkClassInclusionOfDisjointClasses(expressions, firstPos, secondPos); }
@Override public ElkClassInclusionOfDisjointClasses visit( ElkClassInclusionOfDisjointClasses inference) { return inferenceFactory_.getElkClassInclusionOfDisjointClasses( getClasses("C", inference.getExpressions().size()), inference.getFirstPos(), inference.getSecondPos()); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { if (index == 0) { return getPremise(factory); } // else return failGetPremise(index); }
@Override public ElkClassInclusionOfDisjointClasses getElkClassInclusionOfDisjointClasses( List<? extends ElkClassExpression> expressions, int firstPos, int secondPos) { return new ElkClassInclusionOfDisjointClasses(expressions, firstPos, secondPos); }
@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 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())); }