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

Modifier and Type	Method	Description
void	insert(PathEdge<T> elt)
final boolean	isEmpty()
int	size()
PathEdge<T>	take()
String	toString()

Methods inherited from class Object

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

Methods inherited from interface ITabulationWorklist

insert, size, take

Modifier and Type	Method	Description
void	insert(PathEdge<T> elt)
int	size()
PathEdge<T>	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