Searched refs:enqueued_ (Results 1 – 2 of 2) sorted by relevance
105 vector<bool> enqueued_; // Is state enqueued? variable143 enqueued_.clear(); in ShortestDistance()152 enqueued_.push_back(false); in ShortestDistance()161 enqueued_[source] = true; in ShortestDistance()171 enqueued_.push_back(false); in ShortestDistance()175 enqueued_[s] = false; in ShortestDistance()187 enqueued_.push_back(false); in ShortestDistance()195 enqueued_[arc.nextstate] = false; in ShortestDistance()209 if (!enqueued_[arc.nextstate]) { in ShortestDistance()211 enqueued_[arc.nextstate] = true; in ShortestDistance()
398 while (enqueued_.size() <= s) enqueued_.push_back(false); in Enqueue()399 enqueued_[s] = true; in Enqueue()403 enqueued_[front_] = false; in Dequeue()404 while ((front_ <= back_) && (enqueued_[front_] == false)) ++front_; in Dequeue()412 for (StateId i = front_; i <= back_; ++i) enqueued_[i] = false; in Clear()420 vector<bool> enqueued_; variable