Page History
Table of Contents |
---|
ABRO-vars
Code Block | ||||
---|---|---|---|---|
| ||||
scchart ABRO { input bool A, B, R output bool O initial state ABO { entry do O = false initial state WaitAB { region: initial state wA go to dA if A final state dA region: initial state wB go to dB if B final state dB } join to done do O = true state done } abort to ABO if R } |
Overview
Content Tools