<
From version < 14.1 >
edited by stu114053
on 2017/08/07 12:45
To version < 15.2 >
edited by stu114053
on 2023/07/13 16:10
>
Change comment: Update document after refactoring.

Summary

Details

Page properties
Parent
... ... @@ -1,0 +1,1 @@
1 +RP2.Railway Project - Summer Term 2017.Guidelines.WebHome
Content
... ... @@ -95,8 +95,10 @@
95 95   // State example
96 96   initial state example_state
97 97   go to example_state immediate
98 - if trigger
99 - do action0 = true
98 + if trigger
99 + && (trigger1
100 + || trigger2)
101 + do action0 = true
100 100   ; action1 = false
101 101   ; fun++
102 102   label "Having fun"
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -31162525
1 +28672011
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RP2/pages/31162525/Project Guidelines
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RP2/pages/28672011/Project Guidelines