Uses of Class
vanted.petrinetelements.Transition

Packages that use Transition
petri_jfern   
pnml.writer   
vanted.gui   
vanted.petrinetelements   
 

Uses of Transition in petri_jfern
 

Methods in petri_jfern that return Transition
 Transition TransitionMap.getTransitionV(org.rakiura.cpn.Transition t)
          Gets the transition v (vanted).
 

Methods in petri_jfern that return types with arguments of type Transition
 java.util.List<Transition> TransitionMap.getAllTransitionsV()
          Gets the all transitions v (vanted).
 

Methods in petri_jfern with parameters of type Transition
 void TransitionMap.addTransition(Transition transition, org.rakiura.cpn.Transition t)
          Adds the transitions.
 boolean TransitionMap.containsKeyV(Transition transition)
          Contains key v.
 void PNJFern.fire(Transition transition)
           
 void PNJFern.fireTransition(Transition transition)
           
 java.util.List<java.awt.Color> TransitionMap.getColor(Transition transition)
          Gets the color.
 org.rakiura.cpn.Transition TransitionMap.getTransitionR(Transition transition)
          Gets the transition r (rakiura).
 boolean PNJFern.isEnabled(Transition transition)
           
 void TransitionMap.removeTransitionV(Transition transition)
          Removes the transition v (vanted, rakiura).
 

Method parameters in petri_jfern with type arguments of type Transition
 void PNJFern.fireTransitions(java.util.List<Transition> transitions)
           
 

Uses of Transition in pnml.writer
 

Methods in pnml.writer with parameters of type Transition
 org.w3c.dom.Element PNMLParserDiscrete.createTransitionElement(Transition transition, org.w3c.dom.Document document)
           
 org.w3c.dom.Element PNMLParserContinuous.createTransitionElement(Transition transition, org.w3c.dom.Document document)
           
abstract  org.w3c.dom.Element AbstractPNMLParser.createTransitionElement(Transition transition, org.w3c.dom.Document document)
          Creates a Transition Element for a PNML Petri-Net DOM
 

Uses of Transition in vanted.gui
 

Methods in vanted.gui with parameters of type Transition
 void GUICompPlaceCapacity.removeElements(Transition transition)
           
 void GUICompDiscreteToken.removeElements(Transition transition)
           
 void GUICompContinuousToken.removeElements(Transition transition)
           
 void GUICompArcWeight.removeElements(Transition transition)
           
abstract  void AbstractGUIComp.removeElements(Transition transition)
           
 

Uses of Transition in vanted.petrinetelements
 

Methods in vanted.petrinetelements that return Transition
 Transition Transition.fire()
          Fire the transition.
 Transition Transition.getReversibleTransition()
          Gets the reversible transition.
 Transition AbstractArc.getTransition()
          Gets the transition.
 

Methods in vanted.petrinetelements that return types with arguments of type Transition
 java.util.List<Transition> PetriNet.createRandomReversibleTransitions(java.util.List<Transition> transitions)
          Returns one random transition of the pair of reversible transitions.
 java.util.List<Transition> PetriNet.getAllSelectedTransitions(java.util.Collection<org.graffiti.graph.Node> nodes)
          Gets all the selected transitions.
 java.util.List<Transition> PetriNet.getAllTransitions()
          Gets all the transitions.
 

Methods in vanted.petrinetelements with parameters of type Transition
 void TransitionListener.fire(Transition transition)
          Fire.
 void Library.fireTransition(Transition transition)
          Fire transition.
 int PetriNet.getTransitionPosition(Transition transition)
          Gets the transition position in the Petri net.
 boolean TransitionListener.isEnabled(Transition transition)
          Checks if is enabled.
 void Transition.setReversibleTransition(Transition transition)
          Sets a reversible transition.
 void AbstractArc.setTransition(Transition transition)
          Sets the transition.
 

Method parameters in vanted.petrinetelements with type arguments of type Transition
 java.util.List<Transition> PetriNet.createRandomReversibleTransitions(java.util.List<Transition> transitions)
          Returns one random transition of the pair of reversible transitions.
 void Library.fireTransitions(java.util.List<Transition> transitions)
          Fire transitions.
 

Constructors in vanted.petrinetelements with parameters of type Transition
AbstractArc(Place place, Transition transition, org.graffiti.graph.Edge edge)
          Instantiates a new abstract arc.
AbstractArc(Transition transition, Place place, org.graffiti.graph.Edge edge)
          Instantiates a new abstract arc.
InArc(Place place, Transition transition, org.graffiti.graph.Edge edge)
          Instantiates a new in arc.
OutArc(Transition transition, Place place, org.graffiti.graph.Edge edge)
          Instantiates a new out arc.
Transition(Transition transition)
          Instantiates a new reversible transition.