lmf.formula.csp.node
Class ACspSet
java.lang.Object
lmf.formula.csp.node.Node
lmf.formula.csp.node.PSet
lmf.formula.csp.node.ACspSet
- All Implemented Interfaces:
- java.lang.Cloneable, Switchable
public final class ACspSet
- extends PSet
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ACspSet
public ACspSet()
ACspSet
public ACspSet(TLBrace _lBrace_,
PElementList _elementList_,
TRBrace _rBrace_)
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