|
|||||||||
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.TemporalLogicFormulaField
This class manages fields of logic temporal formulas. A field contains at least on formula.
ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsMgr.java
Field Summary | |
protected TemporalLogicFormula[] |
formulas
|
Constructor Summary | |
protected |
TemporalLogicFormulaField(java.util.List formulas)
Constructor for a list of formulas. |
protected |
TemporalLogicFormulaField(TemporalLogicFormula formula)
Constructor for one formula. |
protected |
TemporalLogicFormulaField(TemporalLogicFormula[] formulas)
Constructor for an array of formulas. |
Method Summary | |
java.lang.Object |
clone()
Cloning method. |
boolean |
contains(TemporalLogicFormula elem)
Look if an element is in the list. |
boolean |
empty()
Test the list for being empty. |
boolean |
equals(java.lang.Object obj)
Equality method. |
TemporalLogicFormula[] |
formulas()
Get the formulas of the field. |
int |
hashCode()
Hashcode method. |
abstract java.lang.String |
kind()
Kind retrieving method. |
int |
size()
Get the size of the field. |
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()
Unmodifiable copy method. |
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 |
Field Detail |
protected TemporalLogicFormula[] formulas
Constructor Detail |
protected TemporalLogicFormulaField(TemporalLogicFormula formula)
protected TemporalLogicFormulaField(TemporalLogicFormula[] formulas)
protected TemporalLogicFormulaField(java.util.List formulas)
Method Detail |
public TemporalLogicFormula[] formulas()
public boolean contains(TemporalLogicFormula elem)
elem
- the element of look in the listpublic boolean empty()
public int size()
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 toTokens(LexicalTokenList tokens, CoopnEnv env, int indent)
toTokens
in class TemporalLogicElement
tokens
- the LexicalTokenList used as destination; cannot be nullenv
- the environment deciding the form of the displayindent
- the identation factorpublic void toCompleteTokens(LexicalTokenList tokens, CoopnSymbolTable table, CoopnEnv env, int indent)
toCompleteTokens
in class 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 abstract java.lang.String kind()
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.Object unmodifiableCopy()
unmodifiableCopy
in class TemporalLogicElement
public java.lang.Object clone()
clone
in class TemporalLogicElement
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |