set_seed


Description:

public void set_seed (uint32 seed)