Home
last modified time | relevance | path

Searched refs:btor_rng_rand (Results 1 – 3 of 3) sorted by relevance

/dports/math/boolector/boolector-3.2.2/src/utils/
H A Dbtorrng.c49 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() function
100 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()
H A Dbtorrng.h56 uint32_t btor_rng_rand (BtorRNG* rng);
/dports/math/boolector/boolector-3.2.2/src/
H A Dbtorbv.c219 res->bits[i] = (BTOR_BV_TYPE) btor_rng_rand (rng); in btor_bv_new_random_bit_range()