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)