|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Transition | |
pipe.dataLayer | |
pipe.gui | |
pipe.modules.comparison | |
pipe.modules.dnamaca |
Uses of Transition in pipe.dataLayer |
Fields in pipe.dataLayer declared as Transition | |
private Transition |
Transition.ArcAngleCompare.transition
|
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.fireRandomTransition()
Fire a random transition, takes rate (probability) of Transitions into account |
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)
|
Constructors in pipe.dataLayer with parameters of type Transition | |
Transition.ArcAngleCompare(Arc _arc,
Transition _transition)
|
Uses of Transition in pipe.gui |
Fields in pipe.gui declared as Transition | |
private Transition |
RotateTransitionAction.selected
|
private Transition |
EditTimedAction.selected
|
private Transition |
EditRateAction.selected
|
Methods in pipe.gui with parameters of type Transition | |
void |
Animator.fireTransition(Transition transition)
|
Constructors in pipe.gui with parameters of type Transition | |
TransitionHandler(java.awt.Container contentpane,
Transition obj)
|
|
RotateTransitionAction(java.awt.Container contentPane,
Transition t,
int a,
java.lang.String name)
|
|
EditTimedAction(Transition component)
|
Uses of Transition in pipe.modules.comparison |
Methods in pipe.modules.comparison with parameters of type Transition | |
private java.lang.String |
Comparison.compareTransitions(Transition[] source,
Transition[] comparison,
boolean compareID,
boolean compareName,
boolean compareRate)
|
Uses of Transition in pipe.modules.dnamaca |
Fields in pipe.modules.dnamaca declared as Transition | |
private Transition[] |
Dnamaca.transitions
|
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |