object

random

Random number generator predicates.

author:
Paulo Moura
version:
1.4
date:
2007/10/13
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

(none)