Searched refs:minimal_DFA_arcs_num (Results 1 – 1 of 1) sorted by relevance
839 int minimal_DFA_arcs_num; member6115 automaton->minimal_DFA_arcs_num = arcs_num; in build_automaton()8802 automaton->minimal_DFA_arcs_num); in output_statistics()