ConForM.CoopnTools.CoKer.ConstraintsMgr
Class ConstraintSubUnif

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintAtom
        |
        +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintSubUnif

public class ConstraintSubUnif
extends ConstraintAtom

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


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

Constructor Detail

ConstraintSubUnif

public ConstraintSubUnif(ConstraintExpr expr,
                         java.lang.String method,
                         ConstraintExpr hmlVar)
Method Detail

left

public ConstraintExpr left()
Overrides:
left in class ConstraintAtom

method

public java.lang.String method()
Overrides:
method in class ConstraintAtom

hmlVariable

public ConstraintExpr hmlVariable()
Overrides:
hmlVariable in class ConstraintAtom

right

public ConstraintExpr right()
Overrides:
right in class ConstraintAtom

var

public java.lang.String var()
Overrides:
var in class ConstraintAtom