ConForM.CoopnTools.CoKer.ConstraintsMgr
Class ConstraintExpr

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintExpr
Direct Known Subclasses:
ConstraintAddExpr, ConstraintBoolCte, ConstraintBoolFunc, ConstraintBoolVar, ConstraintConcatExpr, ConstraintConsVar, ConstraintHmlForm, ConstraintHmlVar, ConstraintMultTerm, ConstraintNatCte, ConstraintNatFunc, ConstraintNatVar, ConstraintSpecVar

public abstract class ConstraintExpr
extends java.lang.Object

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


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

Constructor Detail

ConstraintExpr

public ConstraintExpr()
Method Detail

left

public abstract ConstraintExpr left()

right

public abstract ConstraintExpr right()