Home
last modified time | relevance | path

Searched refs:var_act_rescale (Results 1 – 5 of 5) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/satoko/
H A Dact_var.h22 static inline void var_act_rescale(solver_t *s) in var_act_rescale() function
28 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()
H A Dsatoko.h60 unsigned var_act_rescale; member
H A Dsolver_api.c183 opts->var_act_rescale = VAR_ACT_RESCALE; in satoko_default_opts()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/cmd/
H A DcmdAuto.c437 opts.var_act_rescale = (unsigned)strtol(argv[globalUtilOptind], NULL, 16); in Cmd_DeriveOptionFromSettings()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A Dabc.c25508 …t( -2, "\t-U num : Variable activity re-scale factor [default = 0x%08X]\n", opts.var_act_rescale ); in Abc_CommandSatoko()