Searched refs:curr_num_states (Results 1 – 1 of 1) sorted by relevance
185 StateId AddState(StateId curr_num_states) { in AddState() argument187 StateId external_state_id = curr_num_states; in AddState()