@Override public ElkDifferentIndividualsOfDisjointClasses getElkDifferentIndividualsOfDisjointClasses( final List<? extends ElkIndividual> different) { return new ElkDifferentIndividualsOfDisjointClasses(different); }
@Override public ElkAxiom getPremise(final int index, final ElkObject.Factory factory) { if (index == 0) { return getPremise(factory); } // else return failGetPremise(index); }
@Override public Boolean visit( ElkDifferentIndividualsOfDisjointClasses other) { return equals(other.getDifferent(), inference.getDifferent()); } });
@Override public ElkAxiom getPremise(final int index, final ElkObject.Factory factory) { if (index == 0) { return getPremise(factory); } // else return failGetPremise(index); }
@Override public Boolean visit( ElkDifferentIndividualsOfDisjointClasses other) { return equals(other.getDifferent(), inference.getDifferent()); } });
@Override public ElkDifferentIndividualsOfDisjointClasses getElkDifferentIndividualsOfDisjointClasses( final List<? extends ElkIndividual> different) { return new ElkDifferentIndividualsOfDisjointClasses(different); }
@Override public ElkAxiom getPremise(final int index, final ElkObject.Factory factory) { if (index == 0) { return getPremise(factory); } // else return failGetPremise(index); }
@Override public Boolean visit( ElkDifferentIndividualsOfDisjointClasses other) { return equals(other.getDifferent(), inference.getDifferent()); } });
@Override public ElkDifferentIndividualsOfDisjointClasses getElkDifferentIndividualsOfDisjointClasses( final List<? extends ElkIndividual> different) { return new ElkDifferentIndividualsOfDisjointClasses(different); }
@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())); }