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