object

random

Portable random number generator predicates. Core predicates originally written by Richard O'Keefe.

author:
Paulo Moura
version:
2.1
date:
2017/2/25
compilation flags:
static, context_switching_calls
implements:
public randomp

Public interface

(see related entities)

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

Multiple random number generators
To define multiple random number generators, simply extend this object. The derived objects must send to self the reset_seed/0 message.

See also

(none)