| /dports/math/boolector/boolector-3.2.2/src/ |
| H A D | btormbt.c | 2593 btor_rng_pick_rand ( in btormbt_state_new()
2595 btor_rng_pick_rand ( in btormbt_state_new()
2597 btor_rng_pick_rand ( in btormbt_state_new()
2603 btor_rng_pick_rand ( in btormbt_state_new()
2612 btor_rng_pick_rand ( in btormbt_state_new()
2614 btor_rng_pick_rand ( in btormbt_state_new()
2619 btor_rng_pick_rand ( in btormbt_state_new()
2621 btor_rng_pick_rand ( in btormbt_state_new()
3000 btor_rng_pick_rand ( in btormbt_state_init()
3005 btor_rng_pick_rand ( in btormbt_state_init()
[all …]
|
| H A D | btorproputils.c | 47 return (int32_t) btor_rng_pick_rand (&btor->rng, 0, exp->arity - 1); in select_path_random()
962 btor_bv_set_bit (res, i, btor_rng_pick_rand (&btor->rng, 0, 1)); in cons_and_bv()
1115 shift = btor_rng_pick_rand ( in cons_sll_bv()
1174 shift = btor_rng_pick_rand (&btor->rng, 0, i == bw ? i - 1 : i); in cons_srl_bv()
1259 if ((r = btor_rng_pick_rand (&btor->rng, 0, ctz_bvmul))) in cons_mul_bv()
1486 r = btor_rng_pick_rand (&btor->rng, 0, btor_bv_get_width (res)); in cons_concat_bv()
2156 btor_rng_pick_rand (&btor->rng, 0, 1)); in inv_sll_bv()
3265 : btor_rng_pick_rand (&btor->rng, 0, 1)); in inv_slice_bv()
3278 : btor_rng_pick_rand (&btor->rng, 0, 1)); in inv_slice_bv()
3289 rlower = btor_rng_pick_rand (&btor->rng, 0, lower - 1); in inv_slice_bv()
[all …]
|
| H A D | btorslvsls.c | 151 r = btor_rng_pick_rand (&btor->rng, 0, BTOR_COUNT_STACK (stack) - 1); in select_candidate_constraint()
225 btor_rng_pick_rand ( in select_candidates()
984 btor_rng_pick_rand ( in select_move()
1063 btor_rng_pick_rand ( in select_random_move()
1078 r = btor_rng_pick_rand (&btor->rng, 0, BTOR_SLS_MOVE_DONE - 1 + bw - 1); in select_random_move()
1100 up = btor_rng_pick_rand (&btor->rng, bw > 1 ? 1 : 0, bw - 1); in select_random_move()
1104 lo = btor_rng_pick_rand (&btor->rng, 0, bw - 1); in select_random_move()
1105 up = btor_rng_pick_rand (&btor->rng, lo < bw - 1 ? lo + 1 : lo, bw - 1); in select_random_move()
1111 btor->mm, ass, btor_rng_pick_rand (&btor->rng, 0, bw - 1)); in select_random_move()
|
| H A D | aigprop.c | 774 r = btor_rng_pick_rand (&aprop->rng, 0, BTOR_COUNT_STACK (stack) - 1); in select_root()
855 eidx = btor_rng_pick_rand (&aprop->rng, 0, 1); in select_move()
863 assnew = btor_rng_pick_rand (&aprop->rng, 0, 1); in select_move()
|
| H A D | btorslvprop.c | 104 r = btor_rng_pick_rand (&btor->rng, 0, slv->roots->count - 1); in select_constraint()
|
| H A D | btorbv.c | 220 res->bits[0] = (BTOR_BV_TYPE) btor_rng_pick_rand ( in btor_bv_new_random_bit_range()
|
| /dports/math/boolector/boolector-3.2.2/src/utils/ |
| H A D | btorrng.c | 91 btor_rng_pick_rand (BtorRNG* rng, uint32_t from, uint32_t to) in btor_rng_pick_rand() function
127 r = btor_rng_pick_rand (rng, 0, BTOR_PROB_MAX - 1); in btor_rng_pick_with_prob()
|
| H A D | btorrng.h | 58 uint32_t btor_rng_pick_rand (BtorRNG* rng, uint32_t from, uint32_t to);
|
| /dports/math/boolector/boolector-3.2.2/test/ |
| H A D | test_propinv.cpp | 808 r = btor_rng_pick_rand (&d_btor->rng, 0, i - 1); in check_conf_mul()
830 r = btor_rng_pick_rand (&d_btor->rng, 1, bw - 1); in check_conf_mul()
839 r = btor_rng_pick_rand (&d_btor->rng, 0, j - 1); in check_conf_mul()
1177 bws[0] = btor_rng_pick_rand (&d_btor->rng, 1, bw - 1); in check_conf_concat()
1196 if (btor_rng_pick_rand (&d_btor->rng, 0, 5)) in check_conf_concat()
|
| H A D | test_bv.cpp | 437 bw1 = btor_rng_pick_rand (d_rng, 1, bit_width - 1); in concat_bitvec()
496 len = btor_rng_pick_rand (d_rng, 0, bit_width - 1); in ext_bitvec()
568 pos = btor_rng_pick_rand (d_rng, 0, bit_width - 1); in flipped_bit_bitvec()
589 lo = btor_rng_pick_rand (d_rng, 0, bit_width - 1); in flipped_bit_range_bitvec()
592 : btor_rng_pick_rand (d_rng, lo + 1, bit_width - 1); in flipped_bit_range_bitvec()
613 lo = btor_rng_pick_rand (d_rng, 0, bw - 1); in new_random_bit_range_bitvec()
614 up = lo == bw - 1 ? bw - 1 : btor_rng_pick_rand (d_rng, lo + 1, bw - 1); in new_random_bit_range_bitvec()
2041 n = btor_rng_pick_rand (d_rng, 0, i - 1); in TEST_F()
2760 d_mm, btor_rng_pick_rand (d_rng, 1, (1 << i) - 1), i); in TEST_F()
2785 d_mm, btor_rng_pick_rand (d_rng, 1, (1 << i) - 1), i); in TEST_F()
|