|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement | +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElementList
Coopn element lists.
CoopnElement
, Serialized FormField Summary | |
protected java.util.List |
elems
|
Constructor Summary | |
CoopnElementList()
|
Method Summary | |
protected void |
add(CoopnElement elem)
Addition of a textual element into the list. |
java.lang.Object |
clone()
Cloning method. |
boolean |
contains(CoopnElement 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. |
protected CoopnElement[] |
getElements()
Get the elements of a list. |
int |
hashCode()
Hashcode method. |
CoopnElement |
interpret(CoopnSubstitution sigma)
Interpretation of this element according to a substitution. |
protected void |
merge(CoopnElementList list)
Merge of an element list with this one. |
boolean |
pureCOIL()
Pure COIL-COOPN2C verification method. |
boolean |
pureCOOPN()
Pure COOPN verification method. |
protected void |
remove(CoopnElement elem)
|
int |
size()
Get the size of the list. |
java.lang.Object |
unmodifiableCopy()
Cloning method. |
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement |
cloneCoopnElement, toCoco, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteText, toCompleteText, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toString, toString, toString, toText, toTokens, toTokens, toTokens |
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
Field Detail |
protected java.util.List elems
Constructor Detail |
public CoopnElementList()
Method Detail |
protected void add(CoopnElement elem)
elem
- the element to addprotected void merge(CoopnElementList list)
protected void remove(CoopnElement elem)
protected CoopnElement[] getElements()
public boolean contains(CoopnElement elem)
elem
- the element of look in the listpublic boolean pureCOOPN()
pureCOOPN
in class CoopnElement
public boolean pureCOIL()
pureCOIL
in class CoopnElement
public CoopnElement interpret(CoopnSubstitution sigma)
CoopnElement
interpret
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
sigma
- the substitution; cannot be nullpublic boolean empty()
public int size()
public boolean equals(java.lang.Object obj)
equals
in class CoopnElement
obj
- the object to comparepublic int hashCode()
CoopnElement
hashCode
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
public java.lang.Object unmodifiableCopy()
unmodifiableCopy
in class CoopnElement
public java.lang.Object clone()
clone
in class CoopnElement
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |