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 Stream
pool

a AddressPool