448     : QueueBase<S>(SCC_QUEUE), queue_(queue), scc_(scc), front_(0),  in SccQueue()
453            (((*queue_)[front_] && (*queue_)[front_]->Empty())  in Head()
454             || (((*queue_)[front_] == 0) &&  in Head()
458     if ((*queue_)[front_])  in Head()
459       return (*queue_)[front_]->Head();  in Head()
468     if ((*queue_)[scc_[s]]) {  in Enqueue()
469       (*queue_)[scc_[s]]->Enqueue(s);  in Enqueue()
478     if ((*queue_)[front_])  in Dequeue()
479       (*queue_)[front_]->Dequeue();  in Dequeue()
485     if ((*queue_)[scc_[s]])  in Update()
486       (*queue_)[scc_[s]]->Update(s);  in Update()
494     else if ((*queue_)[front_])  in Empty()
495       return (*queue_)[front_]->Empty();  in Empty()
503       if ((*queue_)[i])  in Clear()
504         (*queue_)[i]->Clear();  in Clear()
512   vector<Queue*> *queue_;
552       queue_ = new StateOrderQueue<StateId>();  in AutoQueue()
555       queue_ = new TopOrderQueue<StateId>(fst, filter);  in AutoQueue()
558       queue_ = new LifoQueue<StateId>();  in AutoQueue()
580           queue_ = new LifoQueue<StateId>();  in AutoQueue()
589           queue_ = new TopOrderQueue<StateId>(scc_);  in AutoQueue()
622       queue_ = new SccQueue< StateId, QueueBase<StateId> >(scc_, &queues_);  in AutoQueue()
631     delete queue_;  in ~AutoQueue()  local
634   StateId Head() const { return queue_->Head(); }  in Head()
636   void Enqueue(StateId s) { queue_->Enqueue(s); }  in Enqueue()
638   void Dequeue() { queue_->Dequeue(); }  in Dequeue()
640   void Update(StateId s) { queue_->Update(s); }  in Update()
642   bool Empty() const { return queue_->Empty(); }  in Empty()
644   void Clear() { queue_->Clear(); }  in Clear()
648   QueueBase<StateId> *queue_;
812       queue_(queue),  in PruneQueue()
817   ~PruneQueue() { delete queue_; }  in ~PruneQueue()  local
819   StateId Head() const { return queue_->Head(); }  in Head()
831       queue_->Enqueue(s);  in Enqueue()
834   void Dequeue() { queue_->Dequeue(); }  in Dequeue()
840     queue_->Update(s);  in Update()
843   bool Empty() const { return queue_->Empty(); }  in Empty()
844   void Clear() { queue_->Clear(); }  in Clear()
858   Q *queue_;  variable
899       queue_(queue),  in FilterQueue()
902   ~FilterQueue() { delete queue_; }  in ~FilterQueue()  local
904   StateId Head() const { return queue_->Head(); }  in Head()
909       queue_->Enqueue(s);  in Enqueue()
913   void Dequeue() { queue_->Dequeue(); }  in Dequeue()
916   bool Empty() const { return queue_->Empty(); }  in Empty()
917   void Clear() { queue_->Clear(); }  in Clear()
930   Q *queue_;  variable