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

Constructor Summary
TemporalLogicFormula()
           
 
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
 

Constructor Detail

TemporalLogicFormula

public TemporalLogicFormula()
Method Detail

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.