ana::feasibility_problem Class Reference

#include <exploded-graph.h>

Collaboration diagram for ana::feasibility_problem:

Public Member Functions
	feasibility_problem (unsigned eedge_idx, const exploded_edge &eedge, const gimple *last_stmt, std::unique_ptr< rejected_constraint > rc)
void	dump_to_pp (pretty_printer *pp) const

Data Fields
unsigned	m_eedge_idx
const exploded_edge &	m_eedge
const gimple *	m_last_stmt
std::unique_ptr< rejected_constraint >	m_rc

Detailed Description

A reason why a particular exploded_path is infeasible.   

Constructor & Destructor Documentation

feasibility_problem()

ana::feasibility_problem::feasibility_problem ( unsigned eedge_idx, const exploded_edge & eedge, const gimple * last_stmt, std::unique_ptr< rejected_constraint > rc )

inline

Member Function Documentation

dump_to_pp()

void ana::feasibility_problem::dump_to_pp

(

pretty_printer *

pp

)

const

Field Documentation

m_eedge

const exploded_edge& ana::feasibility_problem::m_eedge

m_eedge_idx

unsigned ana::feasibility_problem::m_eedge_idx

m_last_stmt

const gimple* ana::feasibility_problem::m_last_stmt

m_rc

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

---

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

• exploded-graph.h