|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use PetriTransition | |
SEdit.Formalisms.Petri |
Uses of PetriTransition in SEdit.Formalisms.Petri |
Methods in SEdit.Formalisms.Petri that return PetriTransition | |
protected PetriTransition |
PetriStructure.getActivated()
|
Methods in SEdit.Formalisms.Petri with parameters of type PetriTransition | |
void |
PetriStructure.addActivated(PetriTransition a)
|
void |
PetriStructure.removeActivated(PetriTransition a)
|
void |
PetriScheduler.addActivated(PetriTransition a)
|
void |
PetriScheduler.removeActivated(PetriTransition a)
|
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |