Lines Matching refs:scc_
448 : QueueBase<S>(SCC_QUEUE), queue_(queue), scc_(scc), front_(0), in SccQueue()
465 if (front_ > back_) front_ = back_ = scc_[s]; in Enqueue()
466 else if (scc_[s] > back_) back_ = scc_[s]; in Enqueue()
467 else if (scc_[s] < front_) front_ = scc_[s]; in Enqueue()
468 if ((*queue_)[scc_[s]]) { in Enqueue()
469 (*queue_)[scc_[s]]->Enqueue(s); in Enqueue()
471 while (trivial_queue_.size() <= scc_[s]) in Enqueue()
473 trivial_queue_[scc_[s]] = s; in Enqueue()
485 if ((*queue_)[scc_[s]]) in Update()
486 (*queue_)[scc_[s]]->Update(s); in Update()
513 const vector<StateId> &scc_; variable
563 SccVisitor<Arc> scc_visitor(&scc_, 0, 0, &properties); in AutoQueue()
565 StateId nscc = *max_element(scc_.begin(), scc_.end()) + 1; in AutoQueue()
576 SccQueueType(fst, scc_, &queue_types, filter, less, &all_trivial, in AutoQueue()
589 queue_ = new TopOrderQueue<StateId>(scc_); in AutoQueue()
622 queue_ = new SccQueue< StateId, QueueBase<StateId> >(scc_, &queues_); in AutoQueue()
650 vector<StateId> scc_; variable