joeq.Compiler.Dataflow
Class PriorityQueueSolver

java.lang.Object
  joeq.Compiler.Dataflow.Solver
      joeq.Compiler.Dataflow.WorklistSolver
          joeq.Compiler.Dataflow.PriorityQueueSolver

public class PriorityQueueSolver
extends WorklistSolver

PriorityQueueSolver

Version:

$Id: PriorityQueueSolver.java,v 1.6 2004/09/22 22:17:26 joewhaley Exp $

Author:

John Whaley

Constructor Summary

PriorityQueueSolver()

PriorityQueueSolver(jwutil.collections.MapFactory f)

Method Summary

java.util.Iterator	allLocations() Returns an iteration of all graph locations.
void	initialize(Problem p, jwutil.graphs.Graph graph) Initializes the solver to prepare to solve the dataflow problem on the given graph.
void	initialize(Problem p, jwutil.graphs.Graph graph, java.util.List traversalOrder) Initializes this solver with the given dataflow problem, graph, and traversal order.

Methods inherited from class joeq.Compiler.Dataflow.WorklistSolver

boundaryLocations, solve

Methods inherited from class joeq.Compiler.Dataflow.Solver

compareResults, direction, dumpResults, getDataflowValue, reset

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PriorityQueueSolver

public PriorityQueueSolver(jwutil.collections.MapFactory f)

PriorityQueueSolver

public PriorityQueueSolver()

Method Detail

initialize

public void initialize(Problem p,
                       jwutil.graphs.Graph graph)

Description copied from class: Solver

Initializes the solver to prepare to solve the dataflow problem on the given graph.

Overrides:

initialize in class WorklistSolver

initialize

public void initialize(Problem p,
                       jwutil.graphs.Graph graph,
                       java.util.List traversalOrder)

Initializes this solver with the given dataflow problem, graph, and traversal order.

See Also:

Solver.initialize(joeq.Compiler.Dataflow.Problem, jwutil.graphs.Graph)

allLocations

public java.util.Iterator allLocations()

Description copied from class: Solver

Returns an iteration of all graph locations.

Specified by:

allLocations in class Solver