ConForM.CoopnTools.CoKer.TemporalLogic
Class TemporalLogicFormula
java.lang.Object
|
+--ConForM.CoopnTools.CoKer.TemporalLogic.TemporalLogicElement
|
+--ConForM.CoopnTools.CoKer.TemporalLogic.TemporalLogicFormula
- All Implemented Interfaces:
- java.lang.Cloneable
- Direct Known Subclasses:
- HMLFormula
- public abstract class TemporalLogicFormula
- extends TemporalLogicElement
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
Method Summary |
abstract int |
depth()
Get the depth of the formula. |
abstract int |
nbSync()
Get the number of synchronisations in the formula. |
abstract int |
occurencesOf(CoopnSync sync)
Get the number of occurence of a synchronisation in the formula. |
Methods inherited from class ConForM.CoopnTools.CoKer.TemporalLogic.TemporalLogicElement |
clone, cloneElement, equals, hashCode, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toString, toString, toString, toTokens, toTokens, toTokens, unmodifiableCopy |
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
TemporalLogicFormula
public TemporalLogicFormula()
nbSync
public abstract int nbSync()
- Get the number of synchronisations in the formula.
depth
public abstract int depth()
- Get the depth of the formula.
occurencesOf
public abstract int occurencesOf(CoopnSync sync)
- Get the number of occurence of a synchronisation in the formula.