lmf.formula.csp.node
Class ACspRenamingProcess
java.lang.Object
lmf.formula.csp.node.Node
lmf.formula.csp.node.PRenamingProcess
lmf.formula.csp.node.ACspRenamingProcess
- All Implemented Interfaces:
- java.lang.Cloneable, Switchable
public final class ACspRenamingProcess
- extends PRenamingProcess
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ACspRenamingProcess
public ACspRenamingProcess()
ACspRenamingProcess
public ACspRenamingProcess(PProcess _process_,
TLSubst _lSubst_,
PSubstitutionList _substitutionList_,
PConstraints _constraints_,
TRSubst _rSubst_)
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