ConForM.CoopnTools.CoKer.TemporalLogic
Class TemporalLogic

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.TemporalLogic.TemporalLogic

public class TemporalLogic
extends java.lang.Object

This class manages logic temporal formulas. The main goal is to encapsulate Coopn objects and Contexts in Constraints. The Constraints language is defined in the ConstraintsMgr

See Also:
ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsMgr.java

Constructor Summary
TemporalLogic(CoopnMgr coopn, CoopnEnv env)
          Creates a generic Temporal Logic Language
 
Method Summary
 java.lang.String displayFormulaField(TemporalLogicFormulaField formulaField, ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
          TemporalLogicFormula to String Conversion
 TemporalLogicFormulaField evalFormula(java.lang.String formulaField, ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
          String to Formula Conversion
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TemporalLogic

public TemporalLogic(CoopnMgr coopn,
                     CoopnEnv env)
Creates a generic Temporal Logic Language
Parameters:
coopn - the CoopnMgr for this temporal Logic
env - the CoopnEnv for this temporal logic
Method Detail

displayFormulaField

public java.lang.String displayFormulaField(TemporalLogicFormulaField formulaField,
                                            ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
TemporalLogicFormula to String Conversion
Parameters:
formula - the formula to convert
frame - the coopn interpretation frame
Returns:
string representing this formula
Throws:
java.lang.IllegalArgumentException - the string cannot be delivered (because it is erroneous, and so on).

evalFormula

public TemporalLogicFormulaField evalFormula(java.lang.String formulaField,
                                             ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
String to Formula Conversion
Parameters:
formula - the string to convert
frame - the coopn interpretation frame
Returns:
the TemporalLogicFormula representing the string
Throws:
java.lang.IllegalArgumentException - the string cannot be delivered (because it is erroneous, and so on).