ConForM.CoopnTools.CoKer.TemporalLogic
Class HMLFactor

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
                                |
                                +--ConForM.CoopnTools.CoKer.TemporalLogic.HMLFactor
All Implemented Interfaces:
java.lang.Cloneable
Direct Known Subclasses:
HMLNot, HMLPar, HMLSync

public abstract class HMLFactor
extends HMLTerm

HML factor, i.e. NOT operator, ( formula ) or syncs


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

HMLFactor

public HMLFactor()