#include <exploded-graph.h>

Collaboration diagram for ana::exploded_path:

[legend]

Public Member Functions
	exploded_path ()
	exploded_path (const exploded_path &other)
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
bool	feasible_p (logger logger, std::unique_ptr< feasibility_problem > out, engine eng, const exploded_graph eg) const

Data Fields
auto_vec< const exploded_edge * >	m_edges

Detailed Description

A path within an exploded_graph: a sequence of edges.

Constructor & Destructor Documentation

◆ exploded_path() [1/2]

ana::exploded_path::exploded_path ( )

inline

References m_edges.

Referenced by exploded_path().

◆ exploded_path() [2/2]

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

References exploded_path().

Member Function Documentation

◆ 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