ana::infeasible_edge Class Reference

#include <feasible-graph.h>

Inheritance diagram for ana::infeasible_edge:

Collaboration diagram for ana::infeasible_edge:

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

Public Member Functions
	infeasible_edge (feasible_node *src, infeasible_node *dest, const exploded_edge *inner_edge)
void	dump_dot (graphviz_out *gv, const dump_args_t &args) const final override
const exploded_edge *	get_inner_edge () const

Data Fields
node_t *const	m_src
node_t *const	m_dest

Protected Attributes
const exploded_edge *	m_inner_edge

Detailed Description

Subclass of base_feasible_edge for connecting a feasible_node
to an infeasible_node (and thus terminating this part of the
exploration).   

Member Typedef Documentation

dump_args_t

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

inherited

node_t

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

inherited

Constructor & Destructor Documentation

infeasible_edge()

ana::infeasible_edge::infeasible_edge ( feasible_node * src, infeasible_node * dest, const exploded_edge * inner_edge )

inline

Member Function Documentation

dump_dot()

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

finaloverridevirtualinherited

Implements dedge< fg_traits >.

get_inner_edge()

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

inlineinherited

References ana::base_feasible_edge::m_inner_edge.

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

protectedinherited

Referenced by ana::base_feasible_edge::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