Skip to end of metadata
Go to start of metadata

You are viewing an old version of this page. View the current version.

Compare with Current View Page History

« Previous Version 2 Next »

ABRO-vars

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
}

  • No labels