wali::graph::Graph Class Reference

List of all members.

Public Member Functions
void	addEdge (int s, int t)
int	runSCCdecomposition ()
size_t	getNnodes ()
int	getSccNumber (int n)
int	getBfsNumber (int n)
Friends
struct	AssignSCCActionFunctor

---

Member Function Documentation

void wali::graph::Graph::addEdge	(	int	s,
		int	t
	)

Referenced by wali::graph::SummaryGraph::summaryPoststar().

int wali::graph::Graph::runSCCdecomposition

(

)

References AssignSCCActionFunctor.

Referenced by wali::graph::SummaryGraph::summaryPoststar().

size_t wali::graph::Graph::getNnodes

(

)

int wali::graph::Graph::getSccNumber

(

int

n

)

Referenced by wali::graph::SummaryGraph::summaryPoststar().

int wali::graph::Graph::getBfsNumber

(

int

n

)

---

Friends And Related Function Documentation

friend struct AssignSCCActionFunctor [friend]

Referenced by runSCCdecomposition().

---

The documentation for this class was generated from the following files:

• Source/wali/graph/Graph.hpp
• Source/wali/graph/Graph.cpp