ConForM.CoopnTools.CoKer.TemporalLogic
Class HMLFormula

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.TemporalLogic.TemporalLogicElement
        |
        +--ConForM.CoopnTools.CoKer.TemporalLogic.TemporalLogicFormula
              |
              +--ConForM.CoopnTools.CoKer.TemporalLogic.HMLFormula
All Implemented Interfaces:
java.lang.Cloneable
Direct Known Subclasses:
HMLExpr, HMLNext

public abstract class HMLFormula
extends TemporalLogicFormula

This class represents an HML Formula Node in the abstract syntactic tree


Constructor Summary
HMLFormula()
           
 
Methods inherited from class ConForM.CoopnTools.CoKer.TemporalLogic.TemporalLogicFormula
depth, nbSync, occurencesOf
 
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

HMLFormula

public HMLFormula()