Searched refs:dfs_state (Results 1 – 2 of 2) sorted by relevance
105 DfsState<Arc> *dfs_state = state_stack.top(); in DfsVisit() local106 StateId s = dfs_state->state_id; in DfsVisit()107 ArcIterator< Fst<Arc> > &aiter = dfs_state->arc_iter; in DfsVisit()110 delete dfs_state; in DfsVisit() local
125 DfsState<Arc> *dfs_state = state_stack.top(); in DfsVisit() local126 StateId s = dfs_state->state_id; in DfsVisit()131 ArcIterator< Fst<Arc> > &aiter = dfs_state->arc_iter; in DfsVisit()134 delete dfs_state; in DfsVisit() local