Searched refs:fNotUseRandom (Results 1 – 7 of 7) sorted by relevance
181 int fNotUseRandom; // do not allow random decisions with a fixed probability member288 static int sat_solver3_set_random(sat_solver3* s, int fNotUseRandom) in sat_solver3_set_random() argument290 int fNotUseRandomOld = s->fNotUseRandom; in sat_solver3_set_random()291 s->fNotUseRandom = fNotUseRandom; in sat_solver3_set_random()
183 int fNotUseRandom; // do not allow random decisions with a fixed probability member302 static inline int sat_solver_set_random(sat_solver* s, int fNotUseRandom) in sat_solver_set_random() argument304 int fNotUseRandomOld = s->fNotUseRandom; in sat_solver_set_random()305 s->fNotUseRandom = fNotUseRandom; in sat_solver_set_random()
123 int fNotUseRandom; // do not allow random decisions with a fixed probability member
1004 double random_var_freq = s->fNotUseRandom ? 0.0 : 0.02; in solver2_search()1132 s->fNotUseRandom = 0; in sat_solver2_new()
1775 double random_var_freq = s->fNotUseRandom ? 0.0 : 0.02; in sat_solver3_search()
1819 double random_var_freq = s->fNotUseRandom ? 0.0 : 0.02; in sat_solver_search()
519 p->pSat->fNotUseRandom = fSkipRand; in Aig_Gla3ManPerform()