Searched refs:next_state_id (Results 1 – 1 of 1) sorted by relevance
143 current_state_scope_ = new StateScope(current_state_scope_, next_state_id()); in enter_state_scope()169 int next_state_id() { return ++state_id_; } in next_state_id() function