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)