set_seed

Description:

public void set_seed (uint32 seed)

Sets the seed for the random number generator Rand to seed.

Parameters:

this

a Rand
seed

a value to reinitialize the random number generator