lmf.formula.csp.node
Class ACspInternalReplicatedProcess
java.lang.Object
lmf.formula.csp.node.Node
lmf.formula.csp.node.PReplicatedProcess
lmf.formula.csp.node.ACspInternalReplicatedProcess
- All Implemented Interfaces:
- java.lang.Cloneable, Switchable
public final class ACspInternalReplicatedProcess
- extends PReplicatedProcess
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ACspInternalReplicatedProcess
public ACspInternalReplicatedProcess()
ACspInternalReplicatedProcess
public ACspInternalReplicatedProcess(TInternalChoice _internalChoice_,
PVariableList _variableList_,
TAt _at_,
PHelp _process_)
clone
public java.lang.Object clone()
- Specified by:
clone
in class Node
apply
public void apply(Switch sw)
getInternalChoice
public TInternalChoice getInternalChoice()
setInternalChoice
public void setInternalChoice(TInternalChoice node)
getVariableList
public PVariableList getVariableList()
setVariableList
public void setVariableList(PVariableList node)
getAt
public TAt getAt()
setAt
public void setAt(TAt node)
getProcess
public PHelp getProcess()
setProcess
public void setProcess(PHelp node)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object