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.


Constructor Summary
ConstraintBoolFunc(java.lang.String func, java.lang.String l, java.lang.Object r)
           
ConstraintBoolFunc(java.lang.String func, TemporalLogicFormulaField l, java.lang.Object r)
           
 
Method Summary
 java.lang.String func()
           
 ConstraintExpr left()
           
 TemporalLogicFormulaField leftF()
           
 java.lang.String leftVariable()
           
 ConstraintExpr right()
           
 TemporalLogicFormulaField rightF()
           
 java.lang.String rightVariable()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

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)
Method Detail

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