|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |