T
public interface ITabulationWorklist<T>
void
insert(PathEdge<T> elt)
int
size()
PathEdge<T>
take()
PathEdge<T> take()
void insert(PathEdge<T> elt)
int size()