protocol

randomp

Random number generator protocol.

author:
Paulo Moura
version:
1.1
date:
2008/10/31
compilation flags:
static

(no dependencies on other files)

Public interface

random/1

Returns a new random float value in the interval [0.0, 1.0[.

compilation flags:
static, synchronized
template:
random(Random)
mode – number of proofs:
random(-float) – one

random/3

Returns a new random value in the interval [Lower, Upper[.

compilation flags:
static, synchronized
template:
random(Lower,Upper,Random)
mode – number of proofs:
random(+integer,+integer,-integer) – zero_or_one
random(+float,+float,-float) – zero_or_one

randseq/4

Returns a list of Length random values in the interval [Lower, Upper[.

compilation flags:
static, synchronized
template:
randseq(Length,Lower,Upper,List)
mode – number of proofs:
randseq(+integer,+integer,+integer,-list(integer)) – zero_or_one
randseq(+integer,+float,+float,-list(float)) – zero_or_one

randset/4

Returns an ordered set of Length random values in the interval [Lower, Upper[.

compilation flags:
static, synchronized
template:
randset(Length,Lower,Upper,Set)
mode – number of proofs:
randset(+integer,+integer,+integer,-list(integer)) – zero_or_one
randset(+integer,+float,+float,-list(float)) – zero_or_one

reset_seed/0

Resets the random seed to its default value.

compilation flags:
static, synchronized
mode – number of proofs:
reset_seed – one

set_seed/1

Sets the random seed to the given value.

compilation flags:
static, synchronized
template:
set_seed(Seed)
mode – number of proofs:
set_seed(+integer) – zero_or_one

Protected interface

(none)

Private predicates

(none)

Operators

(none)

Remarks

(none)