ConForM.CoopnTools.CoKer.ConstraintsMgr
Class ConstraintNatVar

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

public class ConstraintNatVar
extends ConstraintExpr
implements NaturalType

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


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

Constructor Detail

ConstraintNatVar

public ConstraintNatVar(java.lang.String var)
Method Detail

value

public java.lang.String value()

left

public ConstraintExpr left()
Overrides:
left in class ConstraintExpr

right

public ConstraintExpr right()
Overrides:
right in class ConstraintExpr