|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.TemporalLogic.TemporalLogicElement | +--ConForM.CoopnTools.CoKer.TemporalLogic.TemporalLogicFormula | +--ConForM.CoopnTools.CoKer.TemporalLogic.HMLFormula
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 |
public HMLFormula()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |