Searched refs:fNotUseRandomOld (Results 1 – 2 of 2) sorted by relevance
290 int fNotUseRandomOld = s->fNotUseRandom; in sat_solver3_set_random() local292 return fNotUseRandomOld; in sat_solver3_set_random()
304 int fNotUseRandomOld = s->fNotUseRandom; in sat_solver_set_random() local306 return fNotUseRandomOld; in sat_solver_set_random()