Searched refs:nstates_reachable (Results 1 – 1 of 1) sorted by relevance
427 state_number nstates_reachable = 0; in state_remove_unreachable_states() local436 states[nstates_reachable] = states[i]; in state_remove_unreachable_states()437 states[nstates_reachable]->number = nstates_reachable; in state_remove_unreachable_states()438 old_to_new[i] = nstates_reachable++; in state_remove_unreachable_states()447 nstates = nstates_reachable; in state_remove_unreachable_states()