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: