set_address_pool


Description:

public void set_address_pool (AddressPool? pool)

configure pool to be used as the address pool of this.

Parameters:

this

a MediaFactory

pool

a AddressPool