Home
last modified time | relevance | path

Searched refs:fNotUseRandom (Results 1 – 7 of 7) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat/
H A DsatSolver3.h181 int fNotUseRandom; // do not allow random decisions with a fixed probability member
288 static int sat_solver3_set_random(sat_solver3* s, int fNotUseRandom) in sat_solver3_set_random() argument
290 int fNotUseRandomOld = s->fNotUseRandom; in sat_solver3_set_random()
291 s->fNotUseRandom = fNotUseRandom; in sat_solver3_set_random()
H A DsatSolver.h183 int fNotUseRandom; // do not allow random decisions with a fixed probability member
302 static inline int sat_solver_set_random(sat_solver* s, int fNotUseRandom) in sat_solver_set_random() argument
304 int fNotUseRandomOld = s->fNotUseRandom; in sat_solver_set_random()
305 s->fNotUseRandom = fNotUseRandom; in sat_solver_set_random()
H A DsatSolver2.h123 int fNotUseRandom; // do not allow random decisions with a fixed probability member
H A DsatSolver2.c1004 double random_var_freq = s->fNotUseRandom ? 0.0 : 0.02; in solver2_search()
1132 s->fNotUseRandom = 0; in sat_solver2_new()
H A DsatSolver3.c1775 double random_var_freq = s->fNotUseRandom ? 0.0 : 0.02; in sat_solver3_search()
H A DsatSolver.c1819 double random_var_freq = s->fNotUseRandom ? 0.0 : 0.02; in sat_solver_search()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/
H A DsaigGlaPba2.c519 p->pSat->fNotUseRandom = fSkipRand; in Aig_Gla3ManPerform()