Uses of Class
lmf.formula.csp.node.PRenamingProcess

Packages that use PRenamingProcess
lmf.formula.csp.node   
 

Uses of PRenamingProcess in lmf.formula.csp.node
 

Subclasses of PRenamingProcess in lmf.formula.csp.node
 class ACspBaseRenamingProcess
           
 class ACspRenamingProcess
           
 

Methods in lmf.formula.csp.node that return PRenamingProcess
 PRenamingProcess ACspHidingProcess.getProcess()
           
 PRenamingProcess ACspBaseHidingProcess.getRenamingProcess()
           
 

Methods in lmf.formula.csp.node with parameters of type PRenamingProcess
 void ACspHidingProcess.setProcess(PRenamingProcess node)
           
 void ACspBaseHidingProcess.setRenamingProcess(PRenamingProcess node)
           
 

Constructors in lmf.formula.csp.node with parameters of type PRenamingProcess
ACspBaseHidingProcess(PRenamingProcess _renamingProcess_)
           
ACspHidingProcess(PRenamingProcess _process_, TBackslash _backslash_, PExpr _hidenEvents_)