Uses of Class
lmf.formula.csp.node.PLogicalExpr

Packages that use PLogicalExpr
lmf.formula.csp.node   
 

Uses of PLogicalExpr in lmf.formula.csp.node
 

Subclasses of PLogicalExpr in lmf.formula.csp.node
 class ACspAndLogicalExpr
           
 class ACspBaseLogicalExpr
           
 class ACspOrLogicalExpr
           
 

Methods in lmf.formula.csp.node that return PLogicalExpr
 PLogicalExpr ACspBaseExpr.getLogicalExpr()
           
 PLogicalExpr ACspOrLogicalExpr.getRightExpr()
           
 PLogicalExpr ACspAndLogicalExpr.getRightExpr()
           
 

Methods in lmf.formula.csp.node with parameters of type PLogicalExpr
 void ACspBaseExpr.setLogicalExpr(PLogicalExpr node)
           
 void ACspOrLogicalExpr.setRightExpr(PLogicalExpr node)
           
 void ACspAndLogicalExpr.setRightExpr(PLogicalExpr node)
           
 

Constructors in lmf.formula.csp.node with parameters of type PLogicalExpr
ACspAndLogicalExpr(PRelationalExpr _leftExpr_, TAnd _and_, PLogicalExpr _rightExpr_)
           
ACspBaseExpr(PLogicalExpr _logicalExpr_)
           
ACspOrLogicalExpr(PRelationalExpr _leftExpr_, TOr _or_, PLogicalExpr _rightExpr_)