merge_with_set
Description:
public void merge_with_set (
Set set_to_merge)
Add to this all the holders of set_to_merge.
Note1: only the Holder of set_to_merge for which no holder in
this has the same ID are merged Note2: all the Holder
merged in this are still used by set_to_merge.
Parameters:
| this |
a Set object
|
| set_to_merge |
a Set object
|