[Gate-users] manually set random seed

[Daniel Woodsworth]

Hi,

Is it possible to manually set the seed of the random number generator in
GATE?

Ie. is there some command

/gate/some_word/setRandomSeed 55

Thanks for any help.

Daniel Woodsworth