lmf.formula.csp.node
Class ACspSpecification

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

public final class ACspSpecification
extends PSpecification


Constructor Summary
ACspSpecification()
           
ACspSpecification(java.util.List<PParagraph> _paragraph_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 java.util.LinkedList<PParagraph> getParagraph()
           
 void setParagraph(java.util.List<PParagraph> list)
           
 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

ACspSpecification

public ACspSpecification()

ACspSpecification

public ACspSpecification(java.util.List<PParagraph> _paragraph_)
Method Detail

clone

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

apply

public void apply(Switch sw)

getParagraph

public java.util.LinkedList<PParagraph> getParagraph()

setParagraph

public void setParagraph(java.util.List<PParagraph> list)

toString

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