rand_seed

#Rand.Seed

##Syntax Rand.Seed (seed : nat4, seq : 1 .. 10)

##Description The Rand.Seed procedure restarts one of the sequences generated by Rand.Next. Each restart with the same seed causes Rand.Next to produce the same sequence for the given sequence.

##Status Exported qualified.

This means that you can only call the function by calling Rand.Seed, not by calling Seed.

##See also rand_next.html, rand_int.html, rand_real.html, and rand_set.html.