ConForM.CoopnTools.CoKer.ConstraintsMgr
Class ConstraintEqual

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

public class ConstraintEqual
extends ConstraintAtom

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


Constructor Summary
ConstraintEqual(ConstraintExpr left, ConstraintExpr right)
           
 
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

ConstraintEqual

public ConstraintEqual(ConstraintExpr left,
                       ConstraintExpr right)
Method Detail

left

public ConstraintExpr left()
Overrides:
left in class ConstraintAtom

right

public ConstraintExpr right()
Overrides:
right in class ConstraintAtom

hmlVariable

public ConstraintExpr hmlVariable()
Overrides:
hmlVariable in class ConstraintAtom

method

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

var

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