add_many


Description:

public void add_many (Element[] elements)

Adds a null-terminated list of elements to a bin.

This function is equivalent to calling add for each member of the list. The return value of each add is ignored.

Parameters:

this

a Bin

element_1

the Element element to add to the bin

...

additional elements to add to the bin