object

fast_random

Fast portable random number generator predicates. Core predicates originally written by Richard O'Keefe. Based on algorithm AS 183 from Applied Statistics.

author:
Paulo Moura
version:
2.4
date:
2018/7/20
compilation flags:
static, context_switching_calls
implements:
public randomp

Public interface

reset_seed/0

Resets the random generator seed to its default value. Use get_seed/1 and set_seed/1 instead if you need reproducibility.

compilation flags:
static, synchronized
mode – number of proofs:
reset_seed – one

randomize/1

Randomizes the random generator using a positive integer to compute a new seed.

compilation flags:
static, synchronized
template:
randomize(Seed)
mode – number of proofs:
randomize(+positive_integer) – one

Protected interface

(see related entities)

Private predicates

seed_/3

Stores the current random generator seed values.

compilation flags:
dynamic
template:
seed_(S0,S1,S2)
mode – number of proofs:
seed_(-integer,-integer,-integer) – one

Operators

(none)

Remarks

Single random number generator
This object provides a faster version of the "random" library object but does not support being extended to define multiple random number generators.

See also