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:8:0
Date: 2021-02-21
Compilation flags:
static, context_switching_callsRemarks:
Single random number generator: This object provides a faster version of the
randomlibrary object but does not support being extended to define multiple random number generators.
Inherited public predicates:
Public predicates
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, synchronizedMode and number of proofs:
reset_seed - onerandomize/1
Randomizes the random generator using a positive integer to compute a new seed.
Compilation flags:
static, synchronizedTemplate:
randomize(Seed)Mode and number of proofs:
randomize(+positive_integer) - oneProtected predicates
(no local declarations; see entity ancestors if any)
Private predicates
seed_/3
Stores the current random generator seed values.
Compilation flags:
dynamicTemplate:
seed_(S0,S1,S2)Mode and number of proofs:
seed_(-integer,-integer,-integer) - oneOperators
(none)
See also