Searched refs:Start_R (Results 1 – 1 of 1) sorted by relevance
91 Start_L, Start_R : NFA_State; variable101 Start_R := Get_Start_State (R);111 Disp_State (Start_R);249 Start_L, Start_R : NFA_State; variable255 Start_R := Get_Start_State (R);298 Start_L, Start_R : NFA_State; variable305 Start_R := Get_Start_State (R);314 if Start_R /= Final_R then347 Start_R : NFA_State; variable353 Start_R := Get_Start_State (R);[all …]