Searched defs:diff_prob (Results 1 – 2 of 2) sorted by relevance
852 int diff_prob = best_prob / 10; in better_edge_p() local
948 profile_probability diff_prob = best_prob.apply_scale (1, 10); in better_edge_p() local