@Override public Integer visit( ElkClassInclusionOwlThingEmptyObjectIntersectionOf inference) { return combinedHashCode(hashCode( ElkClassInclusionOwlThingEmptyObjectIntersectionOf.class)); }
@Override public int hashCode() { if (hashCode_ == 0) { hashCode_ = accept(ElkInferenceHash.getHashVisitor()); } // else return hashCode_; }
@Override public int hashCode() { if (hashCode_ == 0) { hashCode_ = accept(ElkInferenceHash.getHashVisitor()); } // else return hashCode_; }
@Override public Integer visit( final ElkClassInclusionOwlBottomObjectProperty inference) { return combinedHashCode( hashCode(ElkClassInclusionOwlBottomObjectProperty.class)); }
@Override public Integer visit( final ElkClassInclusionOwlTopObjectProperty inference) { return combinedHashCode( hashCode(ElkClassInclusionOwlTopObjectProperty.class)); }
@Override public Integer visit( ElkClassInclusionOwlThingEmptyObjectIntersectionOf inference) { return combinedHashCode(hashCode( ElkClassInclusionOwlThingEmptyObjectIntersectionOf.class)); }
@Override public Integer visit( final ElkClassInclusionOwlTopObjectProperty inference) { return combinedHashCode( hashCode(ElkClassInclusionOwlTopObjectProperty.class)); }
@Override public Integer visit( ElkClassInclusionEmptyObjectOneOfOwlNothing inference) { return combinedHashCode(hashCode( ElkClassInclusionOwlThingEmptyObjectIntersectionOf.class)); }
@Override public Integer visit( ElkClassInclusionOwlThingEmptyObjectIntersectionOf inference) { return combinedHashCode(hashCode( ElkClassInclusionOwlThingEmptyObjectIntersectionOf.class)); }
@Override public Integer visit( ElkClassInclusionEmptyObjectOneOfOwlNothing inference) { return combinedHashCode(hashCode( ElkClassInclusionOwlThingEmptyObjectIntersectionOf.class)); }
@Override public Integer visit( ElkClassInclusionEmptyObjectUnionOfOwlNothing inference) { return combinedHashCode(hashCode( ElkClassInclusionOwlThingEmptyObjectIntersectionOf.class)); }
@Override public Integer visit( final ElkClassInclusionOwlBottomObjectProperty inference) { return combinedHashCode( hashCode(ElkClassInclusionOwlBottomObjectProperty.class)); }
@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())); }