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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
TemporalLogic
public TemporalLogic(CoopnMgr coopn,
CoopnEnv env)
- Creates a generic Temporal Logic Language
- Parameters:
coopn
- the CoopnMgr for this temporal Logicenv
- the CoopnEnv for this temporal logic
displayFormulaField
public java.lang.String displayFormulaField(TemporalLogicFormulaField formulaField,
ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
- TemporalLogicFormula to String Conversion
- Parameters:
formula
- the formula to convertframe
- 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 convertframe
- 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).