dedge< GraphTraits > Class Template Reference

#include <digraph.h>

Inheritance diagram for dedge< GraphTraits >:

Public Types
typedef GraphTraits::node_t	node_t
typedef GraphTraits::dump_args_t	dump_args_t

Public Member Functions
	dedge (node_t *src, node_t *dest)
virtual	~dedge ()
virtual void	dump_dot (graphviz_out *gv, const dump_args_t &args) const =0

Data Fields
node_t *const	m_src
node_t *const	m_dest

Detailed Description

template<typename GraphTraits>
class dedge< GraphTraits >

Abstract base class for an edge in a directed graph.   

Member Typedef Documentation

dump_args_t

template<typename GraphTraits >

typedef GraphTraits::dump_args_t dedge< GraphTraits >::dump_args_t

node_t

template<typename GraphTraits >

typedef GraphTraits::node_t dedge< GraphTraits >::node_t

Constructor & Destructor Documentation

dedge()

template<typename GraphTraits >

dedge< GraphTraits >::dedge ( node_t * src, node_t * dest )

inline

~dedge()

template<typename GraphTraits >

virtual dedge< GraphTraits >::~dedge ( )

inlinevirtual

Member Function Documentation

dump_dot()

template<typename GraphTraits >

virtual void dedge< GraphTraits >::dump_dot ( graphviz_out * gv, const dump_args_t & args ) const

pure virtual

Implemented in ana::exploded_edge, ana::base_feasible_edge, ana::superedge, and ana::trimmed_edge.

Field Documentation

m_dest

template<typename GraphTraits >

node_t* const dedge< GraphTraits >::m_dest

m_src

template<typename GraphTraits >

node_t* const dedge< GraphTraits >::m_src

---

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

• digraph.h