∇ State←State turn M;N;PE;PV;RR
[1] N←1 + ×ばつM∈'udlrfb' ◊ →(M='UuDdLlRrFfBb ')/2/MU MD ML MR MF MB 0 ◊ +++
[2] MU: PV← 1 7 9 3 ◊ PE← 2 4 8 6 ◊ RR←2 1 3 ◊ →COMMON
[3] ML: PV←19 25 7 1 ◊ PE←10 22 16 4 ◊ RR←1 3 2 ◊ →COMMON
[4] MF: PV← 1 3 21 19 ◊ PE← 2 12 20 10 ◊ RR←3 2 1 ◊ →COMMON
[5] MR: PV← 3 9 27 21 ◊ PE← 6 18 24 12 ◊ RR←1 3 2 ◊ →COMMON
[6] MB: PV←25 27 9 7 ◊ PE←16 26 18 8 ◊ RR←3 2 1 ◊ →COMMON
[7] MD: PV←21 27 25 19 ◊ PE←24 26 22 20 ◊ RR←2 1 3 ◊ →COMMON
[8] COMMON: State[(N⌽PV),N⌽PE;RR]←State[PV,PE;] ◊ ∆TCNT←∆TCNT+1
∇
Call Graph (defined functions called from function turn)
Caller Graph (defined functions calling function turn)