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