Sets the RNG seed

Descrição

mixed gmp_random_seed ( mixed $seed )

Parâmetros

seed

The seed to be set for the gmp_random(), gmp_random_bits(), and gmp_random_range() functions.

Ele pode ser qualquer número GMP resource, ou uma string numérica que é possível convertê-la para um número.

Valor Retornado

Returns NULL on success.

Erros

Issues an E_WARNING and returns FALSE if seed is not valid.

Exemplos

Exemplo #1 gmp_random_seed() example


<?php
// set the seed
gmp_random_seed(100);

var_dump(gmp_strval(gmp_random(1)));

// set the seed to something else
gmp_random_seed(gmp_init(-100));

var_dump(gmp_strval(gmp_random_bits(10)));

// set the seed to something invalid
var_dump(gmp_random_seed('not a number'));

O exemplo acima irá imprimir:

string(20) "15370156633245019617"
string(3) "683"

Warning: gmp_random_seed(): Unable to convert variable to GMP - string is not an integer in %s on line %d
bool(false)

Veja Também

gmp_init() - Cria um número GMP
gmp_random() - Número randomico
gmp_random_bits() - Random number
gmp_random_range() - Random number