#include <exploded-graph.h>

Collaboration diagram for ana::feasibility_state:

[legend]

Public Member Functions
	feasibility_state (region_model_manager *manager, const supergraph &sg)
	feasibility_state (const region_model &model, const supergraph &sg)
	feasibility_state (const feasibility_state &other)
feasibility_state &	operator= (const feasibility_state &other)
bool	maybe_update_for_edge (logger logger, const exploded_edge eedge, region_model_context ctxt, std::unique_ptr< rejected_constraint > out_rc)
void	update_for_stmt (const gimple *stmt)
const region_model &	get_model () const
const auto_sbitmap &	get_snodes_visited () const
void	dump_to_pp (pretty_printer *pp, bool simple, bool multiline) const

Private Attributes
region_model	m_model
auto_sbitmap	m_snodes_visited

Detailed Description

A class for capturing the state of a node when checking a path
through the exploded_graph for feasibility.

Constructor & Destructor Documentation

◆ feasibility_state() [1/3]

ana::feasibility_state::feasibility_state	(	region_model_manager *	manager,
		const supergraph &	sg )

Referenced by feasibility_state(), and operator=().

◆ feasibility_state() [2/3]

ana::feasibility_state::feasibility_state	(	const region_model &	model,
		const supergraph &	sg )

◆ feasibility_state() [3/3]

ana::feasibility_state::feasibility_state ( const feasibility_state & other )

References feasibility_state().

Member Function Documentation

◆ dump_to_pp()

void ana::feasibility_state::dump_to_pp	(	pretty_printer *	pp,
		bool	simple,
		bool	multiline ) const

◆ get_model()

const region_model & ana::feasibility_state::get_model ( ) const

inline

References m_model.

Referenced by infinite_recursion_diagnostic::fedge_uses_conjured_svalue_p().

◆ get_snodes_visited()

const auto_sbitmap & ana::feasibility_state::get_snodes_visited ( ) const

inline

References m_snodes_visited.

◆ maybe_update_for_edge()

bool ana::feasibility_state::maybe_update_for_edge	(	logger *	logger,
		const exploded_edge *	eedge,
		region_model_context *	ctxt,
		std::unique_ptr< rejected_constraint > *	out_rc )

Referenced by starts_infinite_loop_p().

◆ operator=()

feasibility_state & ana::feasibility_state::operator= ( const feasibility_state & other )

References feasibility_state().

◆ update_for_stmt()

void ana::feasibility_state::update_for_stmt ( const gimple * stmt )

References ana::stmt.

Field Documentation

◆ m_model

region_model ana::feasibility_state::m_model

private

Referenced by get_model().

◆ m_snodes_visited

auto_sbitmap ana::feasibility_state::m_snodes_visited