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 com.ibm.wala.util.collections.Heap<PathEdge<T>>
implements ITabulationWorklist<T>

Method Summary

Methods

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

Method Detail

compareElements

protected boolean compareElements(PathEdge<T> p1,
                      PathEdge<T> p2)

Specified by:

compareElements in class com.ibm.wala.util.collections.Heap<PathEdge<T>>