fr.inria.aoste.kpassa.graph.markedgraph

Interface MGArc

All Superinterfaces:

Arc, NamedObject

All Known Subinterfaces:

AsynchMGArc, KRGArc, SDFArc, SMGArc

All Known Implementing Classes:

AsynchMGArcImpl, KRGArcImpl

public interface MGArc
extends Arc

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(MarkedGraphVisitor visitor) For the visitor design pattern
void	consume() To consume a token into the place of the arc
MGVertex	getHead() To get the head (destination) of the arc.
MGVertex	getTail() To get the tail (source) of the arc.
int	getTokenCount() Gives the number of token in the arc.
boolean	isActif() Check whether the arc has a token available to fire the head vertex.
void	produce() To add a token into the place of the arc

Methods inherited from interface fr.inria.aoste.kpassa.graph.digraph.Arc

accept, addArcListener, getHeadPort, getTailPort, removeArcListener

Methods inherited from interface fr.inria.aoste.kpassa.util.NamedObject

getName, setName

Method Detail

isActif

boolean isActif()

Check whether the arc has a token available to fire the head vertex.

getTail

MGVertex getTail()

To get the tail (source) of the arc.

Specified by:

getTail in interface Arc

Returns:

the tail

getHead

MGVertex getHead()

To get the head (destination) of the arc.

Specified by:

getHead in interface Arc

Returns:

the head

consume

void consume()

To consume a token into the place of the arc

produce

void produce()

To add a token into the place of the arc

getTokenCount

int getTokenCount()

Gives the number of token in the arc.

Returns:

the number of token

accept

void accept(MarkedGraphVisitor visitor)

For the visitor design pattern

Parameters:

visitor -