remove_many
Description:
public void remove_many (
Element[] elements)
Removes a list of elements from a bin.
This function is equivalent to calling remove with each member of the list.
Parameters:
| this |
a Bin
|
| element_1 |
the first Element to remove from the bin
|
| ... |
null-terminated list of elements to remove from the bin
|