Searched refs:automata_num (Results 1 – 2 of 2) sorted by relevance
3187 static int automata_num; variable6547 / automata_num); in estimate_one_automaton_bound()6605 gcc_assert (automata_num - automaton_num - 1 <= rest_units_num); in units_to_automata_heuristic_distr()6606 if (automaton_num < automata_num - 1 in units_to_automata_heuristic_distr()6607 && ((automata_num - automaton_num - 1 == rest_units_num) in units_to_automata_heuristic_distr()6619 gcc_assert (automaton_num == automata_num - 1); in units_to_automata_heuristic_distr()6697 if (automata_num != 0) in create_automata()6701 curr_automaton_num < automata_num; in create_automata()9186 automata_num = split_argument; in generate()9187 if (description->units_num < automata_num) in generate()[all …]
3191 static int automata_num; variable6575 / automata_num); in estimate_one_automaton_bound()6633 gcc_assert (automata_num - automaton_num - 1 <= rest_units_num); in units_to_automata_heuristic_distr()6634 if (automaton_num < automata_num - 1 in units_to_automata_heuristic_distr()6635 && ((automata_num - automaton_num - 1 == rest_units_num) in units_to_automata_heuristic_distr()6647 gcc_assert (automaton_num == automata_num - 1); in units_to_automata_heuristic_distr()6725 if (automata_num != 0) in create_automata()6729 curr_automaton_num < automata_num; in create_automata()9232 automata_num = split_argument; in generate()9233 if (description->units_num < automata_num) in generate()[all …]