[
https://issues.apache.org/jira/browse/CLEREZZA-948?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=14144789#comment-14144789
]
ASF subversion and git services commented on CLEREZZA-948:
----------------------------------------------------------
Commit a04aec6eeb9bc7aaafc35a75002a0477da17e5f1 in clerezza's branch
refs/heads/master from [~reto]
[ https://git-wip-us.apache.org/repos/asf?p=clerezza.git;h=a04aec6 ]
CLEREZZA-948: avoid unnecessary merging of a set wit itself
> Performance improvement when creating equivalence sets
> ------------------------------------------------------
>
> Key: CLEREZZA-948
> URL: https://issues.apache.org/jira/browse/CLEREZZA-948
> Project: Clerezza
> Issue Type: Improvement
> Reporter: Reto Gmür
> Assignee: Reto Gmür
>
> Currently if subject and object are both in an equivalence set the sets are
> merged. The code should check if the set happens to be the same instance, in
> which case the unification step can be skipped.
--
This message was sent by Atlassian JIRA
(v6.3.4#6332)
