Line 19: | Line 19: | ||
Click on setup_constants and initialise in the Events view: | Click on setup_constants and initialise in the Events view: | ||
[[File:MLiftEventsView.png| | [[File:MLiftEventsView.png|200px|center]] | ||
== Open HTML Visualization == | == Open HTML Visualization == |
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 "Start Animation" command:
Click on setup_constants and initialise in the Events view:
Go into the ProB Menu at the top and select Open BMotionStudio Visualization:
Click on the button in the top-left of the BMotion Studio view, click the "Browse" button and navigate to the "lift.html" file:
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.