Command: seed
NEST HelpDesk
Command Index
NEST Quick Reference
Name:
seed - Set the seed of a random number generator.
Synopsis:
rangen int seed -> -
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
NEST HelpDesk
Command Index
NEST Quick Reference
© 2004
The NEST Initiative