public abstract class Store<F extends Fact>
extends java.lang.Object
Constructor and Description |
---|
Store() |
Modifier and Type | Method and Description |
---|---|
int |
actual_size() |
void |
add(F elem) |
void |
add(F elem,
java.lang.Integer key) |
java.lang.String |
get_name() |
StoreIter<F> |
lookup_candidates() |
StoreIter<F> |
lookup_candidates(java.lang.Integer key) |
void |
purge() |
void |
remove(F elem) |
void |
remove(int pos) |
void |
set_name(java.lang.String n) |
int |
size() |
java.util.List<F> |
toList() |
public void set_name(java.lang.String n)
public java.lang.String get_name()
public void add(F elem)
public void add(F elem, java.lang.Integer key)
public void remove(F elem)
public void remove(int pos)
public void purge()
public int size()
public int actual_size()
public java.util.List<F> toList()