The decomposition tree is now a clan factory avoiding the creation and color-study of repeatedly found clans (e.g. in splitting). The price is that adding an item to a clan in case 1a of Clan.add() requires making a duplicate, then updating it. Right now we pay this price. Worth it? Maybe with profiling we can find out.
The decomposition tree is now a clan factory avoiding the creation and color-study of repeatedly found clans (e.g. in splitting). The price is that adding an item to a clan in case 1a of Clan.add() requires making a duplicate, then updating it. Right now we pay this price. Worth it? Maybe with profiling we can find out.