net.sourceforge.czt.circus.ast

Interface AlphabetisedParallelAction

All Superinterfaces:

Action2, CircusAction, ParAction, Term

All Known Implementing Classes:

AlphabetisedParallelActionImpl

public interface AlphabetisedParallelAction
extends ParAction

Alphabetised Parallel composition between two actions; it includes the channel set expression for both alphabets as synchronisation sets.

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Modifier and Type	Method and Description
ListTerm<ChannelSet>	getChannelSet() Returns the ChannelSet elements.
ChannelSet	getLeftAlpha()
ChannelSet	getRightAlpha()
void	setLeftAlpha(ChannelSet alpha)
void	setRightAlpha(ChannelSet alpha)

Methods inherited from interface net.sourceforge.czt.circus.ast.ParAction

getLeftNameSet, getNameSet, getRightNameSet, setLeftNameSet, setRightNameSet

Methods inherited from interface net.sourceforge.czt.circus.ast.Action2

getCircusAction, getLeftAction, getRightAction, setLeftAction, setRightAction

Methods inherited from interface net.sourceforge.czt.base.ast.Term

accept, annsSize, create, getAnn, getAnns, getChildren, hasAnn, hasAnn, removeAnn, removeAnn

Method Detail

getChannelSet

ListTerm<ChannelSet> getChannelSet()

Returns the ChannelSet elements.

To add or remove elements, use the methods provided by the List interface (that's why there is no need for a setter method).

Returns:

a list of ChannelSet elements.

getLeftAlpha

ChannelSet getLeftAlpha()

setLeftAlpha

void setLeftAlpha(ChannelSet alpha)

getRightAlpha

ChannelSet getRightAlpha()

setRightAlpha

void setRightAlpha(ChannelSet alpha)