Package com.ibm.wala.dataflow.IFDS

Interface ITabulationWorklist<T>

Type Parameters:
T - represents type of nodes in the supergraph.
All Known Implementing Classes:
TabulationSolver.Worklist
public interface ITabulationWorklist<T>

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    insert(PathEdge<T> elt)
     
    int
    size()
     
    PathEdge<T>
    take()
     

  • Method Details

    • take

      PathEdge<T> take()
      Returns:
      the first object in the priority queue

    • insert

      void insert(PathEdge<T> elt)

    • size

      int size()