ConForM.CoopnTools.CoKer.ConstraintsMgr
Class ConstraintAddExpr

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintExpr
        |
        +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintAddExpr
All Implemented Interfaces:
NaturalType

public class ConstraintAddExpr
extends ConstraintExpr
implements NaturalType

Constraints Manager. This class essentially defines the services provided by the constraints manager.


Constructor Summary
ConstraintAddExpr(ConstraintExpr left, ConstraintExpr right)
           
 
Method Summary
 ConstraintExpr left()
           
 ConstraintExpr right()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ConstraintAddExpr

public ConstraintAddExpr(ConstraintExpr left,
                         ConstraintExpr right)
Method Detail

left

public ConstraintExpr left()
Overrides:
left in class ConstraintExpr

right

public ConstraintExpr right()
Overrides:
right in class ConstraintExpr