Searched refs:output_automaton_name (Results 1 – 2 of 2) sorted by relevance
8889 output_automaton_name (FILE *f, automaton_t automaton) in output_automaton_name() function9075 output_automaton_name (output_description_file, automaton); in output_automaton_descriptions()9106 output_automaton_name (f, automaton); in output_statistics()