Searched refs:PICK_GIVEN_RATIO (Results 1 – 4 of 4) sorted by relevance
501 Parms[PICK_GIVEN_RATIO].name = "pick_given_ratio"; in init_options()502 Parms[PICK_GIVEN_RATIO].val = -1; in init_options()503 Parms[PICK_GIVEN_RATIO].min = -1; in init_options()504 Parms[PICK_GIVEN_RATIO].max = MAX_INT; in init_options()799 auto_change_parm(fp, PICK_GIVEN_RATIO, 4); in dependent_flags()812 auto_change_parm(fp, PICK_GIVEN_RATIO, 4); in dependent_flags()1106 if ( (Parms[PICK_GIVEN_RATIO].val != -1) || in check_options()1114 if (Parms[PICK_GIVEN_RATIO].val != -1) { in check_options()
210 PICK_GIVEN_RATIO, /* pick lightest n times, then pick first */ enumerator
3349 else if (Parms[PICK_GIVEN_RATIO].val != -1 && in find_given_clause()3350 Stats[CL_GIVEN] % (Parms[PICK_GIVEN_RATIO].val + 1) == 0) in find_given_clause()
2369 auto_change_parm(stdout, PICK_GIVEN_RATIO, 2); in automatic_2_settings()