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:
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