Lines Matching refs:print_active_time
3170 print_active_time (FILE *f, ticker_t ticker) in print_active_time() function
9161 print_active_time (f, transform_time); in output_time_statistics()
9163 print_active_time (f, NDFA_time); in output_time_statistics()
9167 print_active_time (f, NDFA_to_DFA_time); in output_time_statistics()
9170 print_active_time (f, minimize_time); in output_time_statistics()
9172 print_active_time (f, equiv_time); in output_time_statistics()
9174 print_active_time (f, automaton_generation_time); in output_time_statistics()
9176 print_active_time (f, output_time); in output_time_statistics()
9545 print_active_time (stderr, check_time); in write_automata()
9547 print_active_time (stderr, generation_time); in write_automata()
9549 print_active_time (stderr, all_time); in write_automata()