No edit summary |
|||
Line 1: | Line 1: | ||
== Installing ProB 2.0 from Rodin 2.7 or later == | == Installing ProB 2.0 from Rodin 2.7 or later == | ||
Line 15: | Line 14: | ||
== Start Animating the Lift == | == Start Animating the Lift == | ||
Right-click on the <tt>MLift</tt> model and select the "Animate" command: | |||
[[File:MLiftAnimateWithProB.png|300px|center]] | |||
Click on setup_constants and initialise in the Events view: | |||
[[File:MLiftEventsView.png|300px|center]] | |||
== Open HTML Visualization == | == Open HTML Visualization == | ||
Go into the ProB Menu at the top and select ... | |||
[[File:MLiftOpenHTMLVisualization.png|300px|center]] | |||
You can now see a graphical visualisation of the state of the model: | |||
[[File:MLiftHTMLVisualization.png|300px|center]] | |||
You can also click on the buttons in the HTML page to control the model. |
Open a Groovy Console and type upgrade "latest".
Select the Rodin "Import…" menu command and import Lift.zip.
Right-click on the MLift model and select the "Animate" command:
Click on setup_constants and initialise in the Events view:
Go into the ProB Menu at the top and select ...
You can now see a graphical visualisation of the state of the model:
You can also click on the buttons in the HTML page to control the model.