Searched refs:btor_rng_clone (Results 1 – 4 of 4) sorted by relevance
46 void btor_rng_clone (BtorRNG* rng, BtorRNG* clone);
54 btor_rng_clone (BtorRNG* rng, BtorRNG* clone) in btor_rng_clone() function
1082 btor_rng_clone (&res->rng, &aprop->rng); in btor_aigprop_clone_aigprop()
909 btor_rng_clone (&btor->rng, &clone->rng); in clone_aux_btor()