Searched refs:visited_ (Results 1 – 1 of 1) sorted by relevance
127 vector<bool> visited_; // '[i] = true' if state 'i' has been visited variable147 while ((StateId)visited_.size() <= state) visited_.push_back(false); in Expand()148 visited_[state] = true; in Expand()158 while ((StateId)visited_.size() <= arc.nextstate) in Expand()159 visited_.push_back(false); in Expand()160 if (!visited_[arc.nextstate]) in Expand()186 visited_[visited_states_.front()] = false; in Expand()