Home | History | Annotate | Download | only in lib

Lines Matching defs:nextstate

81     StateId nextstate;
86         : ilabel(i), olabel(o), nextstate(s) {}
92       return static_cast<size_t>(e.nextstate);
93       return static_cast<size_t>(e.nextstate +
107                          && (e1.nextstate == e2.nextstate);
158          while ((StateId)visited_.size() <= arc.nextstate) 
160          if (!visited_[arc.nextstate])
161            eps_queue_.push(arc.nextstate);
163           Element element(arc.ilabel, arc.olabel, arc.nextstate);