190       StateTuple ntuple(arc.nextstate, stack_id);  in ExpandState()
191       arc.nextstate = state_table_->FindState(ntuple);  in ExpandState()
633   if (less_(nd, Distance(arc.nextstate))) {  in Relax()
634     SetDistance(arc.nextstate, nd);  in Relax()
635     SetSourceState(arc.nextstate, SourceState(s));  in Relax()
637   if (less_(fd, FinalDistance(arc.nextstate)))  in Relax()
638     SetFinalDistance(arc.nextstate, fd);  in Relax()
640             << arc.nextstate << ", d[ns] = " << Distance(arc.nextstate)  in Relax()
677               Times(DistanceToDest(state_table_.Tuple(arc.nextstate).state_id,  in PruneArc()
726   VLOG(2) << "ProcNonParen: " << s << " to " << arc.nextstate  in ProcNonParen()
731   AddStateAndEnqueue(arc.nextstate);  in ProcNonParen()
752   StateId ns = arc.nextstate;  in ProcOpenParen()
775       PdtStateTuple<StateId, StackId> tuple(meta_arc.nextstate, si);  in ProcOpenParen()
776       meta_arc.nextstate =  state_table_.FindState(tuple);  in ProcOpenParen()
790           FinalDistance(meta_arc.nextstate)));  in ProcOpenParen()
794     VLOG(2) << "Proc open paren " << s << " to " << arc.nextstate;  in ProcOpenParen()
796       s, keep_parentheses_ ? arc : Arc(0, 0, arc.weight, arc.nextstate));  in ProcOpenParen()
797     AddStateAndEnqueue(arc.nextstate);  in ProcOpenParen()
799     if(less_(nd, Distance(arc.nextstate)))  in ProcOpenParen()
800       SetDistance(arc.nextstate, nd);  in ProcOpenParen()
804     if (less_(fd, FinalDistance(arc.nextstate)))  in ProcOpenParen()
805       SetFinalDistance(arc.nextstate, fd);  in ProcOpenParen()
806     SetFlags(arc.nextstate, kSourceState, kSourceState);  in ProcOpenParen()
816                    Times(arc.weight, FinalDistance(arc.nextstate)));  in ProcCloseParen()
820       s, keep_parentheses_ ? arc : Arc(0, 0, arc.weight, arc.nextstate));  in ProcCloseParen()
857       PdtStateTuple<StateId, StackId> tuple(arc.nextstate, stack_.Pop(si));  in ProcDestStates()
897       StackId nextstack_id = state_table_.Tuple(arc.nextstate).stack_id;  in Expand()