SgGraphTemplate.h File Reference

#include <boost/graph/adjacency_list.hpp>
#include <boost/graph/astar_search.hpp>
#include <staticCFG.h>
#include <interproceduralCFG.h>
#include <rose.h>

Include dependency graph for SgGraphTemplate.h:

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

Go to the source code of this file.

Classes
struct	Vertex
struct	Edge

Typedefs
typedef boost::adjacency_list < boost::vecS, boost::vecS, boost::bidirectionalS, Vertex, Edge >	myGraph
typedef myGraph::vertex_descriptor	VertexID
typedef myGraph::edge_descriptor	EdgeID

Functions
std::pair< std::vector < SgGraphNode * >, std::vector < SgDirectedGraphEdge * > >	getAllNodesAndEdges (SgIncidenceDirectedGraph *g, SgGraphNode *start)
myGraph *	instantiateGraph (SgIncidenceDirectedGraph *&g, StaticCFG::InterproceduralCFG &cfg, SgNode *pstart)
myGraph *	instantiateGraph (SgIncidenceDirectedGraph *&g, StaticCFG::CFG &cfg)

Variables
std::map< VertexID, SgGraphNode * >	getGraphNode
std::map< SgGraphNode *, VertexID >	VSlink

Typedef Documentation

typedef boost::adjacency_list< boost::vecS, boost::vecS, boost::bidirectionalS, Vertex, Edge> myGraph

Definition at line 22 of file SgGraphTemplate.h.

typedef myGraph::vertex_descriptor VertexID

Definition at line 24 of file SgGraphTemplate.h.

typedef myGraph::edge_descriptor EdgeID

Definition at line 25 of file SgGraphTemplate.h.

Function Documentation

std::pair< std::vector< SgGraphNode * >, std::vector< SgDirectedGraphEdge * > > getAllNodesAndEdges	(	SgIncidenceDirectedGraph *	g,
		SgGraphNode *	start
	)

Definition at line 146 of file SgGraphTemplate.h.

References SgIncidenceDirectedGraph::computeEdgeSetOut(), and SageInterface::find().

Referenced by instantiateGraph().

myGraph* instantiateGraph	(	SgIncidenceDirectedGraph *&	g,
		StaticCFG::InterproceduralCFG &	cfg,
		SgNode *	pstart
	)

Definition at line 32 of file SgGraphTemplate.h.

References SgDirectedGraphEdge::get_from(), SgDirectedGraphEdge::get_to(), getAllNodesAndEdges(), StaticCFG::InterproceduralCFG::getEntry(), getGraphNode, StaticCFG::CFG::toCFGNode(), StaticCFG::CFG::toGraphNode(), and VSlink.

Referenced by yicesCheck().

myGraph* instantiateGraph	(	SgIncidenceDirectedGraph *&	g,
		StaticCFG::CFG &	cfg
	)

Definition at line 91 of file SgGraphTemplate.h.

References SgDirectedGraphEdge::get_from(), SgDirectedGraphEdge::get_to(), getAllNodesAndEdges(), StaticCFG::CFG::getEntry(), getGraphNode, StaticCFG::CFG::toCFGNode(), and VSlink.

Variable Documentation

std::map<VertexID, SgGraphNode*> getGraphNode

Definition at line 29 of file SgGraphTemplate.h.

Referenced by instantiateGraph().

std::map<SgGraphNode*, VertexID> VSlink

Definition at line 30 of file SgGraphTemplate.h.

Referenced by instantiateGraph().