Searched refs:enqueued_ (Results 1 – 2 of 2) sorted by relevance
86 vector<bool> enqueued_; // Is state enqueued? variable108 enqueued_.clear(); in ShortestDistance()117 enqueued_.push_back(false); in ShortestDistance()126 enqueued_[source] = true; in ShortestDistance()136 enqueued_.push_back(false); in ShortestDistance()138 enqueued_[s] = false; in ShortestDistance()150 enqueued_.push_back(false); in ShortestDistance()158 enqueued_[arc.nextstate] = false; in ShortestDistance()168 if (!enqueued_[arc.nextstate]) { in ShortestDistance()170 enqueued_[arc.nextstate] = true; in ShortestDistance()
364 while ((StateId)enqueued_.size() <= s) enqueued_.push_back(false); in Enqueue()365 enqueued_[s] = true; in Enqueue()369 enqueued_[front_] = false; in Dequeue()370 while ((front_ <= back_) && (enqueued_[front_] == false)) ++front_; in Dequeue()378 for (StateId i = front_; i <= back_; ++i) enqueued_[i] = false; in Clear()386 vector<bool> enqueued_; variable