lmf.formula.csp.node
Class ACspAndLogicalExpr
java.lang.Object
lmf.formula.csp.node.Node
lmf.formula.csp.node.PLogicalExpr
lmf.formula.csp.node.ACspAndLogicalExpr
- All Implemented Interfaces:
- java.lang.Cloneable, Switchable
public final class ACspAndLogicalExpr
- extends PLogicalExpr
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ACspAndLogicalExpr
public ACspAndLogicalExpr()
ACspAndLogicalExpr
public ACspAndLogicalExpr(PRelationalExpr _leftExpr_,
TAnd _and_,
PLogicalExpr _rightExpr_)
clone
public java.lang.Object clone()
- Specified by:
clone
in class Node
apply
public void apply(Switch sw)
getLeftExpr
public PRelationalExpr getLeftExpr()
setLeftExpr
public void setLeftExpr(PRelationalExpr node)
getAnd
public TAnd getAnd()
setAnd
public void setAnd(TAnd node)
getRightExpr
public PLogicalExpr getRightExpr()
setRightExpr
public void setRightExpr(PLogicalExpr node)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object