lmf.formula.csp.node
Class ACspLambdaExpression
java.lang.Object
lmf.formula.csp.node.Node
lmf.formula.csp.node.PExpression
lmf.formula.csp.node.ACspLambdaExpression
- All Implemented Interfaces:
- java.lang.Cloneable, Switchable
public final class ACspLambdaExpression
- extends PExpression
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ACspLambdaExpression
public ACspLambdaExpression()
ACspLambdaExpression
public ACspLambdaExpression(PLambdaExpr _lambdaExpr_)
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