Searched refs:expanded_states_ (Results 1 – 1 of 1) sorted by relevance
262 while (min_unexpanded_state_id_ < (StateId)expanded_states_.size() && in MinUnexpandedState()263 expanded_states_[min_unexpanded_state_id_]) in MinUnexpandedState()321 while ((StateId)expanded_states_.size() <= s) in ExpandedState()322 expanded_states_.push_back(false); in ExpandedState()323 expanded_states_[s] = true; in ExpandedState()328 vector<bool> expanded_states_; // states that have been expanded variable