next up previous contents index
Next: seed Up: RandomNumberGenerator Previous: randomGenerator   Contents   Index


randomInteger


Usage

randomInteger()


Signature

randomInteger: () $\to$ MachineInteger


Returns

Returns a pseudo-random integer.


Manuel Bronstein 2004-06-28