lmf.formula.csp.node
Class ACspAlphabetisedParallelProcess

java.lang.Object
  extended by lmf.formula.csp.node.Node
      extended by lmf.formula.csp.node.PParallelProcess
          extended by lmf.formula.csp.node.ACspAlphabetisedParallelProcess
All Implemented Interfaces:
java.lang.Cloneable, Switchable

public final class ACspAlphabetisedParallelProcess
extends PParallelProcess


Constructor Summary
ACspAlphabetisedParallelProcess()
           
ACspAlphabetisedParallelProcess(PChoiceProcess _leftProcess_, TLBracket _lBracket_, PExpression _leftExpr_, TParallel _parallel_, PExpression _rightExpr_, TRBracket _rBracket_, PChoiceProcess _rightProcess_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 TLBracket getLBracket()
           
 PExpression getLeftExpr()
           
 PChoiceProcess getLeftProcess()
           
 TParallel getParallel()
           
 TRBracket getRBracket()
           
 PExpression getRightExpr()
           
 PChoiceProcess getRightProcess()
           
 void setLBracket(TLBracket node)
           
 void setLeftExpr(PExpression node)
           
 void setLeftProcess(PChoiceProcess node)
           
 void setParallel(TParallel node)
           
 void setRBracket(TRBracket node)
           
 void setRightExpr(PExpression node)
           
 void setRightProcess(PChoiceProcess node)
           
 java.lang.String toString()
           
 
Methods inherited from class lmf.formula.csp.node.Node
parent, replaceBy
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ACspAlphabetisedParallelProcess

public ACspAlphabetisedParallelProcess()

ACspAlphabetisedParallelProcess

public ACspAlphabetisedParallelProcess(PChoiceProcess _leftProcess_,
                                       TLBracket _lBracket_,
                                       PExpression _leftExpr_,
                                       TParallel _parallel_,
                                       PExpression _rightExpr_,
                                       TRBracket _rBracket_,
                                       PChoiceProcess _rightProcess_)
Method Detail

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