Searched refs:btor_rng_init (Results 1 – 6 of 6) sorted by relevance
38 void btor_rng_init (BtorRNG* rng, uint32_t seed);
23 btor_rng_init (BtorRNG* rng, uint32_t seed) in btor_rng_init() function
1603 btor_rng_init (&btor->rng, val); in btor_opt_set()
1106 btor_rng_init (&res->rng, seed); in btor_aigprop_new_aigprop()
816 btor_rng_init (&mbt->round.rng, 0); in btormbt_new_btormbt()3871 btor_rng_init (&mbt->round.rng, mbt->seed); in reset_round_data()
694 btor_rng_init (&btor->rng, btor_opt_get (btor, BTOR_OPT_SEED)); in btor_new()