lmf.formula.csp.node
Class ACspAssert

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

public final class ACspAssert
extends PAssert


Constructor Summary
ACspAssert()
           
ACspAssert(TNot _not_, TAssert _assert_, PCheckExpr _condition_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 TAssert getAssert()
           
 PCheckExpr getCondition()
           
 TNot getNot()
           
 void setAssert(TAssert node)
           
 void setCondition(PCheckExpr node)
           
 void setNot(TNot 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

ACspAssert

public ACspAssert()

ACspAssert

public ACspAssert(TNot _not_,
                  TAssert _assert_,
                  PCheckExpr _condition_)
Method Detail

clone

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

apply

public void apply(Switch sw)

getNot

public TNot getNot()

setNot

public void setNot(TNot node)

getAssert

public TAssert getAssert()

setAssert

public void setAssert(TAssert node)

getCondition

public PCheckExpr getCondition()

setCondition

public void setCondition(PCheckExpr node)

toString

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