(PHP 7)
gmp_random_seed — Sets the RNG seed
gmp_random_seed ( GMP|int|string $seed ) : void
seed
The seed to be set for the gmp_random(), gmp_random_bits(), and gmp_random_range() functions.
A GMP object, an int or a numeric string.
Returns null
on success or false
on failure.
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'));
The above example will output:
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)
© 1997–2020 The PHP Documentation Group
Licensed under the Creative Commons Attribution License v3.0 or later.
https://www.php.net/manual/en/function.gmp-random-seed.php