ana::infeasible_node Class Reference

#include <feasible-graph.h>

Inheritance diagram for ana::infeasible_node:

Collaboration diagram for ana::infeasible_node:

Public Types
typedef fg_traits::edge_t	edge_t
typedef fg_traits::dump_args_t	dump_args_t

Public Member Functions
	infeasible_node (const exploded_node *inner_node, unsigned index, std::unique_ptr< rejected_constraint > rc)
void	dump_dot (graphviz_out *gv, const dump_args_t &args) const final override
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 Attributes
const exploded_node *	m_inner_node
unsigned	m_index

Private Attributes
std::unique_ptr< rejected_constraint >	m_rc

Detailed Description

Subclass of base_feasible_node for a node that requires following
an infeasible edge to reach (and thus terminating this part of the
exploration).   

Member Typedef Documentation

dump_args_t

fg_traits::dump_args_t dnode< fg_traits >::dump_args_t

inherited

edge_t

fg_traits::edge_t dnode< fg_traits >::edge_t

inherited

Constructor & Destructor Documentation

infeasible_node()

ana::infeasible_node::infeasible_node ( const exploded_node * inner_node, unsigned index, std::unique_ptr< rejected_constraint > rc )

inline

Member Function Documentation

dump_dot() [1/2]

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

finaloverride

dump_dot() [2/2]

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

pure virtualinherited

dump_dot_id()

void ana::base_feasible_node::dump_dot_id ( pretty_printer * pp ) const

inherited

get_index()

unsigned ana::base_feasible_node::get_index ( ) const

inlineinherited

References ana::base_feasible_node::m_index.

get_inner_node()

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

inlineinherited

References ana::base_feasible_node::m_inner_node.

Referenced by infinite_recursion_diagnostic::check_valid_fpath_p().

Field Documentation

m_index

unsigned ana::base_feasible_node::m_index

protectedinherited

Referenced by ana::base_feasible_node::get_index().

m_inner_node

const exploded_node* ana::base_feasible_node::m_inner_node

protectedinherited

Referenced by ana::base_feasible_node::get_inner_node().

m_preds

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

inherited

m_rc

std::unique_ptr<rejected_constraint> ana::infeasible_node::m_rc

private

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