ana::trimmed_node Class Reference

#include <trimmed-graph.h>

Inheritance diagram for ana::trimmed_node:

Collaboration diagram for ana::trimmed_node:

Public Types
typedef tg_traits::edge_t	edge_t
typedef tg_traits::dump_args_t	dump_args_t

Public Member Functions
	trimmed_node (const exploded_node *inner_node)
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
auto_vec< edge_t * >	m_preds
auto_vec< edge_t * >	m_succs

Private Attributes
const exploded_node *	m_inner_node

Detailed Description

A node within the trimmed_graph, corresponding to an "inner node"
within the original exploded_graph.   

Member Typedef Documentation

dump_args_t

tg_traits::dump_args_t dnode< tg_traits >::dump_args_t

inherited

edge_t

tg_traits::edge_t dnode< tg_traits >::edge_t

inherited

Constructor & Destructor Documentation

trimmed_node()

ana::trimmed_node::trimmed_node ( const exploded_node * inner_node )

inline

Member Function Documentation

dump_dot() [1/2]

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

finaloverride

dump_dot() [2/2]

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

pure virtualinherited

Field Documentation

m_inner_node

const exploded_node* ana::trimmed_node::m_inner_node

private

m_preds

auto_vec<edge_t *> dnode< tg_traits >::m_preds

inherited

m_succs

auto_vec<edge_t *> dnode< tg_traits >::m_succs

inherited

---

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

• trimmed-graph.h