ITabulationWorklist (API Reference for wala 1.3.9)

Type Parameters:

T - represents type of nodes in the supergraph.

All Known Implementing Classes:

TabulationSolver.Worklist
```
public interface ITabulationWorklist<T>
```

- Method Summary
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method Description
  
  void insert(PathEdge<T> elt)
  
  int size()
  
  PathEdge<T> take()

- Method Detail
  - take
```
PathEdge<T> take()
```
    Returns:
    
    the first object in the priority queue
  - insert
```
void insert(PathEdge<T> elt)
```
  - size
```
int size()
```