Searched refs:Extra_L (Results 1 – 1 of 1) sorted by relevance
97 Extra_L, Extra_R : NFA_Edge; variable116 Extra_L := No_Edge;119 Extra_L := Add_Edge (Final_L, Final_L, True_Node);143 if not (E_L = Extra_L and E_R = Extra_R) then161 Remove_Edge (Extra_L);