lmf.formula.csp.node
Class ACspLambdaProcess

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

public final class ACspLambdaProcess
extends PLambdaProcess


Constructor Summary
ACspLambdaProcess()
           
ACspLambdaProcess(TBackslash _backslash_, PParamList _paramList_, TAt _at_, PHelp _process_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 TAt getAt()
           
 TBackslash getBackslash()
           
 PParamList getParamList()
           
 PHelp getProcess()
           
 void setAt(TAt node)
           
 void setBackslash(TBackslash node)
           
 void setParamList(PParamList node)
           
 void setProcess(PHelp 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

ACspLambdaProcess

public ACspLambdaProcess()

ACspLambdaProcess

public ACspLambdaProcess(TBackslash _backslash_,
                         PParamList _paramList_,
                         TAt _at_,
                         PHelp _process_)
Method Detail

clone

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

apply

public void apply(Switch sw)

getBackslash

public TBackslash getBackslash()

setBackslash

public void setBackslash(TBackslash node)

getParamList

public PParamList getParamList()

setParamList

public void setParamList(PParamList node)

getAt

public TAt getAt()

setAt

public void setAt(TAt node)

getProcess

public PHelp getProcess()

setProcess

public void setProcess(PHelp node)

toString

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