Difference between revisions of "AnimB start"
From Event-B
Jump to navigationJump to searchimported>Christophe |
imported>Christophe |
||
| Line 12: | Line 12: | ||
[[Image:wizard.png|438:px|center]]<br> | [[Image:wizard.png|438:px|center]]<br> | ||
== The animation editor== | == The animation editor== | ||
| − | The following screenshot describes the animation | + | The following screenshot describes the animation editor: |
| + | [[Image:editor.png|638:px|ceneter]] | ||
| + | === Event guard state === | ||
| + | === Component tabs === | ||
| + | === Variables table === | ||
Revision as of 19:56, 7 July 2008
Contents
Start an animation
To start an animation, select a machine in "Project explorer" or in "Obligation Explorer" then click right and select "Animate" action.
New animation wizard
The "new animation wizard" is open.
This wizard allows to :
- set an animation name,
- choose constant valuation.
The animation name is used to shared animation between application client. You can use the default value.
The animation editor
The following screenshot describes the animation editor:
