Home
last modified time | relevance | path

Searched refs:DYNAMIC_HEAT_WEIGHT (Results 1 – 3 of 3) sorted by relevance

/dports/misc/otter/otter-3.3f/source/
H A Dcos.h242 DYNAMIC_HEAT_WEIGHT, /* max weigth of dynamic hot clause */ enumerator
H A Doptions.c541 Parms[DYNAMIC_HEAT_WEIGHT].name = "dynamic_heat_weight"; in init_options()
542 Parms[DYNAMIC_HEAT_WEIGHT].val = -MAX_INT; in init_options()
543 Parms[DYNAMIC_HEAT_WEIGHT].min = -MAX_INT; in init_options()
544 Parms[DYNAMIC_HEAT_WEIGHT].max = MAX_INT; in init_options()
H A Dprocess.c717 if (!input && c->pick_weight <= Parms[DYNAMIC_HEAT_WEIGHT].val) in pre_process()