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