Home
last modified time | relevance | path

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

/dports/misc/otter/otter-3.3f/source/
H A Doptions.c501 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()
H A Dcos.h210 PICK_GIVEN_RATIO, /* pick lightest n times, then pick first */ enumerator
H A Dclause.c3349 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()
H A Dmisc.c2369 auto_change_parm(stdout, PICK_GIVEN_RATIO, 2); in automatic_2_settings()