lmf.formula.csp.node
Class ACspLetExpr
java.lang.Object
lmf.formula.csp.node.Node
lmf.formula.csp.node.PLetExpr
lmf.formula.csp.node.ACspLetExpr
- All Implemented Interfaces:
- java.lang.Cloneable, Switchable
public final class ACspLetExpr
- extends PLetExpr
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ACspLetExpr
public ACspLetExpr()
ACspLetExpr
public ACspLetExpr(TLet _let_,
PDefinitionList _definitionList_,
TWithin _within_,
PExpression _expression_)
clone
public java.lang.Object clone()
- Specified by:
clone
in class Node
apply
public void apply(Switch sw)
getLet
public TLet getLet()
setLet
public void setLet(TLet node)
getDefinitionList
public PDefinitionList getDefinitionList()
setDefinitionList
public void setDefinitionList(PDefinitionList node)
getWithin
public TWithin getWithin()
setWithin
public void setWithin(TWithin node)
getExpression
public PExpression getExpression()
setExpression
public void setExpression(PExpression node)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object