Package 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
All Methods Instance Methods Abstract Methods Modifier and Type Method Description void
insert(PathEdge<T> elt)
int
size()
PathEdge<T>
take()
-