lmf.formula.csp.node
Class ACspConstantDefinition
java.lang.Object
lmf.formula.csp.node.Node
lmf.formula.csp.node.PDefinition
lmf.formula.csp.node.ACspConstantDefinition
- All Implemented Interfaces:
- java.lang.Cloneable, Switchable
public final class ACspConstantDefinition
- extends PDefinition
ACspConstantDefinition.
- Author:
- Joabe Jesus (jbjj@cin.ufpe.br)
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ACspConstantDefinition
public ACspConstantDefinition()
ACspConstantDefinition
public ACspConstantDefinition(TName _name_,
TDefs _defs_,
PExpression _expression_)
getCspType
public CspType getCspType()
setCspType
public void setCspType(CspType cspType)
clone
public java.lang.Object clone()
- Specified by:
clone
in class Node
apply
public void apply(Switch sw)
getName
public TName getName()
setName
public void setName(TName node)
getDefs
public TDefs getDefs()
setDefs
public void setDefs(TDefs node)
getExpression
public PExpression getExpression()
setExpression
public void setExpression(PExpression node)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object