@Override public Boolean visit( ElkClassInclusionExistentialTransitivity other) { return equals(other.getClassExpressions(), inference.getClassExpressions()) && equals(other.getTransitiveProperty(), inference.getTransitiveProperty()); } });
@Override public Boolean visit( ElkClassInclusionExistentialTransitivity other) { return equals(other.getClassExpressions(), inference.getClassExpressions()) && equals(other.getTransitiveProperty(), inference.getTransitiveProperty()); } });
@Override public Boolean visit( ElkClassInclusionExistentialTransitivity other) { return equals(other.getClassExpressions(), inference.getClassExpressions()) && equals(other.getTransitiveProperty(), inference.getTransitiveProperty()); } });
@Override public ElkClassInclusionExistentialTransitivity visit( ElkClassInclusionExistentialTransitivity inference) { return inferenceFactory_.getElkClassInclusionExistentialTransitivity( getObjectProperty("T"), getClasses("C", inference.getClassExpressions().size())); }
@Override public ElkClassInclusionExistentialTransitivity visit( ElkClassInclusionExistentialTransitivity inference) { return inferenceFactory_.getElkClassInclusionExistentialTransitivity( getObjectProperty("T"), getClasses("C", inference.getClassExpressions().size())); }
@Override public ElkClassInclusionExistentialTransitivity visit( ElkClassInclusionExistentialTransitivity inference) { return inferenceFactory_.getElkClassInclusionExistentialTransitivity( getObjectProperty("T"), getClasses("C", inference.getClassExpressions().size())); }
@Override public Integer visit(ElkClassInclusionExistentialTransitivity inference) { return combinedHashCode( hashCode(ElkClassInclusionExistentialTransitivity.class), hashCode(inference.getClassExpressions()), hashCode(inference.getTransitiveProperty())); }
@Override public Integer visit(ElkClassInclusionExistentialTransitivity inference) { return combinedHashCode( hashCode(ElkClassInclusionExistentialTransitivity.class), hashCode(inference.getClassExpressions()), hashCode(inference.getTransitiveProperty())); }
@Override public Integer visit(ElkClassInclusionExistentialTransitivity inference) { return combinedHashCode( hashCode(ElkClassInclusionExistentialTransitivity.class), hashCode(inference.getClassExpressions()), hashCode(inference.getTransitiveProperty())); }