Lines Matching refs:StateId
78 typedef S StateId; typedef
82 StateId Head() const { return Head_(); } in Head()
83 void Enqueue(StateId s) { Enqueue_(s); } in Enqueue()
85 void Update(StateId s) { Update_(s); } in Update()
96 virtual StateId Head_() const = 0;
97 virtual void Enqueue_(StateId s) = 0;
99 virtual void Update_(StateId s) = 0;
114 typedef S StateId; typedef
117 StateId Head() const { return front_; } in Head()
118 void Enqueue(StateId s) { front_ = s; } in Enqueue()
120 void Update(StateId s) {} in Update()
129 virtual StateId Head_() const { return Head(); } in Head_()
130 virtual void Enqueue_(StateId s) { Enqueue(s); } in Enqueue_()
132 virtual void Update_(StateId s) { Update(s); } in Update_()
136 StateId front_;
150 typedef S StateId; typedef
153 StateId Head() const { return back(); } in Head()
154 void Enqueue(StateId s) { push_front(s); } in Enqueue()
156 void Update(StateId s) {} in Update()
164 virtual StateId Head_() const { return Head(); } in Head_()
165 virtual void Enqueue_(StateId s) { Enqueue(s); } in Enqueue_()
167 virtual void Update_(StateId s) { Update(s); } in Update_()
183 typedef S StateId; typedef
186 StateId Head() const { return front(); } in Head()
187 void Enqueue(StateId s) { push_front(s); } in Enqueue()
189 void Update(StateId s) {} in Update()
197 virtual StateId Head_() const { return Head(); } in Head_()
198 virtual void Enqueue_(StateId s) { Enqueue(s); } in Enqueue_()
200 virtual void Update_(StateId s) { Update(s); } in Update_()
214 typedef S StateId; typedef
220 StateId Head() const { return heap_.Top(); } in Head()
222 void Enqueue(StateId s) { in Enqueue()
224 for (StateId i = key_.size(); i <= s; ++i) in Enqueue()
239 void Update(StateId s) { in Update()
263 virtual StateId Head_() const { return Head(); } in Head_()
264 virtual void Enqueue_(StateId s) { Enqueue(s); } in Enqueue_()
266 virtual void Update_(StateId s) { Update(s); } in Update_()
280 typedef S StateId; typedef
315 typedef S StateId; typedef
336 TopOrderQueue(const vector<StateId> &order) in TopOrderQueue()
340 StateId Head() const { return state_[front_]; } in Head()
342 void Enqueue(StateId s) { in Enqueue()
354 void Update(StateId s) {} in Update()
359 for (StateId i = front_; i <= back_; ++i) state_[i] = kNoStateId; in Clear()
365 StateId front_;
366 StateId back_;
367 vector<StateId> order_;
368 vector<StateId> state_;
373 virtual StateId Head_() const { return Head(); } in Head_()
374 virtual void Enqueue_(StateId s) { Enqueue(s); } in Enqueue_()
376 virtual void Update_(StateId s) { Update(s); } in Update_()
387 typedef S StateId; typedef
392 StateId Head() const { return front_; } in Head()
394 void Enqueue(StateId s) { in Enqueue()
407 void Update(StateId s) {} in Update()
412 for (StateId i = front_; i <= back_; ++i) enqueued_[i] = false; in Clear()
418 StateId front_;
419 StateId back_;
425 virtual StateId Head_() const { return Head(); } in Head_()
426 virtual void Enqueue_(StateId s) { Enqueue(s); } in Enqueue_()
428 virtual void Update_(StateId s) { Update(s); } in Update_()
442 typedef S StateId; typedef
447 SccQueue(const vector<StateId> &scc, vector<Queue*> *queue) in SccQueue()
451 StateId Head() const { in Head()
464 void Enqueue(StateId s) { in Enqueue()
484 void Update(StateId s) { in Update()
502 for (StateId i = front_; i <= back_; ++i) in Clear()
513 const vector<StateId> &scc_;
514 mutable StateId front_;
515 StateId back_;
516 vector<StateId> trivial_queue_;
521 virtual StateId Head_() const { return Head(); } in Head_()
522 virtual void Enqueue_(StateId s) { Enqueue(s); } in Enqueue_()
524 virtual void Update_(StateId s) { Update(s); } in Update_()
537 typedef S StateId; typedef
546 typedef StateWeightCompare< StateId, NaturalLess<Weight> > Compare; in AutoQueue()
552 queue_ = new StateOrderQueue<StateId>(); in AutoQueue()
555 queue_ = new TopOrderQueue<StateId>(fst, filter); in AutoQueue()
558 queue_ = new LifoQueue<StateId>(); in AutoQueue()
565 StateId nscc = *max_element(scc_.begin(), scc_.end()) + 1; in AutoQueue()
580 queue_ = new LifoQueue<StateId>(); in AutoQueue()
589 queue_ = new TopOrderQueue<StateId>(scc_); in AutoQueue()
597 for (StateId i = 0; i < nscc; ++i) { in AutoQueue()
605 queues_[i] = new ShortestFirstQueue<StateId, Compare, false>(*comp); in AutoQueue()
610 queues_[i] = new LifoQueue<StateId>(); in AutoQueue()
616 queues_[i] = new FifoQueue<StateId>(); in AutoQueue()
622 queue_ = new SccQueue< StateId, QueueBase<StateId> >(scc_, &queues_); in AutoQueue()
629 for (StateId i = 0; i < queues_.size(); ++i) in ~AutoQueue()
634 StateId Head() const { return queue_->Head(); } in Head()
636 void Enqueue(StateId s) { queue_->Enqueue(s); } in Enqueue()
640 void Update(StateId s) { queue_->Update(s); } in Update()
648 QueueBase<StateId> *queue_;
649 vector< QueueBase<StateId>* > queues_;
650 vector<StateId> scc_;
654 const vector<StateId> &scc,
662 virtual StateId Head_() const { return Head(); } in Head_()
664 virtual void Enqueue_(StateId s) { Enqueue(s); } in Enqueue_()
668 virtual void Update_(StateId s) { Update(s); } in Update_()
686 template <class StateId>
688 void AutoQueue<StateId>::SccQueueType(const Fst<A> &fst, in SccQueueType()
689 const vector<StateId> &scc, in SccQueueType()
694 typedef typename A::StateId StateId; in SccQueueType() typedef
700 for (StateId i = 0; i < queue_type->size(); ++i) in SccQueueType()
704 StateId state = sit.Value(); in SccQueueType()
750 typedef S StateId; typedef
803 class PruneQueue : public QueueBase<typename Q::StateId> {
805 typedef typename Q::StateId StateId; typedef
810 : QueueBase<StateId>(OTHER_QUEUE), in PruneQueue()
819 StateId Head() const { return queue_->Head(); } in Head()
821 void Enqueue(StateId s) { in Enqueue()
822 StateId c = class_func_(s); in Enqueue()
836 void Update(StateId s) { in Update()
837 StateId c = class_func_(s); in Update()
850 virtual StateId Head_() const { return Head(); } in Head_()
851 virtual void Enqueue_(StateId s) { Enqueue(s); } in Enqueue_()
853 virtual void Update_(StateId s) { Update(s); } in Update_()
875 typedef typename Q::StateId StateId; typedef
893 class FilterQueue : public QueueBase<typename Q::StateId> {
895 typedef typename Q::StateId StateId; typedef
898 : QueueBase<StateId>(OTHER_QUEUE), in FilterQueue()
904 StateId Head() const { return queue_->Head(); } in Head()
907 void Enqueue(StateId s) { in Enqueue()
915 void Update(StateId s) {} in Update()
923 virtual StateId Head_() const { return Head(); } in Head_()
924 virtual void Enqueue_(StateId s) { Enqueue(s); } in Enqueue_()
926 virtual void Update_(StateId s) { Update(s); } in Update_()