Searched refs:external_state_id (Results 1 – 1 of 1) sorted by relevance
187 StateId external_state_id = curr_num_states; in AddState() local188 external_to_internal_ids_[external_state_id] = internal_state_id; in AddState()190 return external_state_id; in AddState()