lmf.formula.csp.node
Class ACspMinusExpr

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

public final class ACspMinusExpr
extends PMinusExpr


Constructor Summary
ACspMinusExpr()
           
ACspMinusExpr(TMinus _minus_, PMinusExpr _expression_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 PMinusExpr getExpression()
           
 TMinus getMinus()
           
 void setExpression(PMinusExpr node)
           
 void setMinus(TMinus 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

ACspMinusExpr

public ACspMinusExpr()

ACspMinusExpr

public ACspMinusExpr(TMinus _minus_,
                     PMinusExpr _expression_)
Method Detail

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