lmf.formula.csp.node
Class ACspBaseGuardedProcess

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

public final class ACspBaseGuardedProcess
extends PGuardedProcess


Constructor Summary
ACspBaseGuardedProcess()
           
ACspBaseGuardedProcess(PHidingProcess _hidingProcess_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 PHidingProcess getHidingProcess()
           
 void setHidingProcess(PHidingProcess 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

ACspBaseGuardedProcess

public ACspBaseGuardedProcess()

ACspBaseGuardedProcess

public ACspBaseGuardedProcess(PHidingProcess _hidingProcess_)
Method Detail

clone

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

apply

public void apply(Switch sw)

getHidingProcess

public PHidingProcess getHidingProcess()

setHidingProcess

public void setHidingProcess(PHidingProcess node)

toString

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