lmf.formula.csp.node
Class ACspExternalChoiceProcess

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

public final class ACspExternalChoiceProcess
extends PChoiceProcess


Constructor Summary
ACspExternalChoiceProcess()
           
ACspExternalChoiceProcess(PTimeoutProcess _leftProcess_, TExternalChoice _externalChoice_, PChoiceProcess _rightProcess_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 TExternalChoice getExternalChoice()
           
 PTimeoutProcess getLeftProcess()
           
 PChoiceProcess getRightProcess()
           
 void setExternalChoice(TExternalChoice node)
           
 void setLeftProcess(PTimeoutProcess 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

ACspExternalChoiceProcess

public ACspExternalChoiceProcess()

ACspExternalChoiceProcess

public ACspExternalChoiceProcess(PTimeoutProcess _leftProcess_,
                                 TExternalChoice _externalChoice_,
                                 PChoiceProcess _rightProcess_)
Method Detail

clone

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

apply

public void apply(Switch sw)

getLeftProcess

public PTimeoutProcess getLeftProcess()

setLeftProcess

public void setLeftProcess(PTimeoutProcess node)

getExternalChoice

public TExternalChoice getExternalChoice()

setExternalChoice

public void setExternalChoice(TExternalChoice node)

getRightProcess

public PChoiceProcess getRightProcess()

setRightProcess

public void setRightProcess(PChoiceProcess node)

toString

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