|
|||||||||
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.HMLSync
class sync
Constructor Summary | |
HMLSync(CoopnSync sync)
Creates a sync |
Method Summary | |
java.lang.Object |
clone()
Cloning method. |
int |
depth()
Get the depth of the term. |
boolean |
equals(java.lang.Object obj)
Equality method. |
CoopnSync |
getSync()
Get the synchronisation. |
int |
hashCode()
Hashcode method. |
int |
nbSync()
Get the number of synchronisations in the term. |
int |
occurencesOf(CoopnSync sync)
Get the number of occurence of a synchronisation in the term. |
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 HMLSync(CoopnSync sync)
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 CoopnSync getSync()
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 |