(PHP 7)
gmp_random_seed — Sets the RNG seed
seedThe seed to be set for the gmp_random(), gmp_random_bits(), and gmp_random_range() functions.
Un număr GMP sub formă de resource în PHP 5.5 și anterior, un obiect GMP în PHP 5.6 și ultrior, su un șir de caractere numeric atunci când acesta poate fi convertit într-un număr.
Returns NULL on success sau FALSE în cazul eșecului.
Issues an E_WARNING and returns FALSE if
seed is not valid.
Example #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'));
Exemplul de mai sus va afișa:
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)