Home | History | Annotate | Download | only in pdt

Lines Matching refs:nextstate

190       StateTuple ntuple(arc.nextstate, stack_id);
191 arc.nextstate = state_table_->FindState(ntuple);
626 // the currently stored distance for 'arc.nextstate',
627 // updates 'Distance(arc.nextstate)' with new estimate;
628 // * if 'fd' is less than the currently stored distance from 'arc.nextstate'
633 if (less_(nd, Distance(arc.nextstate))) {
634 SetDistance(arc.nextstate, nd);
635 SetSourceState(arc.nextstate, SourceState(s));
637 if (less_(fd, FinalDistance(arc.nextstate)))
638 SetFinalDistance(arc.nextstate, fd);
640 << arc.nextstate << ", d[ns] = " << Distance(arc.nextstate)
677 Times(DistanceToDest(state_table_.Tuple(arc.nextstate).state_id,
726 VLOG(2) << "ProcNonParen: " << s << " to " << arc.nextstate
731 AddStateAndEnqueue(arc.nextstate);
752 StateId ns = arc.nextstate;
775 PdtStateTuple<StateId, StackId> tuple(meta_arc.nextstate, si);
776 meta_arc.nextstate = state_table_.FindState(tuple);
790 FinalDistance(meta_arc.nextstate)));
794 VLOG(2) << "Proc open paren " << s << " to " << arc.nextstate;
796 s, keep_parentheses_ ? arc : Arc(0, 0, arc.weight, arc.nextstate));
797 AddStateAndEnqueue(arc.nextstate);
799 if(less_(nd, Distance(arc.nextstate)))
800 SetDistance(arc.nextstate, nd);
804 if (less_(fd, FinalDistance(arc.nextstate)))
805 SetFinalDistance(arc.nextstate, fd);
806 SetFlags(arc.nextstate, kSourceState, kSourceState);
816 Times(arc.weight, FinalDistance(arc.nextstate)));
820 s, keep_parentheses_ ? arc : Arc(0, 0, arc.weight, arc.nextstate));
857 PdtStateTuple<StateId, StackId> tuple(arc.nextstate, stack_.Pop(si));
897 StackId nextstack_id = state_table_.Tuple(arc.nextstate).stack_id;