GCC Middle and Back End API Reference
ana::infeasible_node Class Referenceabstract

#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_nodeget_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_nodem_inner_node
 
unsigned m_index
 

Private Attributes

std::unique_ptr< rejected_constraintm_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

typedef fg_traits::dump_args_t dnode< fg_traits >::dump_args_t
inherited

◆ edge_t

typedef 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

◆ get_inner_node()

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

Field Documentation

◆ m_index

unsigned ana::base_feasible_node::m_index
protectedinherited

◆ m_inner_node

const exploded_node* ana::base_feasible_node::m_inner_node
protectedinherited

◆ 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: