lmf.formula.csp.node
Class ACspUntimedTimeoutProcess
java.lang.Object
lmf.formula.csp.node.Node
lmf.formula.csp.node.PTimeoutProcess
lmf.formula.csp.node.ACspUntimedTimeoutProcess
- All Implemented Interfaces:
- java.lang.Cloneable, Switchable
public final class ACspUntimedTimeoutProcess
- extends PTimeoutProcess
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ACspUntimedTimeoutProcess
public ACspUntimedTimeoutProcess()
ACspUntimedTimeoutProcess
public ACspUntimedTimeoutProcess(PInterruptProcess _leftProcess_,
TUntimedTimeout _untimedTimeout_,
PTimeoutProcess _rightProcess_)
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