Searched refs:dfs_state (Results 1 – 1 of 1) sorted by relevance
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