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
|