lmf.formula.csp.node
Class ACspMinusExpr
java.lang.Object
lmf.formula.csp.node.Node
lmf.formula.csp.node.PMinusExpr
lmf.formula.csp.node.ACspMinusExpr
- All Implemented Interfaces:
- java.lang.Cloneable, Switchable
public final class ACspMinusExpr
- extends PMinusExpr
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ACspMinusExpr
public ACspMinusExpr()
ACspMinusExpr
public ACspMinusExpr(TMinus _minus_,
PMinusExpr _expression_)
clone
public java.lang.Object clone()
- Specified by:
clone
in class Node
apply
public void apply(Switch sw)
getMinus
public TMinus getMinus()
setMinus
public void setMinus(TMinus node)
getExpression
public PMinusExpr getExpression()
setExpression
public void setExpression(PMinusExpr node)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object