Lines Matching refs:scc
434 // SCC topological-order meta-queue discipline, templated on the StateId S
435 // and a queue Q, which is used inside each SCC. It visits the SCC's
437 // to use within an SCC.
444 // Constructor takes a vector specifying the SCC number per state
445 // and a vector giving the queue to use per SCC number.
446 SccQueue(const vector<StateId> &scc, vector<Queue*> *queue)
447 : QueueBase<S>(SCC_QUEUE), queue_(queue), scc_(scc), front_(0),
489 if (front_ < back_) // Queue scc # back_ not empty unless back_==front_
572 // Find the queue type to use per SCC.
585 // If all the scc are trivial, FST is acyclic and the scc# gives
594 VLOG(2) << "AutoQueue: using SCC meta-discipline";
600 VLOG(3) << "AutoQueue: SCC #" << i
605 VLOG(3) << "AutoQueue: SCC #" << i <<
610 VLOG(3) << "AutoQueue: SCC #" << i
616 VLOG(3) << "AutoQueue: SCC #" << i
653 const vector<StateId> &scc,
678 // determines which type of queue to use per SCC. Stores result in
688 const vector<StateId> &scc,
709 if (scc[state] == scc[arc.nextstate]) {
710 QueueType &type = (*queue_type)[scc[state]];
