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.


Constructor Summary
ConstraintNatFunc(java.lang.String func, java.lang.String var)
           
ConstraintNatFunc(java.lang.String func, TemporalLogicFormulaField form)
           
 
Method Summary
 java.lang.String func()
           
 TemporalLogicFormulaField function()
           
 ConstraintExpr left()
           
 ConstraintExpr right()
           
 java.lang.String variable()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ConstraintNatFunc

public ConstraintNatFunc(java.lang.String func,
                         TemporalLogicFormulaField form)

ConstraintNatFunc

public ConstraintNatFunc(java.lang.String func,
                         java.lang.String var)
Method Detail

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