lmf.formula.csp.node
Class ACspNotExpr
java.lang.Object
lmf.formula.csp.node.Node
lmf.formula.csp.node.PNotExpr
lmf.formula.csp.node.ACspNotExpr
- All Implemented Interfaces:
- java.lang.Cloneable, Switchable
public final class ACspNotExpr
- extends PNotExpr
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ACspNotExpr
public ACspNotExpr()
ACspNotExpr
public ACspNotExpr(TNot _not_,
PNotExpr _expression_)
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