Searched refs:VAR_RANDOM_MASK (Results 1 – 5 of 5) sorted by relevance
56 #define VAR_RANDOM_MASK ((uint32_t)0xFFFFFF) macro57 #define VAR_RANDOM_SCALE (VAR_RANDOM_MASK+1)
1110 #define VAR_RANDOM_MASK ((uint32_t)0xFFFFFF) macro1111 #define VAR_RANDOM_SCALE (VAR_RANDOM_MASK+1)
265 #define VAR_RANDOM_MASK ((uint32_t)0xFFFFFF) macro266 #define VAR_RANDOM_SCALE (VAR_RANDOM_MASK+1)8891 rnd = random_uint32(solver) & VAR_RANDOM_MASK; in nsat_select_decision_variable()
277 #define VAR_RANDOM_MASK ((uint32_t)0xFFFFFF) macro278 #define VAR_RANDOM_SCALE (VAR_RANDOM_MASK+1)8713 rnd = random_uint32(solver) & VAR_RANDOM_MASK; in nsat_select_decision_variable()
2169 rnd = random_uint32(s) & VAR_RANDOM_MASK; in select_unassigned_literal()