ConForM.CoopnTools.CoKer.ConstraintsMgr
Class ConstraintNatCte

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

public class ConstraintNatCte
extends ConstraintExpr
implements NaturalType

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


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

Constructor Detail

ConstraintNatCte

public ConstraintNatCte(int value)
Method Detail

value

public int value()

left

public ConstraintExpr left()
Overrides:
left in class ConstraintExpr

right

public ConstraintExpr right()
Overrides:
right in class ConstraintExpr