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