Synopsis Define the seed for the generation of arbitrary values.
Function
void arbSeed(int seed)
Usage
import util::Math;
Description Define the seed for the generation of arbitrary values such as arbBool, arbInt, arbReal,
arbRat, List/getOneFrom,Set/getOneFrom, List/takeOneFrom and Set/takeOneFrom. arbSeed resets the random number generator that
is used to choose arbitrary values. This can be used to generate a reproducible series of choices.