public interface StoreIter<F extends Fact>
boolean
contains(F elem)
F
get_next_alive()
get_next()
void
init_iter()
void init_iter()
boolean contains(F elem)
F get_next_alive()
F get_next()