Searched refs:DFA_states_num (Results 1 – 1 of 1) sorted by relevance
831 int NDFA_states_num, DFA_states_num; member6332 automaton->DFA_states_num = states_num; in build_automaton()9110 automaton->DFA_states_num, automaton->DFA_arcs_num); in output_statistics()9111 states_num = automaton->DFA_states_num; in output_statistics()