lmf.formula.csp.node
Class ACspBaseReplicatedProcess

java.lang.Object
  extended by lmf.formula.csp.node.Node
      extended by lmf.formula.csp.node.PReplicatedProcess
          extended by lmf.formula.csp.node.ACspBaseReplicatedProcess
All Implemented Interfaces:
java.lang.Cloneable, Switchable

public final class ACspBaseReplicatedProcess
extends PReplicatedProcess


Constructor Summary
ACspBaseReplicatedProcess()
           
ACspBaseReplicatedProcess(PPrefixProcess _prefixProcess_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 PPrefixProcess getPrefixProcess()
           
 void setPrefixProcess(PPrefixProcess node)
           
 java.lang.String toString()
           
 
Methods inherited from class lmf.formula.csp.node.Node
parent, replaceBy
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ACspBaseReplicatedProcess

public ACspBaseReplicatedProcess()

ACspBaseReplicatedProcess

public ACspBaseReplicatedProcess(PPrefixProcess _prefixProcess_)
Method Detail

clone

public java.lang.Object clone()
Specified by:
clone in class Node

apply

public void apply(Switch sw)

getPrefixProcess

public PPrefixProcess getPrefixProcess()

setPrefixProcess

public void setPrefixProcess(PPrefixProcess node)

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object