Lines Matching refs:scc
435 // SCC topological-order meta-queue discipline, templated on the StateId S
436 // and a queue Q, which is used inside each SCC. It visits the SCC's
438 // to use within an SCC.
445 // Constructor takes a vector specifying the SCC number per state
446 // and a vector giving the queue to use per SCC number.
447 SccQueue(const vector<StateId> &scc, vector<Queue*> *queue)
448 : QueueBase<S>(SCC_QUEUE), queue_(queue), scc_(scc), front_(0),
490 if (front_ < back_) // Queue scc # back_ not empty unless back_==front_
573 // Find the queue type to use per SCC.
586 // If all the scc are trivial, FST is acyclic and the scc# gives
595 VLOG(2) << "AutoQueue: using SCC meta-discipline";
601 VLOG(3) << "AutoQueue: SCC #" << i
606 VLOG(3) << "AutoQueue: SCC #" << i <<
611 VLOG(3) << "AutoQueue: SCC #" << i
617 VLOG(3) << "AutoQueue: SCC #" << i
654 const vector<StateId> &scc,
679 // determines which type of queue to use per SCC. Stores result in
689 const vector<StateId> &scc,
710 if (scc[state] == scc[arc.nextstate]) {
711 QueueType &type = (*queue_type)[scc[state]];
