lmf.formula.csp.node
Class ACspSharingReplicatedProcess
java.lang.Object
lmf.formula.csp.node.Node
lmf.formula.csp.node.PReplicatedProcess
lmf.formula.csp.node.ACspSharingReplicatedProcess
- All Implemented Interfaces:
- java.lang.Cloneable, Switchable
public final class ACspSharingReplicatedProcess
- extends PReplicatedProcess
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ACspSharingReplicatedProcess
public ACspSharingReplicatedProcess()
ACspSharingReplicatedProcess
public ACspSharingReplicatedProcess(TLParallel _lParallel_,
PExpression _expression_,
TRParallel _rParallel_,
PVariableList _variableList_,
TAt _at_,
PHelp _process_)
clone
public java.lang.Object clone()
- Specified by:
clone
in class Node
apply
public void apply(Switch sw)
getLParallel
public TLParallel getLParallel()
setLParallel
public void setLParallel(TLParallel node)
getExpression
public PExpression getExpression()
setExpression
public void setExpression(PExpression node)
getRParallel
public TRParallel getRParallel()
setRParallel
public void setRParallel(TRParallel 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