Tutorial Rodin First Step: Difference between revisions
(Created page with 'Category:User Manual == Installation == Start off by installing the ProB Plugin for Rodin by choosing "Install new software...". == Starting ProB == Start by right click…') |
No edit summary |
||
| Line 18: | Line 18: | ||
[[file:ProBRodinInit.png|center]] | [[file:ProBRodinInit.png|center]] | ||
As you can see, the changer event is enabled, and there are two distinct ways to | As you can see, the changer event is enabled, and there are two distinct ways to choose the parameters of the event. | ||
Double-click on an EVENT to execute it. | Double-click on an EVENT to execute it. | ||
If you want to control which parameters are used, right click on the EVENT and choose the | If you want to control which parameters are used, right click on the EVENT and choose the desired parameter values: | ||
[[file:ProBRodinOpChoose.png|center]] | [[file:ProBRodinOpChoose.png|center]] | ||
| Line 31: | Line 29: | ||
You can click on an event in the history to return back to the corresponding state. | You can click on an event in the history to return back to the corresponding state. | ||
You can also click on the left arrow in the Events pane to go back one step at a time | You can also click on the left arrow in the Events pane to go back one step at a time | ||
(once you stepped back you can also step forward again; this works just like in | (once you stepped back you can also step forward again; this works just like in a web browser). | ||
[[file:ProBRodinAfterOpChoose.png|center]] | |||
Revision as of 07:54, 27 July 2010
Installation
Start off by installing the ProB Plugin for Rodin by choosing "Install new software...".
Starting ProB
Start by right clicking (control Click on the Mac) on the machine or context you wish to animate and select
Double-click on the INITIALISATION to initialise the machine:
As you can see, the changer event is enabled, and there are two distinct ways to choose the parameters of the event. Double-click on an EVENT to execute it. If you want to control which parameters are used, right click on the EVENT and choose the desired parameter values:
As you can see, the values of the variables have been updated. Values that have changed are marked with a star. The history pane has also been updated. You can click on an event in the history to return back to the corresponding state. You can also click on the left arrow in the Events pane to go back one step at a time (once you stepped back you can also step forward again; this works just like in a web browser).
