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