add_holder
Description:
Adds holder to the list of holders managed within this.
NOTE: if this already has a Holder with the same ID
as holder, then holder will not be added to the set (even if holder's type or value is not the same as
the one already in this).
Parameters:
| this |
a Set object |
| holder |
a Holder object |
Returns:
|
TRUE if |