ana::base_feasible_node Class Reference

#include <feasible-graph.h>

Inheritance diagram for ana::base_feasible_node:

Collaboration diagram for ana::base_feasible_node:

Public Types
typedef GraphTraits::edge_t	edge_t
typedef GraphTraits::dump_args_t	dump_args_t

Public Member Functions
void	dump_dot_id (pretty_printer *pp) const
const exploded_node *	get_inner_node () const
unsigned	get_index () const
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

Protected Member Functions
	base_feasible_node (const exploded_node *inner_node, unsigned index)

Protected Attributes
const exploded_node *	m_inner_node
unsigned	m_index

Detailed Description

Base class of node within a feasible_graph.
There can be 0 or more base_feasible_nodes per exploded_node.   

Member Typedef Documentation

dump_args_t

typedef GraphTraits::dump_args_t dnode< fg_traits >::dump_args_t

inherited

edge_t

typedef GraphTraits::edge_t dnode< fg_traits >::edge_t

inherited

Constructor & Destructor Documentation

base_feasible_node()

ana::base_feasible_node::base_feasible_node ( const exploded_node * inner_node, unsigned index )

inlineprotected

Member Function Documentation

dump_dot()

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

pure virtualinherited

Implemented in ana::feasible_node, and ana::infeasible_node.

dump_dot_id()

void ana::base_feasible_node::dump_dot_id

(

pretty_printer *

pp

)

const

get_index()

unsigned ana::base_feasible_node::get_index ( ) const

inline

References m_index.

get_inner_node()

const exploded_node * ana::base_feasible_node::get_inner_node ( ) const

inline

References m_inner_node.

Field Documentation

m_index

unsigned ana::base_feasible_node::m_index

protected

Referenced by get_index().

m_inner_node

const exploded_node* ana::base_feasible_node::m_inner_node

protected

Referenced by get_inner_node().

m_preds

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

inherited

m_succs

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

inherited

---

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

• feasible-graph.h