AnimB start: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Christophe New page: ==Start an animation== To start an animation, select a machine in "Project explorer" or in "Obligation Explorer" then click right and select "Animate" action. [[Image:rightclick.png|305px... |
imported>Christophe No edit summary |
||
| Line 3: | Line 3: | ||
[[Image:rightclick.png|305px|center]]<br> | [[Image:rightclick.png|305px|center]]<br> | ||
==New animation wizard== | |||
The "new animation wizard" is open.<br> | |||
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 client: | |||
Revision as of 19:43, 7 July 2008
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 client:
