lmf.formula.csp.node
Class ACspComprehensionSet

java.lang.Object
  extended by lmf.formula.csp.node.Node
      extended by lmf.formula.csp.node.PSet
          extended by lmf.formula.csp.node.ACspComprehensionSet
All Implemented Interfaces:
java.lang.Cloneable, Switchable

public final class ACspComprehensionSet
extends PSet


Constructor Summary
ACspComprehensionSet()
           
ACspComprehensionSet(TLBrace _lBrace_, PElementList _elementList_, TBar _bar_, PConstraintList _constraintList_, TRBrace _rBrace_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 TBar getBar()
           
 PConstraintList getConstraintList()
           
 PElementList getElementList()
           
 TLBrace getLBrace()
           
 TRBrace getRBrace()
           
 void setBar(TBar node)
           
 void setConstraintList(PConstraintList node)
           
 void setElementList(PElementList node)
           
 void setLBrace(TLBrace node)
           
 void setRBrace(TRBrace 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

ACspComprehensionSet

public ACspComprehensionSet()

ACspComprehensionSet

public ACspComprehensionSet(TLBrace _lBrace_,
                            PElementList _elementList_,
                            TBar _bar_,
                            PConstraintList _constraintList_,
                            TRBrace _rBrace_)
Method Detail

clone

public java.lang.Object clone()
Specified by:
clone in class Node

apply

public void apply(Switch sw)

getLBrace

public TLBrace getLBrace()

setLBrace

public void setLBrace(TLBrace node)

getElementList

public PElementList getElementList()

setElementList

public void setElementList(PElementList node)

getBar

public TBar getBar()

setBar

public void setBar(TBar node)

getConstraintList

public PConstraintList getConstraintList()

setConstraintList

public void setConstraintList(PConstraintList node)

getRBrace

public TRBrace getRBrace()

setRBrace

public void setRBrace(TRBrace node)

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object