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

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

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