Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
research:software:lrp [2016/12/21 16:10] – [Advanced Features] jfabry | research:software:lrp [2016/12/21 16:48] – [Advanced Features] jfabry | ||
---|---|---|---|
Line 212: | Line 212: | ||
In a nested machine it is possible to define transitions that go to a state of the parent machine, effectively exiting the nested machine. Such transitions are like normal transactions, | In a nested machine it is possible to define transitions that go to a state of the parent machine, effectively exiting the nested machine. Such transitions are like normal transactions, | ||
- | A simple example is as follows: | + | A simple example is as follows. As soon as the '' |
< | < | ||
(machine root | (machine root | ||
Line 224: | Line 224: | ||
) | ) | ||
(state two) | (state two) | ||
- | (ontime 1000 two-> | ||
) | ) | ||
(spawn root one) | (spawn root one) | ||
Line 231: | Line 230: | ||
=== Eventless transitions === | === Eventless transitions === | ||
- | It can become tedious for transitions to need an event as a trigger, since it requires the definition of a separate | + | It can become tedious for transitions to need an event as a trigger, since it requires the definition of an event as a separate |
- | Eventless transitions are in fact syntactic sugar: an event is generated and added to the machine, with as action block the block that was specified, and the transition then refers to that event. | + | Eventless transitions are in fact syntactic sugar: an event is generated and added to the machine, with as action block the block that was specified |
- | === User interface: | + | === User interface: |
+ | The LRP user interface allows for the user to force a machine in a given state. By right-clicking on a state in the visualisation a menu appears, with the option to '' | ||
+ | Transition to and jump to also combine with concurrency (see above for concurrency): | ||
==== Downloads ==== | ==== Downloads ==== | ||