lmf.formula.csp.node
Class ACspUntimedTimeoutProcess

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

public final class ACspUntimedTimeoutProcess
extends PTimeoutProcess


Constructor Summary
ACspUntimedTimeoutProcess()
           
ACspUntimedTimeoutProcess(PInterruptProcess _leftProcess_, TUntimedTimeout _untimedTimeout_, PTimeoutProcess _rightProcess_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 PInterruptProcess getLeftProcess()
           
 PTimeoutProcess getRightProcess()
           
 TUntimedTimeout getUntimedTimeout()
           
 void setLeftProcess(PInterruptProcess node)
           
 void setRightProcess(PTimeoutProcess node)
           
 void setUntimedTimeout(TUntimedTimeout 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

ACspUntimedTimeoutProcess

public ACspUntimedTimeoutProcess()

ACspUntimedTimeoutProcess

public ACspUntimedTimeoutProcess(PInterruptProcess _leftProcess_,
                                 TUntimedTimeout _untimedTimeout_,
                                 PTimeoutProcess _rightProcess_)
Method Detail

clone

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

apply

public void apply(Switch sw)

getLeftProcess

public PInterruptProcess getLeftProcess()

setLeftProcess

public void setLeftProcess(PInterruptProcess node)

getUntimedTimeout

public TUntimedTimeout getUntimedTimeout()

setUntimedTimeout

public void setUntimedTimeout(TUntimedTimeout node)

getRightProcess

public PTimeoutProcess getRightProcess()

setRightProcess

public void setRightProcess(PTimeoutProcess node)

toString

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