lmf.formula.csp.node
Class ACspRenamingProcess

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

public final class ACspRenamingProcess
extends PRenamingProcess


Constructor Summary
ACspRenamingProcess()
           
ACspRenamingProcess(PProcess _process_, TLSubst _lSubst_, PSubstitutionList _substitutionList_, PConstraints _constraints_, TRSubst _rSubst_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 PConstraints getConstraints()
           
 TLSubst getLSubst()
           
 PProcess getProcess()
           
 TRSubst getRSubst()
           
 PSubstitutionList getSubstitutionList()
           
 void setConstraints(PConstraints node)
           
 void setLSubst(TLSubst node)
           
 void setProcess(PProcess node)
           
 void setRSubst(TRSubst node)
           
 void setSubstitutionList(PSubstitutionList 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

ACspRenamingProcess

public ACspRenamingProcess()

ACspRenamingProcess

public ACspRenamingProcess(PProcess _process_,
                           TLSubst _lSubst_,
                           PSubstitutionList _substitutionList_,
                           PConstraints _constraints_,
                           TRSubst _rSubst_)
Method Detail

clone

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

apply

public void apply(Switch sw)

getProcess

public PProcess getProcess()

setProcess

public void setProcess(PProcess node)

getLSubst

public TLSubst getLSubst()

setLSubst

public void setLSubst(TLSubst node)

getSubstitutionList

public PSubstitutionList getSubstitutionList()

setSubstitutionList

public void setSubstitutionList(PSubstitutionList node)

getConstraints

public PConstraints getConstraints()

setConstraints

public void setConstraints(PConstraints node)

getRSubst

public TRSubst getRSubst()

setRSubst

public void setRSubst(TRSubst node)

toString

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