Name: seed - Set the seed of a random number generator.

Synopsis:

rangen int seed -&gt; -


Description:

Seeds random number generator with a new seed.


SeeAlso:

CreateRNG

Source:

/var/www/debian/nest/nest-simulator-2.20.0/lib/sli/librandom.sli
