Searched refs:ndfa_flag (Results 1 – 1 of 1) sorted by relevance
255 static int ndfa_flag; variable1519 ndfa_flag = 1; in gen_automata_option()5371 if (!ndfa_flag) in make_automaton()5375 if (!ndfa_flag && added_arc != NULL) in make_automaton()5451 gcc_assert (ndfa_flag); in create_composed_state()8848 fprintf (f, (!ndfa_flag ? ", building DFA: " : ", building NDFA: ")); in output_time_statistics()8850 if (ndfa_flag) in output_time_statistics()8936 ndfa_flag = 0; in initiate_automaton_gen()8953 ndfa_flag = 1; in initiate_automaton_gen()