Lines Matching refs:scc
398 // SCC topological-order meta-queue discipline, templated on the StateId S
399 // and a queue Q, which is used inside each SCC. It visits the SCC's
401 // to use within an SCC.
408 // Constructor takes a vector specifying the SCC number per state
409 // and a vector giving the queue to use per SCC number.
410 SccQueue(const vector<StateId> &scc, vector<Queue*> *queue)
411 : QueueBase<S>(SCC_QUEUE), queue_(queue), scc_(scc), front_(0),
457 if (front_ < back_) // Queue scc # back_ not empty unless back_==front_
535 // Find the queue type to use per SCC.
548 // If all the scc are trivial, FST is acyclic and the scc# gives
557 VLOG(2) << "AutoQueue: using SCC meta-discipline";
563 VLOG(3) << "AutoQueue: SCC #" << i
569 VLOG(3) << "AutoQueue: SCC #" << i <<
574 VLOG(3) << "AutoQueue: SCC #" << i
580 VLOG(3) << "AutoQueue: SCC #" << i
617 const vector<StateId> &scc,
637 // determines which type of queue to use per SCC. Stores result in
647 const vector<StateId> &scc,
668 if (scc[state] == scc[arc.nextstate]) {
669 QueueType &type = (*queue_type)[scc[state]];
