ConForM.CoopnTools.CoKer.ConstraintsMgr
Class ConstraintNatFunc
java.lang.Object
|
+--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintExpr
|
+--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintNatFunc
- All Implemented Interfaces:
- NaturalType
- public class ConstraintNatFunc
- extends ConstraintExpr
- implements NaturalType
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 |
ConstraintNatFunc
public ConstraintNatFunc(java.lang.String func,
TemporalLogicFormulaField form)
ConstraintNatFunc
public ConstraintNatFunc(java.lang.String func,
java.lang.String var)
func
public java.lang.String func()
function
public TemporalLogicFormulaField function()
variable
public java.lang.String variable()
left
public ConstraintExpr left()
- Overrides:
left
in class ConstraintExpr
right
public ConstraintExpr right()
- Overrides:
right
in class ConstraintExpr