Given an IA R and a set £ of action sequences, an execution fragment 77 = VidiVi+icii+i □ □ □ aj^iVj G Fr (z < j) is a simple loop if : (1) vi — Vj , v^, ...
確定！ 回上一頁
