@Override public Boolean visit( final DerivedClassInclusionEntailsSubClassOfAxiom other) { return equals(other.getConclusion(), derivedClassInclusionEntailsSubClassOfAxiom .getConclusion()) && equals(other.getReason(), derivedClassInclusionEntailsSubClassOfAxiom .getReason()); } });
@Override public Boolean visit( final DerivedClassInclusionEntailsSubClassOfAxiom other) { return equals(other.getConclusion(), derivedClassInclusionEntailsSubClassOfAxiom .getConclusion()) && equals(other.getReason(), derivedClassInclusionEntailsSubClassOfAxiom .getReason()); } });
@Override public Boolean visit( final DerivedClassInclusionEntailsSubClassOfAxiom other) { return equals(other.getConclusion(), derivedClassInclusionEntailsSubClassOfAxiom .getConclusion()) && equals(other.getReason(), derivedClassInclusionEntailsSubClassOfAxiom .getReason()); } });
@Override public Integer visit( final DerivedClassInclusionEntailsSubClassOfAxiom derivedClassInclusionEntailsSubClassOfAxiom) { return combinedHashCode( hashCode(DerivedClassInclusionEntailsSubClassOfAxiom.class), hashCode(derivedClassInclusionEntailsSubClassOfAxiom .getConclusion()), hashCode(derivedClassInclusionEntailsSubClassOfAxiom .getReason())); }
@Override public Integer visit( final DerivedClassInclusionEntailsSubClassOfAxiom derivedClassInclusionEntailsSubClassOfAxiom) { return combinedHashCode( hashCode(DerivedClassInclusionEntailsSubClassOfAxiom.class), hashCode(derivedClassInclusionEntailsSubClassOfAxiom .getConclusion()), hashCode(derivedClassInclusionEntailsSubClassOfAxiom .getReason())); }
@Override public Integer visit( final DerivedClassInclusionEntailsSubClassOfAxiom derivedClassInclusionEntailsSubClassOfAxiom) { return combinedHashCode( hashCode(DerivedClassInclusionEntailsSubClassOfAxiom.class), hashCode(derivedClassInclusionEntailsSubClassOfAxiom .getConclusion()), hashCode(derivedClassInclusionEntailsSubClassOfAxiom .getReason())); }
@Override public Void visit( final DerivedClassInclusionEntailsSubClassOfAxiom entailmentInference) { final SubClassInclusionComposed conclusion = entailmentInference .getReason(); final ElkClassExpression subClass = entailmentInference.getConclusion() .getAxiom().getSubClassExpression(); final ElkClassExpression superClass = entailmentInference .getConclusion().getAxiom().getSuperClassExpression(); final Matcher matcher = new Matcher(reasoner_.getProof(), elkFactory_, inferenceFactory_); matcher.trace(conclusion, subClass, superClass); return null; }
@Override public Void visit( final DerivedClassInclusionEntailsSubClassOfAxiom entailmentInference) { final SubClassInclusionComposed conclusion = entailmentInference .getReason(); final ElkClassExpression subClass = entailmentInference.getConclusion() .getAxiom().getSubClassExpression(); final ElkClassExpression superClass = entailmentInference .getConclusion().getAxiom().getSuperClassExpression(); final Matcher matcher = new Matcher(reasoner_.getProof(), elkFactory_, inferenceFactory_); matcher.trace(conclusion, subClass, superClass); return null; }
@Override public Void visit( final DerivedClassInclusionEntailsSubClassOfAxiom entailmentInference) { final SubClassInclusionComposed conclusion = entailmentInference .getReason(); final ElkClassExpression subClass = entailmentInference.getConclusion() .getAxiom().getSubClassExpression(); final ElkClassExpression superClass = entailmentInference .getConclusion().getAxiom().getSuperClassExpression(); final Matcher matcher = new Matcher(reasoner_.getProof(), elkFactory_, inferenceFactory_); matcher.trace(conclusion, subClass, superClass); return null; }