ConForM.CoopnTools.CoKer.ConstraintsMgr
Class ConstraintAtom

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintAtom
Direct Known Subclasses:
ConstraintEqual, ConstraintGreater, ConstraintGreaterEqual, ConstraintLess, ConstraintLessEqual, ConstraintNotEqual, ConstraintSubUnif, ConstraintUnif

public abstract class ConstraintAtom
extends java.lang.Object

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


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

Constructor Detail

ConstraintAtom

public ConstraintAtom()
Method Detail

left

public abstract ConstraintExpr left()

right

public abstract ConstraintExpr right()

hmlVariable

public abstract ConstraintExpr hmlVariable()

method

public abstract java.lang.String method()

var

public abstract java.lang.String var()