net.sf.bddbddb.dataflow
Class DataflowSolver

java.lang.Object
  net.sf.bddbddb.dataflow.DataflowSolver

public class DataflowSolver
extends java.lang.Object

DataflowSolver

Version:

$Id: DataflowSolver.java 328 2004-10-16 02:45:30Z joewhaley $

Author:

John Whaley

Nested Class Summary

class

DataflowSolver.DataflowIterator

Constructor Summary

DataflowSolver()

Method Summary

Problem.Fact	getFact(IterationList block) Returns the dataflow information for a given block.
DataflowSolver.DataflowIterator	getIterator(Problem p, IterationFlowGraph g)
void	reset() Resets dataflow information.
void	solve(Problem p, IterationList g)

Methods inherited from class java.lang.Object

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

Constructor Detail

DataflowSolver

public DataflowSolver()

Method Detail

reset

public void reset()

Resets dataflow information.

getFact

public Problem.Fact getFact(IterationList block)

Returns the dataflow information for a given block.

getIterator

public DataflowSolver.DataflowIterator getIterator(Problem p,
                                                   IterationFlowGraph g)

solve

public void solve(Problem p,
                  IterationList g)