Searched refs:bound_value (Results 1 – 1 of 1) sorted by relevance
6581 double bound_value; in units_to_automata_heuristic_distr() local6599 bound_value = unit_decls[0]->max_occ_cycle_num; in units_to_automata_heuristic_distr()6608 || (bound_value in units_to_automata_heuristic_distr()6612 bound_value = unit_decls[i]->max_occ_cycle_num; in units_to_automata_heuristic_distr()6616 bound_value *= unit_decls[i]->max_occ_cycle_num; in units_to_automata_heuristic_distr()