RandomNumberGenerator
DescriptionA Random Number Generator is a functors that can be used to generate a random sequence of integers. That is: if Refinement ofAssociated types
Notation
DefinitionsThe domain of a Random Number Generator (i.e. the set of permissible values for its argument) is the set of numbers that are greater than zero and less than some maximum value. The range of a Random Number Generator is the set of nonnegative integers that are less than the Random Number Generator's argument. Valid expressionsNone, except for those defined by UnaryFunction. Expression semantics
Complexity guaranteesInvariants
ModelsNotes[1] Uniform distribution means that all of the numbers in the range [2] Random number generators are a very subtle subject: a good random number generator must satisfy many statistical properties beyond uniform distribution. See section 3.4 of Knuth for a discussion of what it means for a sequence to be random, and section 3.2 for several algorithms that may be used to write random number generators. (D. E. Knuth, The Art of Computer Programming. Volume 2: Seminumerical Algorithms, third edition. Addison-Wesley, 1998.) See also |