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
Modifier and TypeMethodDescriptionprotected 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
-
Method Details
-
compareElements
-