@Override public Integer visit(ElkClassInclusionExistentialOwlNothing inference) { return combinedHashCode( hashCode(ElkClassInclusionExistentialOwlNothing.class), hashCode(inference.getProperty())); }
@Override public Integer visit(ElkClassInclusionOwlThing inference) { return combinedHashCode(hashCode(ElkClassInclusionOwlThing.class), hashCode(inference.getSubClass())); }
@Override public Integer visit( final ElkDifferentIndividualsOfDisjointClasses inference) { return combinedHashCode( hashCode(ElkDifferentIndividualsOfDisjointClasses.class), hashCode(inference.getDifferent())); }
@Override public Integer visit(final ElkSameIndividualOfEquivalentClasses inference) { return combinedHashCode( hashCode(ElkSameIndividualOfEquivalentClasses.class), hashCode(inference.getSame())); }
@Override public Integer visit(ElkClassInclusionExistentialOwlNothing inference) { return combinedHashCode( hashCode(ElkClassInclusionExistentialOwlNothing.class), hashCode(inference.getProperty())); }
@Override public Integer visit(ElkClassInclusionOwlThing inference) { return combinedHashCode(hashCode(ElkClassInclusionOwlThing.class), hashCode(inference.getSubClass())); }
@Override public Integer visit( final ElkDisjointClassesIntersectionInconsistencies inference) { return combinedHashCode( hashCode(ElkDisjointClassesIntersectionInconsistencies.class), hashCode(inference.getExpressions())); }
@Override public Integer visit(ElkEquivalentClassesOfSameIndividual inference) { return combinedHashCode( hashCode(ElkEquivalentClassesOfSameIndividual.class), hashCode(inference.getSame())); }
@Override public Integer visit(ElkPropertyInclusionTautology inference) { return combinedHashCode(hashCode(ElkPropertyInclusionTautology.class), hashCode(inference.getExpression())); }
@Override public Integer visit(final ElkClassAssertionOfClassInclusion inference) { return combinedHashCode( hashCode(ElkClassAssertionOfClassInclusion.class), hashCode(inference.getInstance()), hashCode(inference.getType())); }
@Override public Integer visit(ElkClassInclusionOfClassAssertion inference) { return combinedHashCode( hashCode(ElkClassInclusionOfClassAssertion.class), hashCode(inference.getInstance()), hashCode(inference.getType())); }
@Override public Integer visit(ElkDisjointClassesOfDisjointUnion inference) { return combinedHashCode( hashCode(ElkDisjointClassesOfDisjointUnion.class), hashCode(inference.getDefined()), hashCode(inference.getDisjoint())); }
@Override public Integer visit( ElkClassInclusionObjectIntersectionOfInclusion inference) { return combinedHashCode( hashCode(ElkClassInclusionObjectIntersectionOfInclusion.class), hashCode(inference.getSubClasses()), hashCode(inference.getSuperPositions())); }
@Override public Integer visit(ElkClassInclusionObjectOneOfInclusion inference) { return combinedHashCode( hashCode(ElkClassInclusionObjectOneOfInclusion.class), hashCode(inference.getSuperIndividuals()), hashCode(inference.getSubIndividualPositions())); }
@Override public Integer visit(ElkEquivalentClassesObjectHasValue inference) { return combinedHashCode( hashCode(ElkPropertyInclusionOfTransitiveObjectProperty.class), hashCode(inference.getProperty()), hashCode(inference.getValue())); }
@Override public Integer visit(ElkDisjointClassesOfDisjointUnion inference) { return combinedHashCode( hashCode(ElkDisjointClassesOfDisjointUnion.class), hashCode(inference.getDefined()), hashCode(inference.getDisjoint())); }
@Override public Integer visit(ElkClassInclusionReflexivePropertyRange inference) { return combinedHashCode( hashCode(ElkClassInclusionReflexivePropertyRange.class), hashCode(inference.getSubClass()), hashCode(inference.getProperty()), hashCode(inference.getRange())); }
@Override public Integer visit(ElkPropertyInclusionOfEquivalence inference) { return combinedHashCode( hashCode(ElkPropertyInclusionOfEquivalence.class), hashCode(inference.getExpressions()), hashCode(inference.getSubPos()), hashCode(inference.getSuperPos())); }
@Override public Integer visit(ElkPropertyRangePropertyExpansion inference) { return combinedHashCode( hashCode(ElkPropertyRangePropertyExpansion.class), hashCode(inference.getSubProperty()), hashCode(inference.getSuperProperty()), hashCode(inference.getRange())); }
@Override public Integer visit(ElkPropertyRangePropertyExpansion inference) { return combinedHashCode( hashCode(ElkPropertyRangePropertyExpansion.class), hashCode(inference.getSubProperty()), hashCode(inference.getSuperProperty()), hashCode(inference.getRange())); }