lmf.formula.csp.node
Class ACspAssertParagraph

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

public final class ACspAssertParagraph
extends PParagraph


Constructor Summary
ACspAssertParagraph()
           
ACspAssertParagraph(PAssert _assert_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 PAssert getAssert()
           
 void setAssert(PAssert 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

ACspAssertParagraph

public ACspAssertParagraph()

ACspAssertParagraph

public ACspAssertParagraph(PAssert _assert_)
Method Detail

clone

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

apply

public void apply(Switch sw)

getAssert

public PAssert getAssert()

setAssert

public void setAssert(PAssert node)

toString

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