ana::trimmed_edge Class Reference

#include <trimmed-graph.h>

Inheritance diagram for ana::trimmed_edge:

Collaboration diagram for ana::trimmed_edge:

Public Types
typedef tg_traits::node_t	node_t
typedef tg_traits::dump_args_t	dump_args_t

Public Member Functions
	trimmed_edge (trimmed_node *src, trimmed_node *dest, const exploded_edge *inner_edge)
void	dump_dot (graphviz_out *gv, const dump_args_t &args) const final override
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

Private Attributes
const exploded_edge *	m_inner_edge

Detailed Description

An edge within the trimmed_graph, corresponding to an "inner edge"
within the original exploded_graph.   

Member Typedef Documentation

dump_args_t

typedef tg_traits::dump_args_t dedge< tg_traits >::dump_args_t

inherited

node_t

typedef tg_traits::node_t dedge< tg_traits >::node_t

inherited

Constructor & Destructor Documentation

trimmed_edge()

ana::trimmed_edge::trimmed_edge	(	trimmed_node *	src,
		trimmed_node *	dest,
		const exploded_edge *	inner_edge )

Member Function Documentation

dump_dot() [1/2]

void ana::trimmed_edge::dump_dot ( graphviz_out * gv, const dump_args_t & args ) const

finaloverride

dump_dot() [2/2]

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

pure virtualinherited

Field Documentation

m_dest

node_t* const dedge< tg_traits >::m_dest

inherited

m_inner_edge

const exploded_edge* ana::trimmed_edge::m_inner_edge

private

m_src

node_t* const dedge< tg_traits >::m_src

inherited

---

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

• trimmed-graph.h