net.sf.bddbddb.dataflow
Class DataflowSolver

java.lang.Object
  extended by 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)


Copyright © 2004-2008 Stanford SUIF Compiler Group. All Rights Reserved.