|
||||||||||
| 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 |
PetriScheduler.addActivated(PetriTransition a)
|
void |
PetriStructure.addActivated(PetriTransition a)
|
void |
PetriScheduler.removeActivated(PetriTransition a)
|
void |
PetriStructure.removeActivated(PetriTransition a)
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||