Uses of Class
pipe.dataLayer.Transition

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)