ana::reachability< GraphTraits > Class Template Reference

#include <reachability.h>

Collaboration diagram for ana::reachability< GraphTraits >:

Public Types
typedef GraphTraits::graph_t	graph_t
typedef GraphTraits::node_t	node_t
typedef GraphTraits::edge_t	edge_t

Public Member Functions
	reachability (const graph_t &graph, const node_t *target_node)
bool	reachable_from_p (const node_t *src_node) const

Private Attributes
auto_sbitmap	m_indices

Detailed Description

template<typename GraphTraits>
class ana::reachability< GraphTraits >

The set of nodes from which a target node in a digraph can be reached.   

Member Typedef Documentation

edge_t

template<typename GraphTraits >

GraphTraits::edge_t ana::reachability< GraphTraits >::edge_t

graph_t

template<typename GraphTraits >

GraphTraits::graph_t ana::reachability< GraphTraits >::graph_t

node_t

template<typename GraphTraits >

GraphTraits::node_t ana::reachability< GraphTraits >::node_t

Constructor & Destructor Documentation

reachability()

template<typename GraphTraits >

ana::reachability< GraphTraits >::reachability ( const graph_t & graph, const node_t * target_node )

inline

References bitmap_clear(), bitmap_set_bit, FOR_EACH_VEC_ELT, i, ana::worklist::length(), ana::reachability< GraphTraits >::m_indices, ana::reachability< GraphTraits >::reachable_from_p(), and worklist.

Member Function Documentation

reachable_from_p()

template<typename GraphTraits >

bool ana::reachability< GraphTraits >::reachable_from_p ( const node_t * src_node ) const

inline

References bitmap_bit_p, and ana::reachability< GraphTraits >::m_indices.

Referenced by ana::reachability< GraphTraits >::reachability().

Field Documentation

m_indices

template<typename GraphTraits >

auto_sbitmap ana::reachability< GraphTraits >::m_indices

private

Referenced by ana::reachability< GraphTraits >::reachability(), and ana::reachability< GraphTraits >::reachable_from_p().

---

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

• reachability.h