|
|||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--uk.ac.ic.doc.y2002.tool.application.PNAnimator | +--uk.ac.ic.doc.y2002.tool.application.GSPNAnimator
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 |
public GSPNAnimator(DisplayPane display)
Method Detail |
public java.util.List highlightEnabledTransitions(boolean highlight)
highlightEnabledTransitions
in class PNAnimator
protected TransitionLabel chooseFire(java.util.List trans)
chooseFire
in class PNAnimator
|
|||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |