ConForM.CoopnTools.CoKer.TemporalLogic
Class HMLExpr

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

public abstract class HMLExpr
extends HMLFormula

HML expression, i.e. OR operators or HML terms


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

HMLExpr

public HMLExpr()