Lines Matching refs:start_state
824 state_t start_state;
5347 state_t start_state;
5356 start_state = insert_state (get_free_state (1, automaton));
5357 automaton->start_state = start_state;
5358 start_state->it_was_placed_in_stack_for_NDFA_forming = 1;
5359 VEC_safe_push (state_t,heap, state_stack, start_state);
5556 state_t start_state;
5566 start_state = automaton->start_state;
5567 start_state->it_was_placed_in_stack_for_DFA_forming = 1;
5568 VEC_safe_push (state_t,heap, state_stack, start_state);
5598 pass_state_graph (state_t start_state, void (*applied_func) (state_t state))
5602 if (start_state->pass_num == curr_state_graph_pass_num)
5604 start_state->pass_num = curr_state_graph_pass_num;
5605 (*applied_func) (start_state);
5606 for (arc = first_out_arc (start_state);
5618 pass_state_graph (automaton->start_state, applied_func);
5998 if (automaton->start_state == curr_state)
5999 automaton->start_state = curr_state->equiv_class_state;