Searched refs:nstates_reachable (Results 1 – 1 of 1) sorted by relevance
428 state_number nstates_reachable = 0; in state_remove_unreachable_states() local435 states[nstates_reachable] = states[i]; in state_remove_unreachable_states()436 states[nstates_reachable]->number = nstates_reachable; in state_remove_unreachable_states()437 old_to_new[i] = nstates_reachable++; in state_remove_unreachable_states()445 nstates = nstates_reachable; in state_remove_unreachable_states()