ConForM.CoopnTools.CoKer.ConstraintsMgr
Class ConstraintNotEqual

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

public class ConstraintNotEqual
extends ConstraintAtom

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


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

ConstraintNotEqual

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