lmf.formula.csp.node
Class ACspSet

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

public final class ACspSet
extends PSet


Constructor Summary
ACspSet()
           
ACspSet(TLBrace _lBrace_, PElementList _elementList_, TRBrace _rBrace_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 PElementList getElementList()
           
 TLBrace getLBrace()
           
 TRBrace getRBrace()
           
 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

ACspSet

public ACspSet()

ACspSet

public ACspSet(TLBrace _lBrace_,
               PElementList _elementList_,
               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)

getRBrace

public TRBrace getRBrace()

setRBrace

public void setRBrace(TRBrace node)

toString

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