gmp_random_seed

gmp_random_seed

Sets the RNG seed

void **gmp_random_seed**  $seed

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

return.void

Throws a if is invalid. ValueError``seed

Voorbeeld: 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'));

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)

gmp_init``gmp_random``gmp_random_bits``gmp_random_range