Package com.ibm.wala.dataflow.IFDS
Class TabulationSolver.Worklist
- java.lang.Object
-
- com.ibm.wala.util.collections.Heap<PathEdge<T>>
-
- com.ibm.wala.dataflow.IFDS.TabulationSolver.Worklist
-
- All Implemented Interfaces:
ITabulationWorklist<T>
- Enclosing class:
- TabulationSolver<T,P,F>
protected class TabulationSolver.Worklist extends Heap<PathEdge<T>> implements ITabulationWorklist<T>
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected boolean
compareElements(PathEdge<T> p1, PathEdge<T> p2)
-
Methods inherited from class com.ibm.wala.util.collections.Heap
insert, isEmpty, size, take, toString
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
-
Methods inherited from interface com.ibm.wala.dataflow.IFDS.ITabulationWorklist
insert, size, take
-
-