ConForM.CoopnTools.CoKer.TemporalLogic
Class HMLTerm

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

public abstract class HMLTerm
extends HMLExpr

HML term, i.e. AND operators or HML factors


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

HMLTerm

public HMLTerm()