Home
last modified time | relevance | path

Searched refs:var_inc_vsids (Results 1 – 4 of 4) sorted by relevance

/dports/math/py-cryptominisat/cryptominisat-5.8.0/src/
H A Dsearcher.h182 double var_inc_vsids;
608 var_act_vsids[var].act += var_inc_vsids * mult;
627 var_inc_vsids *= 1e-100;
H A Dsearcher.cpp82 var_inc_vsids = 1; in Searcher()
3341 var_inc_vsids *= (1.0 / var_decay); in vsids_decay_var_act()
/dports/math/cryptominisat/cryptominisat-5.8.0/src/
H A Dsearcher.h182 double var_inc_vsids; variable
608 var_act_vsids[var].act += var_inc_vsids * mult; in vsids_bump_var_act()
627 var_inc_vsids *= 1e-100; in vsids_bump_var_act()
H A Dsearcher.cpp82 var_inc_vsids = 1; in Searcher()
3341 var_inc_vsids *= (1.0 / var_decay); in vsids_decay_var_act()