: trans1:= a=100 ) また [...] 条件は降伏する必要があります TRUE また FALSE .次の 2 [...] はブール結果を持つステートメントのいずれかに置き換えます (例: (i<100) AND b
ションを少なくとも 2 回実行します。 1 回目はステップがアクティブ化されたときで、2 回目 [...] ションのリストを介して 2 つのパスで実行されます。最初