lmf.formula.csp.node
Class ACspInterleaveProcess
java.lang.Object
lmf.formula.csp.node.Node
lmf.formula.csp.node.PInterleaveProcess
lmf.formula.csp.node.ACspInterleaveProcess
- All Implemented Interfaces:
- java.lang.Cloneable, Switchable
public final class ACspInterleaveProcess
- extends PInterleaveProcess
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ACspInterleaveProcess
public ACspInterleaveProcess()
ACspInterleaveProcess
public ACspInterleaveProcess(PParallelProcess _leftProcess_,
TInterleave _interleave_,
PInterleaveProcess _rightProcess_)
clone
public java.lang.Object clone()
- Specified by:
clone
in class Node
apply
public void apply(Switch sw)
getLeftProcess
public PParallelProcess getLeftProcess()
setLeftProcess
public void setLeftProcess(PParallelProcess node)
getInterleave
public TInterleave getInterleave()
setInterleave
public void setInterleave(TInterleave node)
getRightProcess
public PInterleaveProcess getRightProcess()
setRightProcess
public void setRightProcess(PInterleaveProcess node)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object