ConForM.CoopnTools.CoKer.ConstraintsMgr
Class ConstraintBoolVar

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

public class ConstraintBoolVar
extends ConstraintExpr
implements BooleanType

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


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

ConstraintBoolVar

public ConstraintBoolVar(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