SEdit.Formalisms.Petri
Class PetriStructure
java.lang.Object
SEdit.Structure
SEdit.Formalisms.Petri.PetriStructure
- All Implemented Interfaces:
- PetriScheduler
- Direct Known Subclasses:
- ActivePetriStructure
- public class PetriStructure
- extends Structure
- implements PetriScheduler
CLASSE PetriStructure
Methods inherited from class SEdit.Structure |
activate, addArrow, addArrow, addNode, addNode, clearAll, createNode, deleteAll, drawBackground, dump, end, existID, getAgent, getArrow, getArrowFromLabel, getArrows, getDescription, getDisplayGrid, getEditor, getFormalism, getGridSize, getNode, getNodeFromLabel, getNodes, getSnapToGrid, isConnectable, newArrowID, newNodeID, preactivate, removeArrow, removeNode, setAgent, setDescription, setDisplayGrid, setEditor, setFormalism, setGridSize, setSnapToGrid, setSnapToGrid1, toggleShowGrid, toString |
activatedList
protected Vector activatedList
scheme
protected SchemeModule scheme
PetriStructure
public PetriStructure()
addActivated
public void addActivated(PetriTransition a)
- Specified by:
addActivated
in interface PetriScheduler
removeActivated
public void removeActivated(PetriTransition a)
- Specified by:
removeActivated
in interface PetriScheduler
getActivated
protected PetriTransition getActivated()
getSchemeModule
public SchemeModule getSchemeModule()
initStructure
public void initStructure()
- Description copied from class:
Structure
- Initialize a structure when everything is OK.
Does nothing by default. May be redefined by subclasses.
- Overrides:
initStructure
in class Structure
step
public void step()
- Specified by:
step
in interface PetriScheduler
handleMessage
public void handleMessage(Message m)
Copyright © J. Ferber, O. Gutknecht All Rights Reserved.