ConForM.CoopnTools.CoKer.ConstraintsMgr
Class ConstraintBoolFunc
java.lang.Object
|
+--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintExpr
|
+--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintBoolFunc
- All Implemented Interfaces:
- BooleanType
- public class ConstraintBoolFunc
- extends ConstraintExpr
- implements BooleanType
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 |
ConstraintBoolFunc
public ConstraintBoolFunc(java.lang.String func,
TemporalLogicFormulaField l,
java.lang.Object r)
ConstraintBoolFunc
public ConstraintBoolFunc(java.lang.String func,
java.lang.String l,
java.lang.Object r)
func
public java.lang.String func()
leftF
public TemporalLogicFormulaField leftF()
rightF
public TemporalLogicFormulaField rightF()
leftVariable
public java.lang.String leftVariable()
rightVariable
public java.lang.String rightVariable()
left
public ConstraintExpr left()
- Overrides:
left
in class ConstraintExpr
right
public ConstraintExpr right()
- Overrides:
right
in class ConstraintExpr