lmf.formula.csp.node
Class ACspInterleaveReplicatedProcess
java.lang.Object
lmf.formula.csp.node.Node
lmf.formula.csp.node.PReplicatedProcess
lmf.formula.csp.node.ACspInterleaveReplicatedProcess
- All Implemented Interfaces:
- java.lang.Cloneable, Switchable
public final class ACspInterleaveReplicatedProcess
- extends PReplicatedProcess
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ACspInterleaveReplicatedProcess
public ACspInterleaveReplicatedProcess()
ACspInterleaveReplicatedProcess
public ACspInterleaveReplicatedProcess(TInterleave _interleave_,
PVariableList _variableList_,
TAt _at_,
PHelp _process_)
clone
public java.lang.Object clone()
- Specified by:
clone
in class Node
apply
public void apply(Switch sw)
getInterleave
public TInterleave getInterleave()
setInterleave
public void setInterleave(TInterleave 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