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:7:0
Date: 2020-02-01
Compilation flags:
static, context_switching_calls
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.
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, synchronized
Mode and 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 and number of proofs:
randomize(+positive_integer)
- one
Protected predicates¶
(no local declarations; see entity ancestors if any)