Searched refs:general_grace_time_ratio (Results 1 – 4 of 4) sorted by relevance
20 double general_grace_time_ratio = DESCENT_DEFAULT_GRACE_TIME_RATIO; variable
23 extern double general_grace_time_ratio;
74 contender.set_time_left(time_left, doing.iteration ? INFINITY : general_grace_time_ratio); in register_contending_relation()
1496 param_list_parse_double(pl, "grace-time-ratio", &general_grace_time_ratio); in main()