lmf.formula.csp.node
Class ACspAndLogicalExpr

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

public final class ACspAndLogicalExpr
extends PLogicalExpr


Constructor Summary
ACspAndLogicalExpr()
           
ACspAndLogicalExpr(PRelationalExpr _leftExpr_, TAnd _and_, PLogicalExpr _rightExpr_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 TAnd getAnd()
           
 PRelationalExpr getLeftExpr()
           
 PLogicalExpr getRightExpr()
           
 void setAnd(TAnd node)
           
 void setLeftExpr(PRelationalExpr node)
           
 void setRightExpr(PLogicalExpr 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

ACspAndLogicalExpr

public ACspAndLogicalExpr()

ACspAndLogicalExpr

public ACspAndLogicalExpr(PRelationalExpr _leftExpr_,
                          TAnd _and_,
                          PLogicalExpr _rightExpr_)
Method Detail

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