ConForM.CoopnTools.CoKer.ConstraintsMgr
Class ConstraintLess
java.lang.Object
|
+--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintAtom
|
+--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintLess
- public class ConstraintLess
- extends ConstraintAtom
Constraints Manager. This class essentially defines
the services provided by the constraints manager.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ConstraintLess
public ConstraintLess(ConstraintExpr left,
ConstraintExpr right)
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