Lines Matching full:stateid
51 typedef typename A::StateId StateId;
60 StateId state_id; // destination (source) state of open (close) paren
64 ParenState(Label p, StateId s) : paren_id(p), state_id(s) {}
120 typedef typename A::StateId StateId;
124 typedef unordered_multimap<StateId, Label> ParenMultiMap;
139 typedef typename Collection<ssize_t, StateId>::SetIterator SetIterator;
156 StateId start = fst.Start();
174 ParenIterator FindParens(StateId s) const {
182 SetIterator FindStates(Label paren_id, StateId s) const {
195 ParenArcIterator FindParenArcs(Label paren_id, StateId s) const {
204 bool DFSearch(StateId s);
207 void ComputeStateSet(StateId s);
210 void UpdateStateSet(StateId nexts, set<Label> *paren_set,
211 vector< set<StateId> > *state_sets) const;
220 mutable Collection<ssize_t, StateId> state_sets_; // Reachable states -> ID
228 bool PdtParenReachable<A>::DFSearch(StateId s) {
276 void PdtParenReachable<A>::ComputeStateSet(StateId s) {
278 vector< set<StateId> > state_sets(parens_.size());
311 vector<StateId> state_set;
317 for (typename set<StateId>::iterator state_iter
331 StateId nexts, set<Label> *paren_set,
332 vector< set<StateId> > *state_sets) const {
350 typedef typename A::StateId StateId;
357 typedef unordered_multimap<StateId, Label> OpenParenMap;
360 typedef unordered_multimap<ParenState<A>, StateId,
367 typedef typename Collection<ssize_t, StateId>::SetIterator SetIterator;
377 void OpenInsert(Label paren_id, StateId open_dest) {
389 void CloseInsert(Label paren_id, StateId open_dest, StateId close_source) {
398 SetIterator Find(Label paren_id, StateId open_dest) {
413 void FinishInsert(StateId open_dest) {
414 vector<StateId> close_sources;
427 typename vector<StateId>::iterator unique_end =
439 PdtBalanceData<A> *Reverse(StateId num_states,
440 StateId num_split,
441 StateId state_id_shift) const;
454 mutable Collection<ssize_t, StateId> close_source_sets_;
461 StateId num_states,
462 StateId num_split,
463 StateId state_id_shift) const {
465 unordered_set<StateId> close_sources;
466 StateId split_size = num_states / num_split;
468 for (StateId i = 0; i < num_states; i+= split_size) {
476 StateId open_dest = okey.state_id;
480 StateId close_source = set_iter.Element();
490 for (typename unordered_set<StateId>::const_iterator it
