|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Transition | |
pipe.dataLayer | |
pipe.gui | |
pipe.modules.comparison |
Uses of Transition in pipe.dataLayer |
Methods in pipe.dataLayer that return Transition | |
private Transition |
DataLayer.createTransition(org.w3c.dom.Element inputTransitionElement)
Creates a Transition object from a Transition DOM Element |
Transition[] |
DataLayer.getTransitions()
Get an List of all the Transition objects in the Petri-Net |
Transition |
DataLayer.getTransition(java.lang.String transitionName)
Return the Transition called transitionName from the Petri-Net |
Transition |
DataLayer.getTransition(int transitionNo)
Return the Transition called transitionName from the Petri-Net |
Methods in pipe.dataLayer with parameters of type Transition | |
void |
DataLayer.addTransition(Transition transitionInput)
Add transitionInput to back of the Transition ArrayList All observers are notified of this change (Model-View Architecture) |
private org.w3c.dom.Element |
DataLayer.createTransitionElement(Transition inputTransition,
org.w3c.dom.Document document)
Creates a Transition Element for a PNML Petri-Net DOM |
void |
DataLayer.fireTransition(Transition transition)
Fire a specified transition, no affect if transtions not enabled |
void |
DataLayer.fireTransitionBackwards(Transition transition)
|
Uses of Transition in pipe.gui |
Fields in pipe.gui declared as Transition | |
(package private) Transition |
Animator.lastTransition
|
(package private) Transition |
Animator.nextTransition
|
protected Transition |
AnimationHandler.tempTransition
|
private Transition |
EditRateAction.selected
|
Methods in pipe.gui that return Transition | |
Transition |
AnimationHandler.getTransition()
|
Methods in pipe.gui with parameters of type Transition | |
void |
Animator.passTransition(Transition last)
|
Uses of Transition in pipe.modules.comparison |
Methods in pipe.modules.comparison with parameters of type Transition | |
private void |
Comparison.compareTransitions(Transition[] source,
Transition[] comparison,
java.io.FileWriter output)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |