Searched refs:btor_rng_rand (Results 1 – 3 of 3) sorted by relevance
49 gmp_randseed_ui (*((gmp_randstate_t*) rng->gmp_state), btor_rng_rand (rng)); in btor_rng_init()82 btor_rng_rand (BtorRNG* rng) in btor_rng_rand() function100 res = btor_rng_rand (rng); in btor_rng_pick_rand()114 res = (double) btor_rng_rand (rng) / UINT32_MAX; in btor_rng_pick_rand_dbl()
56 uint32_t btor_rng_rand (BtorRNG* rng);
219 res->bits[i] = (BTOR_BV_TYPE) btor_rng_rand (rng); in btor_bv_new_random_bit_range()