lmf.formula.csp.node
Class ACspBaseHidingProcess

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

public final class ACspBaseHidingProcess
extends PHidingProcess


Constructor Summary
ACspBaseHidingProcess()
           
ACspBaseHidingProcess(PRenamingProcess _renamingProcess_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 PRenamingProcess getRenamingProcess()
           
 void setRenamingProcess(PRenamingProcess 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

ACspBaseHidingProcess

public ACspBaseHidingProcess()

ACspBaseHidingProcess

public ACspBaseHidingProcess(PRenamingProcess _renamingProcess_)
Method Detail

clone

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

apply

public void apply(Switch sw)

getRenamingProcess

public PRenamingProcess getRenamingProcess()

setRenamingProcess

public void setRenamingProcess(PRenamingProcess node)

toString

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