Searched refs:minimize_time (Results 1 – 1 of 1) sorted by relevance
3092 static ticker_t minimize_time; variable6100 ticker_on (&minimize_time); in build_automaton()6112 ticker_off (&minimize_time); in build_automaton()6514 minimize_time = create_ticker (); in create_automata()6515 ticker_off (&minimize_time); in create_automata()8856 print_active_time (f, minimize_time); in output_time_statistics()