lmf.formula.csp.node
Class ACspLteRelationalExpr

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

public final class ACspLteRelationalExpr
extends PRelationalExpr


Constructor Summary
ACspLteRelationalExpr()
           
ACspLteRelationalExpr(PMathExpr _leftExpr_, TLeq _leq_, PMathExpr _rightExpr_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 PMathExpr getLeftExpr()
           
 TLeq getLeq()
           
 PMathExpr getRightExpr()
           
 void setLeftExpr(PMathExpr node)
           
 void setLeq(TLeq node)
           
 void setRightExpr(PMathExpr 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

ACspLteRelationalExpr

public ACspLteRelationalExpr()

ACspLteRelationalExpr

public ACspLteRelationalExpr(PMathExpr _leftExpr_,
                             TLeq _leq_,
                             PMathExpr _rightExpr_)
Method Detail

clone

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

apply

public void apply(Switch sw)

getLeftExpr

public PMathExpr getLeftExpr()

setLeftExpr

public void setLeftExpr(PMathExpr node)

getLeq

public TLeq getLeq()

setLeq

public void setLeq(TLeq node)

getRightExpr

public PMathExpr getRightExpr()

setRightExpr

public void setRightExpr(PMathExpr node)

toString

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