@Override public Integer visit( final DifferentIndividualsAxiomEntailment differentIndividualsEntailment) { return combinedHashCode( hashCode(DifferentIndividualsAxiomEntailment.class), hashCode(differentIndividualsEntailment.getAxiom())); }
@Override public Integer visit( final DifferentIndividualsAxiomEntailment differentIndividualsEntailment) { return combinedHashCode( hashCode(DifferentIndividualsAxiomEntailment.class), hashCode(differentIndividualsEntailment.getAxiom())); }
@Override public Integer visit( final DifferentIndividualsAxiomEntailment differentIndividualsEntailment) { return combinedHashCode( hashCode(DifferentIndividualsAxiomEntailment.class), hashCode(differentIndividualsEntailment.getAxiom())); }
@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; }