ConForM.CoopnTools.CoKer.ConstraintsMgr
Class ConstraintHmlForm

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintExpr
        |
        +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintHmlForm
All Implemented Interfaces:
HmlType

public class ConstraintHmlForm
extends ConstraintExpr
implements HmlType

Constraints Manager. This class essentially defines the services provided by the constraints manager.


Constructor Summary
ConstraintHmlForm(TemporalLogicFormulaField form)
           
 
Method Summary
 TemporalLogicFormulaField formula()
           
 ConstraintExpr left()
           
 ConstraintExpr right()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ConstraintHmlForm

public ConstraintHmlForm(TemporalLogicFormulaField form)
Method Detail

formula

public TemporalLogicFormulaField formula()

left

public ConstraintExpr left()
Overrides:
left in class ConstraintExpr

right

public ConstraintExpr right()
Overrides:
right in class ConstraintExpr