uk.ac.ic.doc.y2002.tool.application
Class GSPNAnimator

java.lang.Object
  |
  +--uk.ac.ic.doc.y2002.tool.application.PNAnimator
        |
        +--uk.ac.ic.doc.y2002.tool.application.GSPNAnimator

public class GSPNAnimator
extends PNAnimator


Constructor Summary
GSPNAnimator(DisplayPane display)
           
 
Method Summary
protected  TransitionLabel chooseFire(java.util.List trans)
           
 java.util.List highlightEnabledTransitions(boolean highlight)
          Highlights enabled transitions and returns a List of enabled transitions
 
Methods inherited from class uk.ac.ic.doc.y2002.tool.application.PNAnimator
animate, animate, highlightAll, highlightPNLabel, highlightPNLabel, highlightPNLabelOnly, isAnimating, makeBackup, pause, restoreFromBackup, revert, setTimestep
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

GSPNAnimator

public GSPNAnimator(DisplayPane display)
Method Detail

highlightEnabledTransitions

public java.util.List highlightEnabledTransitions(boolean highlight)
Highlights enabled transitions and returns a List of enabled transitions
Overrides:
highlightEnabledTransitions in class PNAnimator
Returns:
List of enabled transitions (the TransitionLabels)

chooseFire

protected TransitionLabel chooseFire(java.util.List trans)
Overrides:
chooseFire in class PNAnimator