Summary

• Page properties (1 modified, 0 added, 0 removed)
• Objects (1 modified, 0 added, 0 removed)
  • Confluence.Code.ConfluencePageClass[0]

Details

Page properties

Content

...	...	@@ -39,7 +39,7 @@
39	39	OPTIMIZE_SELFLOOP
40	40	)))|(% colspan="1" %)(% colspan="1" %)
41	41	(((
42		-If a state has only one outgoing non-default transition, the expression of that transition is negated, the transition target is changed to itself and the implizit selfloop is deleted. So, if the original expression is true, the sequential control flow is used to proceed and no goto jump is necessary.
	42	+If a state has only one outgoing non-default transition, the expression of that transition is negated, the transition target is changed to itself and the implicit selfloop is deleted. So, if the original expression is true, the sequential control flow is used to proceed and no goto jump is necessary.
43	43	)))
44	44	|(% colspan="1" %)(% colspan="1" %)
45	45	(((

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-6750236
	1	+6750237

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/6750236/SCL Transformation
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/6750237/SCL Transformation