public interface KRGArc extends SDFArc
Modifier and Type | Method and Description |
---|---|
void |
accept(KRGVisitor visitor) |
KRGVertex |
getHead()
To get the head (destination) of the arc.
|
int |
getKRGInputWeight() |
int |
getKRGOutputWeight() |
KRGVertex |
getTail()
To get the tail (source) of the arc.
|
accept, addArcListener, getInputWeight, getMinimalSize, getOutputWeight, removeArcListener
accept, addAsynchMGArcListener, addTokensInPlace, getMarking, removeAsynchMGArcListener, removeTokenFromPlace, setMarking
accept, consume, getTokenCount, isActif, produce
accept, addArcListener, getHeadPort, getTailPort, removeArcListener
getName, setName
KRGVertex getHead()
SDFArc
KRGVertex getTail()
SDFArc
int getKRGInputWeight()
int getKRGOutputWeight()
void accept(KRGVisitor visitor)