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