Searched refs:NEG_WEIGHT (Results 1 – 3 of 3) sorted by relevance
217 NEG_WEIGHT, /* add this value to wight of negative literals */ enumerator
446 Parms[NEG_WEIGHT].name = "neg_weight"; in init_options()447 Parms[NEG_WEIGHT].val = 0; in init_options()448 Parms[NEG_WEIGHT].min = -MAX_INT; in init_options()449 Parms[NEG_WEIGHT].max = MAX_INT; in init_options()
2158 neg_weight = Parms[NEG_WEIGHT].val; in weight_cl()