Lines Matching refs:automaton_order_num
1250 int automaton_order_num;
4135 + ((state_t) state)->automaton->automaton_order_num);
4474 + curr_automata_list_el->automaton->automaton_order_num);
5582 == automaton->automaton_order_num)
6879 ->corresponding_automaton->automaton_order_num);
6906 curr_automaton->automaton_order_num = curr_automaton_num;
6929 curr_automaton->automaton_order_num = curr_automaton_num;
7245 fprintf (f, "automaton_state_%d", automaton->automaton_order_num);
7270 fprintf (f, "translate_%d", automaton->automaton_order_num);
7280 fprintf (f, "transitions_%d", automaton->automaton_order_num);
7292 fprintf (f, "transitions_%d", automaton->automaton_order_num);
7304 fprintf (f, "check_%d", automaton->automaton_order_num);
7315 fprintf (f, "base_%d", automaton->automaton_order_num);
7325 fprintf (f, "state_alts_%d", automaton->automaton_order_num);
7337 fprintf (f, "state_alts_%d", automaton->automaton_order_num);
7349 fprintf (f, "check_state_alts_%d", automaton->automaton_order_num);
7361 fprintf (f, "base_state_alts_%d", automaton->automaton_order_num);
7372 fprintf (f, "min_issue_delay_%d", automaton->automaton_order_num);
7383 fprintf (f, "dead_lock_%d", automaton->automaton_order_num);
7393 fprintf (f, "reserved_units_%d", automaton->automaton_order_num);
9242 fprintf (f, "#%d", automaton->automaton_order_num);
9270 == automaton->automaton_order_num))