DGraphSolverDFP.hpp File Reference

Declaration of Kildall iterative data flow solver for directed graphs. More...

#include <OpenAnalysis/Utils/OA_ptr.hpp>
#include <OpenAnalysis/Utils/DGraph/DGraphInterface.hpp>
#include <OpenAnalysis/Utils/DGraph/DGraphImplement.hpp>
#include <OpenAnalysis/CFG/CFGInterface.hpp>
#include <OpenAnalysis/CFG/CFG.hpp>
#include <OpenAnalysis/DataFlow/WorkListPQueue.hpp>
#include <OpenAnalysis/DataFlow/WorkListQueue.hpp>
#include <iostream>
#include <sys/times.h>
#include <vector>
#include <set>
#include <queue>

Include dependency graph for DGraphSolverDFP.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	OA::DataFlow::DGraphSolverDFP
Namespaces
namespace	OA
	Namespace for the whole OpenAnalysis Toolkit.
namespace	OA::DataFlow
Enumerations
enum	OA::DataFlow::DFPImplement { OA::DataFlow::ITERATIVE = 0, OA::DataFlow::WORKLIST_PRIORITY_QUEUE, OA::DataFlow::WORKLIST_QUEUE }

---

Detailed Description

Declaration of Kildall iterative data flow solver for directed graphs.

Authors:

John Mellor-Crummey (July 1994), adapted for OA by Michelle Strout (April 2004)

Version:

Id

DGraphIterativeDFP.hpp,v 1.7 2005/06/10 02:32:04 mstrout Exp

Copyright (c) 2002-2005, Rice University
Copyright (c) 2004-2005, University of Chicago
Copyright (c) 2006, Contributors
All rights reserved.
See ../../../Copyright.txt for details.

Definition in file DGraphSolverDFP.hpp.