|Rand.Set||Part of Rand module|
|Syntax|| Rand.Set (seed : nat4)|
|Description|| This procedure sets the seed for sequences of pseudo-random numbers produced by Rand.Real and Rand.Int. This allows identical executions of the same program to produce identical results.|
|Example|| This program simulates the repeated rolling of a six sided die. Each time the program runs, the same sequence of rolls occurs.|
Rand.Set (16#1234ABCD) loop put "Rolled ", Rand.Int (1, 6) end loop
|Details|| If Rand.Reset and Rand.Set are not used, each time a program runs Rand.Real and Rand.Int use a different pseudo-random number sequence. To get the same sequence each time (actually, to start the sequence at a different point), use Rand.Reset or Rand.Set.|
To use several sequences of repeatable pseudo-random number sequences, use the Rand.Seed and Rand.Next procedures.
|Status|| Exported qualified.|
This means that you can only call the function by calling Rand.Set, not by calling Set.
|See also|| Rand.Reset, Rand.Int, Rand.Real, Rand.Seed and Rand.Next.|