lmf.formula.csp.node
Class ACspNotExpr

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

public final class ACspNotExpr
extends PNotExpr


Constructor Summary
ACspNotExpr()
           
ACspNotExpr(TNot _not_, PNotExpr _expression_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 PNotExpr getExpression()
           
 TNot getNot()
           
 void setExpression(PNotExpr 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

ACspNotExpr

public ACspNotExpr()

ACspNotExpr

public ACspNotExpr(TNot _not_,
                   PNotExpr _expression_)
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)

getExpression

public PNotExpr getExpression()

setExpression

public void setExpression(PNotExpr node)

toString

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