@Override public Boolean visit( final EntailedDisjointClassesEntailsDifferentIndividualsAxiom other) { return equals(other.getConclusion(), entailedDisjointClassesEntailsDifferentIndividualsAxiom .getConclusion()) && equals(other.getPremises(), entailedDisjointClassesEntailsDifferentIndividualsAxiom .getPremises()); } });
@Override public Boolean visit( final EntailedDisjointClassesEntailsDifferentIndividualsAxiom other) { return equals(other.getConclusion(), entailedDisjointClassesEntailsDifferentIndividualsAxiom .getConclusion()) && equals(other.getPremises(), entailedDisjointClassesEntailsDifferentIndividualsAxiom .getPremises()); } });
@Override public Boolean visit( final EntailedDisjointClassesEntailsDifferentIndividualsAxiom other) { return equals(other.getConclusion(), entailedDisjointClassesEntailsDifferentIndividualsAxiom .getConclusion()) && equals(other.getPremises(), entailedDisjointClassesEntailsDifferentIndividualsAxiom .getPremises()); } });
@Override public Integer visit( final EntailedDisjointClassesEntailsDifferentIndividualsAxiom entailedDisjointClassesEntailsDifferentIndividualsAxiom) { return combinedHashCode( hashCode( EntailedDisjointClassesEntailsDifferentIndividualsAxiom.class), hashCode(entailedDisjointClassesEntailsDifferentIndividualsAxiom .getConclusion()), hashCode(entailedDisjointClassesEntailsDifferentIndividualsAxiom .getPremises())); }
@Override public Integer visit( final EntailedDisjointClassesEntailsDifferentIndividualsAxiom entailedDisjointClassesEntailsDifferentIndividualsAxiom) { return combinedHashCode( hashCode( EntailedDisjointClassesEntailsDifferentIndividualsAxiom.class), hashCode(entailedDisjointClassesEntailsDifferentIndividualsAxiom .getConclusion()), hashCode(entailedDisjointClassesEntailsDifferentIndividualsAxiom .getPremises())); }
@Override public Integer visit( final EntailedDisjointClassesEntailsDifferentIndividualsAxiom entailedDisjointClassesEntailsDifferentIndividualsAxiom) { return combinedHashCode( hashCode( EntailedDisjointClassesEntailsDifferentIndividualsAxiom.class), hashCode(entailedDisjointClassesEntailsDifferentIndividualsAxiom .getConclusion()), hashCode(entailedDisjointClassesEntailsDifferentIndividualsAxiom .getPremises())); }
@Override public Void visit( final EntailedDisjointClassesEntailsDifferentIndividualsAxiom entailmentInference) { for (final DisjointClassesAxiomEntailment premise : entailmentInference .getPremises()) { for (final EntailmentInference inf : evidence_ .getInferences(premise)) { inf.accept(this); } } inferenceFactory_ .getElkDifferentIndividualsOfDisjointClasses(entailmentInference .getConclusion().getAxiom().getIndividuals()); return null; }
@Override public Void visit( final EntailedDisjointClassesEntailsDifferentIndividualsAxiom entailmentInference) { for (final DisjointClassesAxiomEntailment premise : entailmentInference .getPremises()) { for (final EntailmentInference inf : evidence_ .getInferences(premise)) { inf.accept(this); } } inferenceFactory_ .getElkDifferentIndividualsOfDisjointClasses(entailmentInference .getConclusion().getAxiom().getIndividuals()); return null; }
@Override public Void visit( final EntailedDisjointClassesEntailsDifferentIndividualsAxiom entailmentInference) { for (final DisjointClassesAxiomEntailment premise : entailmentInference .getPremises()) { for (final EntailmentInference inf : evidence_ .getInferences(premise)) { inf.accept(this); } } inferenceFactory_ .getElkDifferentIndividualsOfDisjointClasses(entailmentInference .getConclusion().getAxiom().getIndividuals()); return null; }