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 Type	Method	Description
protected boolean	compareElements(PathEdge<T> p1, PathEdge<T> p2)

Methods inherited from class Heap

insert, isEmpty, size, take, toString

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface ITabulationWorklist

insert, size, take

Method Details

compareElements

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

Specified by:

compareElements in class Heap<PathEdge<T>>

Returns:

true iff elt1 is considered < elt2