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