DGraphIterativeDFP.hpp

Go to the documentation of this file.

#ifndef DGraphIterativeDFP_h
#define DGraphIterativeDFP_h

//#ifndef DirectedGraph_h
//#include <libs/support/graphs/directedGraph/DirectedGraph.h>
//#endif
// Going to attempt to use DGraph instead
#include <OpenAnalysis/Utils/OA_ptr.hpp>
#include <OpenAnalysis/Utils/DGraph/DGraphInterface.hpp>
#include <OpenAnalysis/CFG/CFGInterface.hpp>
#include <OpenAnalysis/CFG/CFG.hpp>

#include <iostream>

namespace OA {
  namespace DataFlow {

//*********************************************************************
// class DGraphIterativeDFP
//*********************************************************************
class DGraphIterativeDFP {
public:
  //--------------------------------------------------------
  // constructor/destructor
  //--------------------------------------------------------
  DGraphIterativeDFP();
  virtual ~DGraphIterativeDFP();

  //--------------------------------------------------------
  // Kildall iterative solver 
  //--------------------------------------------------------
  void solve(OA_ptr<DGraph::DGraphInterface> dg, 
             DGraph::DGraphEdgeDirection alongFlow);

  int afterSolve_getNumIter() {return numIter;}

private:

  int numIter;

  //--------------------------------------------------------
  // initialization callback
  //--------------------------------------------------------
  virtual void initialize(OA_ptr<DGraph::DGraphInterface> dg)  = 0;

  //--------------------------------------------------------
  // solver callbacks 
  //--------------------------------------------------------
  //   atDGraphNode and atDGraphEdge return true if change
  //   in dataflow information at the graph element
  virtual bool atDGraphNode(OA_ptr<DGraph::NodeInterface>, 
                            DGraph::DGraphEdgeDirection);
  virtual bool atDGraphEdge(OA_ptr<DGraph::EdgeInterface>, 
                            DGraph::DGraphEdgeDirection);

  //--------------------------------------------------------
  // finalization callbacks
  //--------------------------------------------------------
  virtual void finalizeNode(OA_ptr<DGraph::NodeInterface> node);
  virtual void finalizeEdge(OA_ptr<DGraph::EdgeInterface> edge);
};

  } // end of DataFlow
}  // end of OA namespace

#endif