at.jku.risc.stout.urau.data
Modifier and Type | Method and Description |
---|---|
void |
add(TermAtom atom) |
void |
cleanUp()
This method is called from the Pool before the object is
returned to the pool.
|
void |
free()
Clean up the references and return the object to the pool.
|
static void |
fullCleanUp()
Cleans up the entire memory from the current object pool.
|
TermAtom |
get(int i)
guarantees complexity O(1) by definition
|
Poolable |
newObject()
This method is called from the Pool if there is no object
available to recycle.
|
static TermAtomList |
obtainList() |
void |
removeLast()
guarantees complexity O(1) by definition
|
int |
size()
guarantees complexity O(1) by definition
|
public void add(TermAtom atom)
public void cleanUp()
Poolable
public void free()
public static void fullCleanUp()
public TermAtom get(int i)
TinyList
public Poolable newObject()
Poolable
public static TermAtomList obtainList()
public void removeLast()
TinyList
removeLast
in class TinyList<TermAtom>