lmf.formula.csp.node
Class ACspConstantDefinition

java.lang.Object
  extended by lmf.formula.csp.node.Node
      extended by lmf.formula.csp.node.PDefinition
          extended by 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)

Constructor Summary
ACspConstantDefinition()
           
ACspConstantDefinition(TName _name_, TDefs _defs_, PExpression _expression_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 CspType getCspType()
           
 TDefs getDefs()
           
 PExpression getExpression()
           
 TName getName()
           
 void setCspType(CspType cspType)
           
 void setDefs(TDefs node)
           
 void setExpression(PExpression node)
           
 void setName(TName 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

ACspConstantDefinition

public ACspConstantDefinition()

ACspConstantDefinition

public ACspConstantDefinition(TName _name_,
                              TDefs _defs_,
                              PExpression _expression_)
Method Detail

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