Searched refs:random_deviate_leading_bit (Results 1 - 1 of 1) sorted by relevance

/netbsd-current/external/lgpl3/mpfr/dist/src/
H A Drandom_deviate.c129 * and we require that this allows x->e + 1 in random_deviate_leading_bit to
227 random_deviate_leading_bit (mpfr_random_deviate_ptr x, gmp_randstate_t r) function
299 l = random_deviate_leading_bit (x, r); /* l > 0 */

Completed in 197 milliseconds