lmf.formula.csp.node
Class ACspLteRelationalExpr
java.lang.Object
lmf.formula.csp.node.Node
lmf.formula.csp.node.PRelationalExpr
lmf.formula.csp.node.ACspLteRelationalExpr
- All Implemented Interfaces:
- java.lang.Cloneable, Switchable
public final class ACspLteRelationalExpr
- extends PRelationalExpr
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ACspLteRelationalExpr
public ACspLteRelationalExpr()
ACspLteRelationalExpr
public ACspLteRelationalExpr(PMathExpr _leftExpr_,
TLeq _leq_,
PMathExpr _rightExpr_)
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