@Override public Boolean visit( ElkDifferentIndividualsOfDisjointClasses other) { return equals(other.getDifferent(), inference.getDifferent()); } });
@Override public Boolean visit( ElkDifferentIndividualsOfDisjointClasses other) { return equals(other.getDifferent(), inference.getDifferent()); } });
@Override public Boolean visit( ElkDifferentIndividualsOfDisjointClasses other) { return equals(other.getDifferent(), inference.getDifferent()); } });
@Override public ElkInference visit( final ElkDifferentIndividualsOfDisjointClasses inference) { return inferenceFactory_.getElkDifferentIndividualsOfDisjointClasses( getIndividuals("a", inference.getDifferent().size())); }
@Override public ElkInference visit( final ElkDifferentIndividualsOfDisjointClasses inference) { return inferenceFactory_.getElkDifferentIndividualsOfDisjointClasses( getIndividuals("a", inference.getDifferent().size())); }
@Override public ElkInference visit( final ElkDifferentIndividualsOfDisjointClasses inference) { return inferenceFactory_.getElkDifferentIndividualsOfDisjointClasses( getIndividuals("a", inference.getDifferent().size())); }
@Override public Integer visit( final ElkDifferentIndividualsOfDisjointClasses inference) { return combinedHashCode( hashCode(ElkDifferentIndividualsOfDisjointClasses.class), hashCode(inference.getDifferent())); }
@Override public Integer visit( final ElkDifferentIndividualsOfDisjointClasses inference) { return combinedHashCode( hashCode(ElkDifferentIndividualsOfDisjointClasses.class), hashCode(inference.getDifferent())); }
@Override public Integer visit( final ElkDifferentIndividualsOfDisjointClasses inference) { return combinedHashCode( hashCode(ElkDifferentIndividualsOfDisjointClasses.class), hashCode(inference.getDifferent())); }