[
https://issues.apache.org/jira/browse/CLEREZZA-948?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Reto Gmür resolved CLEREZZA-948.
--------------------------------
Resolution: Fixed
skipping merging step if sets are ==
> 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.2#6252)
