lmf.formula.csp.node
Class ACspLambdaExpression

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

public final class ACspLambdaExpression
extends PExpression


Constructor Summary
ACspLambdaExpression()
           
ACspLambdaExpression(PLambdaExpr _lambdaExpr_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 PLambdaExpr getLambdaExpr()
           
 void setLambdaExpr(PLambdaExpr 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

ACspLambdaExpression

public ACspLambdaExpression()

ACspLambdaExpression

public ACspLambdaExpression(PLambdaExpr _lambdaExpr_)
Method Detail

clone

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

apply

public void apply(Switch sw)

getLambdaExpr

public PLambdaExpr getLambdaExpr()

setLambdaExpr

public void setLambdaExpr(PLambdaExpr node)

toString

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