ana::infeasible_edge Class Reference

#include <feasible-graph.h>

Inheritance diagram for ana::infeasible_edge:

Collaboration diagram for ana::infeasible_edge:

Public Types
typedef fg_traits::node_t	node_t
typedef fg_traits::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
virtual void	dump_dot (graphviz_out *gv, const dump_args_t &args) const=0
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

fg_traits::dump_args_t dedge< fg_traits >::dump_args_t

inherited

node_t

fg_traits::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() [1/2]

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

finaloverrideinherited

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

inlineinherited

References ana::base_feasible_edge::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

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