Input: a set TE of enabled atomic blocks. Output: a persistent set P. 1. Let TP := {α}, where α ∈ TE. 2. For each atomic block α ∈ TP: (a) If α ∈ TE (α ...
確定! 回上一頁