lmf.formula.csp.node
Class ACspLambdaExpr
java.lang.Object
lmf.formula.csp.node.Node
lmf.formula.csp.node.PLambdaExpr
lmf.formula.csp.node.ACspLambdaExpr
- All Implemented Interfaces:
- java.lang.Cloneable, Switchable
public final class ACspLambdaExpr
- extends PLambdaExpr
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ACspLambdaExpr
public ACspLambdaExpr()
ACspLambdaExpr
public ACspLambdaExpr(TBackslash _backslash_,
PParamList _paramList_,
TAt _at_,
PExpression _expression_)
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)
getExpression
public PExpression getExpression()
setExpression
public void setExpression(PExpression node)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object