lmf.formula.csp.node
Class ACspHidingProcess
java.lang.Object
lmf.formula.csp.node.Node
lmf.formula.csp.node.PHidingProcess
lmf.formula.csp.node.ACspHidingProcess
- All Implemented Interfaces:
- java.lang.Cloneable, Switchable
public final class ACspHidingProcess
- extends PHidingProcess
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ACspHidingProcess
public ACspHidingProcess()
ACspHidingProcess
public ACspHidingProcess(PRenamingProcess _process_,
TBackslash _backslash_,
PExpr _hidenEvents_)
clone
public java.lang.Object clone()
- Specified by:
clone
in class Node
apply
public void apply(Switch sw)
getProcess
public PRenamingProcess getProcess()
setProcess
public void setProcess(PRenamingProcess node)
getBackslash
public TBackslash getBackslash()
setBackslash
public void setBackslash(TBackslash node)
getHidenEvents
public PExpr getHidenEvents()
setHidenEvents
public void setHidenEvents(PExpr node)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object