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