Lines Matching defs:ticker_t
147 typedef struct ticker ticker_t;
3014 static ticker_t
3017 ticker_t ticker;
3026 ticker_off (ticker_t *ticker)
3034 ticker_on (ticker_t *ticker)
3047 active_time (ticker_t ticker)
3072 print_active_time (FILE *f, ticker_t ticker)
3100 static ticker_t transform_time;
3101 static ticker_t NDFA_time;
3102 static ticker_t NDFA_to_DFA_time;
3103 static ticker_t minimize_time;
3104 static ticker_t equiv_time;
3105 static ticker_t automaton_generation_time;
3106 static ticker_t output_time;
3112 static ticker_t check_time;
3113 static ticker_t generation_time;
3114 static ticker_t all_time;