lmf.formula.csp.node
Class ACspInternalChoiceProcess

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

public final class ACspInternalChoiceProcess
extends PChoiceProcess


Constructor Summary
ACspInternalChoiceProcess()
           
ACspInternalChoiceProcess(PTimeoutProcess _leftProcess_, TInternalChoice _internalChoice_, PChoiceProcess _rightProcess_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 TInternalChoice getInternalChoice()
           
 PTimeoutProcess getLeftProcess()
           
 PChoiceProcess getRightProcess()
           
 void setInternalChoice(TInternalChoice 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

ACspInternalChoiceProcess

public ACspInternalChoiceProcess()

ACspInternalChoiceProcess

public ACspInternalChoiceProcess(PTimeoutProcess _leftProcess_,
                                 TInternalChoice _internalChoice_,
                                 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)

getInternalChoice

public TInternalChoice getInternalChoice()

setInternalChoice

public void setInternalChoice(TInternalChoice node)

getRightProcess

public PChoiceProcess getRightProcess()

setRightProcess

public void setRightProcess(PChoiceProcess node)

toString

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