|
|||||||||
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 | +--ConForM.CoopnTools.CoKer.TemporalLogic.HMLExpr | +--ConForM.CoopnTools.CoKer.TemporalLogic.HMLTerm | +--ConForM.CoopnTools.CoKer.TemporalLogic.HMLFactor | +--ConForM.CoopnTools.CoKer.TemporalLogic.HMLPar
Parenthesised formula.
Constructor Summary | |
HMLPar(HMLFormula formula)
Creates a next operator |
Method Summary | |
java.lang.Object |
clone()
Cloning method. |
int |
depth()
Get the depth of the formula. |
boolean |
equals(java.lang.Object obj)
Equality method. |
HMLFormula |
formula()
Get the factor. |
int |
hashCode()
Hashcode method. |
int |
nbSync()
Get the number of synchronisations in the formula. |
int |
occurencesOf(CoopnSync sync)
Get the number of occurence of a synchronisation in the formula. |
java.lang.String |
toCompleteString(CoopnSymbolTable table,
CoopnEnv env,
int indent)
Complete string conversion method. |
void |
toCompleteTokens(LexicalTokenList tokens,
CoopnSymbolTable table,
CoopnEnv env,
int indent)
Complete Token conversion method. |
java.lang.String |
toString(CoopnEnv env,
int indent)
String conversion method. |
void |
toTokens(LexicalTokenList tokens,
CoopnEnv env,
int indent)
Token conversion method. |
java.lang.Object |
unmodifiableCopy()
Copy the element into an unmodifiable structure. |
Methods inherited from class ConForM.CoopnTools.CoKer.TemporalLogic.TemporalLogicElement |
cloneElement, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toString, toString, toTokens, toTokens |
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public HMLPar(HMLFormula formula)
Method Detail |
public int nbSync()
nbSync
in class TemporalLogicFormula
public int depth()
depth
in class TemporalLogicFormula
public int occurencesOf(CoopnSync sync)
occurencesOf
in class TemporalLogicFormula
public HMLFormula formula()
public boolean equals(java.lang.Object obj)
equals
in class TemporalLogicElement
obj
- the object to comparepublic int hashCode()
TemporalLogicElement
hashCode
in class TemporalLogicElement
ConForM.CoopnTools.CoKer.TemporalLogic.TemporalLogicElement
public java.lang.String toCompleteString(CoopnSymbolTable table, CoopnEnv env, int indent)
TemporalLogicElement
toCompleteString
in class TemporalLogicElement
ConForM.CoopnTools.CoKer.TemporalLogic.TemporalLogicElement
table
- the symbol table used to generate symbol referencesenv
- the environment deciding the form of the displayindent
- the identation factorpublic java.lang.String toString(CoopnEnv env, int indent)
TemporalLogicElement
toString
in class TemporalLogicElement
ConForM.CoopnTools.CoKer.TemporalLogic.TemporalLogicElement
env
- the environment deciding the form of the displayindent
- the identation factorpublic void toCompleteTokens(LexicalTokenList tokens, CoopnSymbolTable table, CoopnEnv env, int indent)
TemporalLogicElement
toCompleteTokens
in class TemporalLogicElement
ConForM.CoopnTools.CoKer.TemporalLogic.TemporalLogicElement
tokens
- the LexicalTokenList used as destination; cannot be nulltable
- the symbol table used to generate symbol referencesenv
- the environment deciding the form of the displayindent
- the identation factorpublic void toTokens(LexicalTokenList tokens, CoopnEnv env, int indent)
TemporalLogicElement
toTokens
in class TemporalLogicElement
ConForM.CoopnTools.CoKer.TemporalLogic.TemporalLogicElement
tokens
- the LexicalTokenList used as destination; cannot be nullenv
- the environment deciding the form of the displayindent
- the identation factorpublic java.lang.Object unmodifiableCopy()
TemporalLogicElement
unmodifiableCopy
in class TemporalLogicElement
ConForM.CoopnTools.CoKer.TemporalLogic.TemporalLogicElement
public java.lang.Object clone()
TemporalLogicElement
clone
in class TemporalLogicElement
ConForM.CoopnTools.CoKer.TemporalLogic.TemporalLogicElement
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |