Lines Matching defs:ticker_t
149 typedef struct ticker ticker_t;
3122 static ticker_t
3125 ticker_t ticker;
3134 ticker_off (ticker_t *ticker)
3142 ticker_on (ticker_t *ticker)
3155 active_time (ticker_t ticker)
3180 print_active_time (FILE *f, ticker_t ticker)
3208 static ticker_t transform_time;
3209 static ticker_t NDFA_time;
3210 static ticker_t NDFA_to_DFA_time;
3211 static ticker_t minimize_time;
3212 static ticker_t equiv_time;
3213 static ticker_t automaton_generation_time;
3214 static ticker_t output_time;
3220 static ticker_t check_time;
3221 static ticker_t generation_time;
3222 static ticker_t all_time;