lmf.formula.csp.semantic.declaration
Class CspAbstractDeclaration

java.lang.Object
  extended by lmf.formula.csp.semantic.declaration.CspDeclaration
      extended by lmf.formula.csp.semantic.declaration.CspAbstractDeclaration

public final class CspAbstractDeclaration
extends CspDeclaration

CspAbstractDeclaration.

Author:
Joabe Jesus (jbjj@cin.ufpe.br)

Constructor Summary
CspAbstractDeclaration(java.lang.String name, CspType cspType)
           
 
Method Summary
 java.util.Hashtable<Node,CspType> getBranches()
           
 void setBranches(java.util.Hashtable<Node,CspType> value)
           
 
Methods inherited from class lmf.formula.csp.semantic.declaration.CspDeclaration
getCspType, getName, getNode, getScopeLevel, setCspType, setName, setNode, setScopeLevel, toString
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

CspAbstractDeclaration

public CspAbstractDeclaration(java.lang.String name,
                              CspType cspType)
Method Detail

getBranches

public java.util.Hashtable<Node,CspType> getBranches()

setBranches

public void setBranches(java.util.Hashtable<Node,CspType> value)