lmf.formula.csp.node
Class ACspAlphabetisedParallelProcess
java.lang.Object
lmf.formula.csp.node.Node
lmf.formula.csp.node.PParallelProcess
lmf.formula.csp.node.ACspAlphabetisedParallelProcess
- All Implemented Interfaces:
- java.lang.Cloneable, Switchable
public final class ACspAlphabetisedParallelProcess
- extends PParallelProcess
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ACspAlphabetisedParallelProcess
public ACspAlphabetisedParallelProcess()
ACspAlphabetisedParallelProcess
public ACspAlphabetisedParallelProcess(PChoiceProcess _leftProcess_,
TLBracket _lBracket_,
PExpression _leftExpr_,
TParallel _parallel_,
PExpression _rightExpr_,
TRBracket _rBracket_,
PChoiceProcess _rightProcess_)
clone
public java.lang.Object clone()
- Specified by:
clone
in class Node
apply
public void apply(Switch sw)
getLeftProcess
public PChoiceProcess getLeftProcess()
setLeftProcess
public void setLeftProcess(PChoiceProcess node)
getLBracket
public TLBracket getLBracket()
setLBracket
public void setLBracket(TLBracket node)
getLeftExpr
public PExpression getLeftExpr()
setLeftExpr
public void setLeftExpr(PExpression node)
getParallel
public TParallel getParallel()
setParallel
public void setParallel(TParallel node)
getRightExpr
public PExpression getRightExpr()
setRightExpr
public void setRightExpr(PExpression node)
getRBracket
public TRBracket getRBracket()
setRBracket
public void setRBracket(TRBracket node)
getRightProcess
public PChoiceProcess getRightProcess()
setRightProcess
public void setRightProcess(PChoiceProcess node)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object