Searched refs:bound_value (Results 1 – 1 of 1) sorted by relevance
6345 double bound_value; in units_to_automata_heuristic_distr() local6363 bound_value = unit_decls[0]->max_occ_cycle_num; in units_to_automata_heuristic_distr()6372 || (bound_value in units_to_automata_heuristic_distr()6376 bound_value = unit_decls[i]->max_occ_cycle_num; in units_to_automata_heuristic_distr()6380 bound_value *= unit_decls[i]->max_occ_cycle_num; in units_to_automata_heuristic_distr()