Searched refs:new_state_id (Results 1 – 1 of 1) sorted by relevance
286 StateId new_state_id = state_tuples_.size(); in FindState() local288 state_hash_[tuple] = new_state_id; in FindState()289 return new_state_id; in FindState()