Set the seed for random number generation. More...
Set the seed for random number generation.
Sets the seed for the current default random engine.