Searched refs:minimal_DFA_arcs_num (Results 1 – 1 of 1) sorted by relevance
838 int minimal_DFA_arcs_num; member6351 automaton->minimal_DFA_arcs_num = arcs_num; in build_automaton()9116 automaton->minimal_DFA_arcs_num); in output_statistics()