com.ibm.wala.dataflow.IFDS

Interface ITabulationWorklist<T>

Type Parameters:

T - represents type of nodes in the supergraph.

All Known Implementing Classes:

TabulationSolver.Worklist

public interface ITabulationWorklist<T>

Method Summary

Methods

Modifier and Type	Method and 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()