Searched refs:var_act_rescale (Results 1 – 5 of 5) sorted by relevance
22 static inline void var_act_rescale(solver_t *s) in var_act_rescale() function28 activity[i] = sdbl_div(activity[i], s->opts.var_act_rescale); in var_act_rescale()29 s->var_act_inc = sdbl_div(s->var_act_inc, s->opts.var_act_rescale); in var_act_rescale()40 var_act_rescale(s); in var_act_bump()
60 unsigned var_act_rescale; member
183 opts->var_act_rescale = VAR_ACT_RESCALE; in satoko_default_opts()
437 opts.var_act_rescale = (unsigned)strtol(argv[globalUtilOptind], NULL, 16); in Cmd_DeriveOptionFromSettings()
25508 …t( -2, "\t-U num : Variable activity re-scale factor [default = 0x%08X]\n", opts.var_act_rescale ); in Abc_CommandSatoko()