7.1 RND:Set Random Seed

A random number generator (RNG) must be seeded with an initial value.

This module is usually positioned as the first child of the main globule. See section STD: Top File.

Three seeding options are available. Manual means that at runtime this Bunao script will prompt the user for a seed value. Automatic means at runtime the program will use the time (clock) in milliseconds to seed the RNG. Finally, the Static Seed option allows a specific seed to be entered, which will be used each time (the value entered may be a variable reference). Use the radiobuttons to select from among the three. The default value is Automatic.

Check the Echo seed used to standard output to have the module report what seed is used at runtime. By default, this option is selected.

RND:Set Random Seed user interface:

RND:Set Random Seed attribute list:

Attribute	Type	Default	Description
seedsrc	manual auto static	`auto'	how to obtain the seed
seedval	integer	`0'	value to use for seed, if seed source is static
echo	boolean	`1'	echo seed to standard output