ConForM.CoopnTools.CoKer.ConstraintsMgr
Class ConstraintMultTerm

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

public class ConstraintMultTerm
extends ConstraintExpr
implements NaturalType

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


Constructor Summary
ConstraintMultTerm(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

ConstraintMultTerm

public ConstraintMultTerm(ConstraintExpr left,
                          ConstraintExpr right)
Method Detail

left

public ConstraintExpr left()
Overrides:
left in class ConstraintExpr

right

public ConstraintExpr right()
Overrides:
right in class ConstraintExpr