Searched refs:state_being_formed (Results 1 – 1 of 1) sorted by relevance
5344 static state_t state_being_formed; variable5366 set_state_reserv (state_being_formed, curr_cycle, in process_seq_for_forming_states()5435 state_being_formed = get_free_state (1, automaton); in process_alts_for_forming_states()5436 alt_state_being_formed->state = state_being_formed; in process_alts_for_forming_states()