ana::base_feasible_edge Class Reference

#include <feasible-graph.h>

Inheritance diagram for ana::base_feasible_edge:

Collaboration diagram for ana::base_feasible_edge:

Public Types
typedef fg_traits::node_t	node_t
typedef fg_traits::dump_args_t	dump_args_t

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

Protected Member Functions
	base_feasible_edge (base_feasible_node *src, base_feasible_node *dest, const exploded_edge *inner_edge)

Protected Attributes
const exploded_edge *	m_inner_edge

Detailed Description

Base class of edge within a feasible_graph.   

Member Typedef Documentation

dump_args_t

typedef fg_traits::dump_args_t dedge< fg_traits >::dump_args_t

inherited

node_t

typedef fg_traits::node_t dedge< fg_traits >::node_t

inherited

Constructor & Destructor Documentation

base_feasible_edge()

ana::base_feasible_edge::base_feasible_edge ( base_feasible_node * src, base_feasible_node * dest, const exploded_edge * inner_edge )

inlineprotected

Member Function Documentation

dump_dot() [1/2]

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

finaloverride

dump_dot() [2/2]

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

pure virtualinherited

get_inner_edge()

const exploded_edge * ana::base_feasible_edge::get_inner_edge ( ) const

inline

References m_inner_edge.

Referenced by infinite_recursion_diagnostic::fedge_uses_conjured_svalue_p().

Field Documentation

m_dest

node_t* const dedge< fg_traits >::m_dest

inherited

m_inner_edge

const exploded_edge* ana::base_feasible_edge::m_inner_edge

protected

Referenced by get_inner_edge().

m_src

node_t* const dedge< fg_traits >::m_src

inherited

---

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

• feasible-graph.h