Searched refs:expanded_states_ (Results 1 – 2 of 2) 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
153 expanded_states_ = impl.expanded_states_;435 while (min_unexpanded_state_id_ < expanded_states_.size() && in MinUnexpandedState()436 expanded_states_[min_unexpanded_state_id_]) in MinUnexpandedState()456 while (expanded_states_.size() <= s) in ExpandedState()457 expanded_states_.push_back(false); in ExpandedState()458 expanded_states_[s] = true; in ExpandedState()487 vector<bool> expanded_states_; // states that have been expanded variable