@Override public Boolean visit( final EntailedClassInclusionCycleEntailsEquivalentClassesAxiom other) { return equals(other.getConclusion(), derivedClassInclusionCycleEntailsEquivalentClassesAxiom .getConclusion()) && equals(other.getPremises(), derivedClassInclusionCycleEntailsEquivalentClassesAxiom .getPremises()); } });
@Override public Boolean visit( final EntailedClassInclusionCycleEntailsEquivalentClassesAxiom other) { return equals(other.getConclusion(), derivedClassInclusionCycleEntailsEquivalentClassesAxiom .getConclusion()) && equals(other.getPremises(), derivedClassInclusionCycleEntailsEquivalentClassesAxiom .getPremises()); } });
@Override public Boolean visit( final EntailedClassInclusionCycleEntailsEquivalentClassesAxiom other) { return equals(other.getConclusion(), derivedClassInclusionCycleEntailsEquivalentClassesAxiom .getConclusion()) && equals(other.getPremises(), derivedClassInclusionCycleEntailsEquivalentClassesAxiom .getPremises()); } });
@Override public Integer visit( final EntailedClassInclusionCycleEntailsEquivalentClassesAxiom derivedClassInclusionCycleEntailsEquivalentClassesAxiom) { return combinedHashCode( hashCode( EntailedClassInclusionCycleEntailsEquivalentClassesAxiom.class), hashCode(derivedClassInclusionCycleEntailsEquivalentClassesAxiom .getConclusion()), hashCode(derivedClassInclusionCycleEntailsEquivalentClassesAxiom .getPremises())); }
@Override public Integer visit( final EntailedClassInclusionCycleEntailsEquivalentClassesAxiom derivedClassInclusionCycleEntailsEquivalentClassesAxiom) { return combinedHashCode( hashCode( EntailedClassInclusionCycleEntailsEquivalentClassesAxiom.class), hashCode(derivedClassInclusionCycleEntailsEquivalentClassesAxiom .getConclusion()), hashCode(derivedClassInclusionCycleEntailsEquivalentClassesAxiom .getPremises())); }
@Override public Integer visit( final EntailedClassInclusionCycleEntailsEquivalentClassesAxiom derivedClassInclusionCycleEntailsEquivalentClassesAxiom) { return combinedHashCode( hashCode( EntailedClassInclusionCycleEntailsEquivalentClassesAxiom.class), hashCode(derivedClassInclusionCycleEntailsEquivalentClassesAxiom .getConclusion()), hashCode(derivedClassInclusionCycleEntailsEquivalentClassesAxiom .getPremises())); }
@Override public Void visit( final EntailedClassInclusionCycleEntailsEquivalentClassesAxiom entailmentInference) { for (final SubClassOfAxiomEntailment premise : entailmentInference .getPremises()) { for (final EntailmentInference inf : evidence_ .getInferences(premise)) { inf.accept(this); } } inferenceFactory_.getElkEquivalentClassesCycle(entailmentInference .getConclusion().getAxiom().getClassExpressions()); return null; }
@Override public Void visit( final EntailedClassInclusionCycleEntailsEquivalentClassesAxiom entailmentInference) { for (final SubClassOfAxiomEntailment premise : entailmentInference .getPremises()) { for (final EntailmentInference inf : evidence_ .getInferences(premise)) { inf.accept(this); } } inferenceFactory_.getElkEquivalentClassesCycle(entailmentInference .getConclusion().getAxiom().getClassExpressions()); return null; }
@Override public Void visit( final EntailedClassInclusionCycleEntailsEquivalentClassesAxiom entailmentInference) { for (final SubClassOfAxiomEntailment premise : entailmentInference .getPremises()) { for (final EntailmentInference inf : evidence_ .getInferences(premise)) { inf.accept(this); } } inferenceFactory_.getElkEquivalentClassesCycle(entailmentInference .getConclusion().getAxiom().getClassExpressions()); return null; }