Set.mergeWithSet

Add to set all the holders of set_to_merge. Note1: only the #GdaHolder of set_to_merge for which no holder in set has the same ID are merged Note2: all the #GdaHolder merged in set are still used by set_to_merge.

class Set

void

mergeWithSet

(

gda.set.Set setToMerge

)

Parameters

setToMerge gda.set.Set: a #GdaSet object