|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintExpr | +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintNatCte
Constraints Manager. This class essentially defines the services provided by the constraints manager.
Constructor Summary | |
ConstraintNatCte(int value)
|
Method Summary | |
ConstraintExpr |
left()
|
ConstraintExpr |
right()
|
int |
value()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public ConstraintNatCte(int value)
Method Detail |
public int value()
public ConstraintExpr left()
left
in class ConstraintExpr
public ConstraintExpr right()
right
in class ConstraintExpr
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |