|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.ObjectSEdit.SElement
SEdit.SNode
SEdit.SimpleNode
SEdit.Formalisms.Petri.PetriPlace
SEdit.Formalisms.Petri.PetriInPort
public class PetriInPort
| Field Summary |
|---|
| Fields inherited from class SEdit.SimpleNode |
|---|
inArrows, outArrows |
| Fields inherited from class SEdit.SElement |
|---|
comment, descriptor, element, id, label, persistent, structure |
| Constructor Summary | |
|---|---|
PetriInPort()
|
|
| Method Summary |
|---|
| Methods inherited from class SEdit.Formalisms.Petri.PetriPlace |
|---|
addColoredToken, addToken, consume, consume, getColoredTokens, getNumberTokens, isEmpty, modifyColoredTokens, produce, produce |
| Methods inherited from class SEdit.SimpleNode |
|---|
addInArrow, addOutArrow, delete, deleteInArrow, deleteOutArrow, getInArrows, getInArrows, getOutArrows, getOutArrows, isConnectable, toString |
| Methods inherited from class SEdit.SNode |
|---|
activate, initGraphics, reInstall |
| Methods inherited from class SEdit.SElement |
|---|
dump, getComment, getDescriptor, getGObject, getID, getLabel, getStructure, init, inspect, setComment, setDescriptor, setGObject, setID, setLabel, setStructure |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Constructor Detail |
|---|
public PetriInPort()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||