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

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 Heap<PathEdge<T>>

Returns:

true iff elt1 is considered < elt2