lmf.formula.csp.node
Class ACspSequentialProcess

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

public final class ACspSequentialProcess
extends PSequentialProcess


Constructor Summary
ACspSequentialProcess()
           
ACspSequentialProcess(PPrefixProcess _leftProcess_, TSemicolon _semicolon_, PSequentialProcess _rightProcess_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 PPrefixProcess getLeftProcess()
           
 PSequentialProcess getRightProcess()
           
 TSemicolon getSemicolon()
           
 void setLeftProcess(PPrefixProcess node)
           
 void setRightProcess(PSequentialProcess node)
           
 void setSemicolon(TSemicolon 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

ACspSequentialProcess

public ACspSequentialProcess()

ACspSequentialProcess

public ACspSequentialProcess(PPrefixProcess _leftProcess_,
                             TSemicolon _semicolon_,
                             PSequentialProcess _rightProcess_)
Method Detail

clone

public java.lang.Object clone()
Specified by:
clone in class Node

apply

public void apply(Switch sw)

getLeftProcess

public PPrefixProcess getLeftProcess()

setLeftProcess

public void setLeftProcess(PPrefixProcess node)

getSemicolon

public TSemicolon getSemicolon()

setSemicolon

public void setSemicolon(TSemicolon node)

getRightProcess

public PSequentialProcess getRightProcess()

setRightProcess

public void setRightProcess(PSequentialProcess node)

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object