Introduction
The LTS Animator displays and animates a list of labelled transitions from a compiled state machine. The order in which transitions can be made is determined by the behaviour of the machine specified.
Opening the LTS Animator View
The LTS Animator view is enabled by selecting the menu option: Window à Show View à Other à LTSA à LTS Animator.
Layout and Animation Sequence
The Animator window consists of two panes, the right-hand side lists the choice of transitions for the current compiled LTS. The list is presented as checkbox items, whereby those which are available to be selected are highlighted by a tick 
image. Note that there may be more than one selection possible in a given sequence (as an example a choice of transitions in a parallel process composition).
On the left-hand side the Animator lists the most recently selected transition.
The Animation sequence can be reset by selecting the reset icon 
in the top right hand corner of the view.
Synchronised LTS Animator and LTS Draw Views
When the LTS Draw view is also visible on the Eclipse Workbench, the Animation will move the current state of the LTS Draw machine with the transition selected in the LTS Animator view.
