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.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ConstraintSubUnif
public ConstraintSubUnif(ConstraintExpr expr,
java.lang.String method,
ConstraintExpr hmlVar)
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