ana::exploded_path Class Reference

#include <exploded-path.h>

Data Structures
struct	element_t

Public Member Functions
	exploded_path ()=default
	exploded_path (const exploded_path &other)=default
unsigned	length () const
bool	find_stmt_backwards (const gimple *search_stmt, int *out_idx) const
exploded_node *	get_final_enode () const
void	dump_to_pp (pretty_printer *pp, const extrinsic_state *ext_state) const
void	dump (FILE *fp, const extrinsic_state *ext_state) const
void	dump (const extrinsic_state *ext_state=nullptr) const
void	dump_to_file (const char *filename, const extrinsic_state &ext_state) const
void	maybe_log (logger *logger, const char *desc) const
bool	feasible_p (logger *logger, std::unique_ptr< feasibility_problem > *out, engine *eng, const exploded_graph *eg) const
void	append_edge (const exploded_edge *edge)
void	reverse ()

Data Fields
std::vector< element_t >	m_elements

Detailed Description

A path within an exploded_graph: a sequence of edges.   

Constructor & Destructor Documentation

exploded_path() [1/2]

ana::exploded_path::exploded_path ( )

default

Referenced by exploded_path().

exploded_path() [2/2]

ana::exploded_path::exploded_path ( const exploded_path & other )

default

References exploded_path().

Member Function Documentation

append_edge()

void ana::exploded_path::append_edge ( const exploded_edge * edge )

inline

References m_elements.

dump() [1/2]

void ana::exploded_path::dump

(

const extrinsic_state *

ext_state = nullptr

)

const

dump() [2/2]

void ana::exploded_path::dump	(	FILE *	fp,
		const extrinsic_state *	ext_state ) const

dump_to_file()

void ana::exploded_path::dump_to_file	(	const char *	filename,
		const extrinsic_state &	ext_state ) const

dump_to_pp()

void ana::exploded_path::dump_to_pp	(	pretty_printer *	pp,
		const extrinsic_state *	ext_state ) const

feasible_p()

bool ana::exploded_path::feasible_p	(	logger *	logger,
		std::unique_ptr< feasibility_problem > *	out,
		engine *	eng,
		const exploded_graph *	eg ) const

find_stmt_backwards()

bool ana::exploded_path::find_stmt_backwards	(	const gimple *	search_stmt,
		int *	out_idx ) const

get_final_enode()

exploded_node * ana::exploded_path::get_final_enode

(

)

const

length()

unsigned ana::exploded_path::length ( ) const

inline

References m_elements.

maybe_log()

void ana::exploded_path::maybe_log	(	logger *	logger,
		const char *	desc ) const

reverse()

void ana::exploded_path::reverse

(

)

Field Documentation

m_elements

std::vector<element_t> ana::exploded_path::m_elements

Referenced by append_edge(), and length().

---

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

• exploded-path.h