protocol
pseudo_random_protocol¶
Pseudo-random number generator protocol for seed handling predicates. These predicates are declared as synchronized when the library is compiled using a backend supporting threads.
Author: Paulo Moura
Version: 1:0:0
Date: 2021-02-21
Compilation flags:
staticExtends:
public random_protocolRemarks:
(none)
Inherited public predicates:
Public predicates¶
get_seed/1¶
Gets the current random generator seed. Seed should be regarded as an opaque ground term.
Compilation flags:
static, synchronizedTemplate:
get_seed(Seed)Mode and number of proofs:
get_seed(-ground) - oneset_seed/1¶
Sets the random generator seed to a given value returned by calling the get_seed/1 predicate.
Compilation flags:
static, synchronizedTemplate:
set_seed(Seed)Mode and number of proofs:
set_seed(+ground) - oneProtected predicates¶
(no local declarations; see entity ancestors if any)
Private predicates¶
(no local declarations; see entity ancestors if any)