lmf.formula.csp.node
Class ACspProductionsSet

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

public final class ACspProductionsSet
extends PSet


Constructor Summary
ACspProductionsSet()
           
ACspProductionsSet(TLProds _lProds_, PEventList _eventList_, TRProds _rProds_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 PEventList getEventList()
           
 TLProds getLProds()
           
 TRProds getRProds()
           
 void setEventList(PEventList node)
           
 void setLProds(TLProds node)
           
 void setRProds(TRProds 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

ACspProductionsSet

public ACspProductionsSet()

ACspProductionsSet

public ACspProductionsSet(TLProds _lProds_,
                          PEventList _eventList_,
                          TRProds _rProds_)
Method Detail

clone

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

apply

public void apply(Switch sw)

getLProds

public TLProds getLProds()

setLProds

public void setLProds(TLProds node)

getEventList

public PEventList getEventList()

setEventList

public void setEventList(PEventList node)

getRProds

public TRProds getRProds()

setRProds

public void setRProds(TRProds node)

toString

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