sdfg::analysis::AnalysisManager Class Reference

#include <sdfg/analysis/analysis.h>

Public Member Functions
	AnalysisManager (StructuredSDFG &sdfg)
	AnalysisManager (StructuredSDFG &sdfg, const Options &options)
	AnalysisManager (StructuredSDFG &sdfg, const symbolic::Assumptions &additional_assumptions)
	AnalysisManager (StructuredSDFG &sdfg, const symbolic::Assumptions &additional_assumptions, const Options &options)
	AnalysisManager (const AnalysisManager &am)=delete
AnalysisManager &	operator= (const AnalysisManager &)=delete
const Options &	options () const
template<class T>
T	option (const OptionKey< T > &key) const
template<class T>
T &	get ()
template<class T>
void	invalidate ()
template<class... Ts>
void	preserve ()
void	invalidate_all ()
void	invalidate_all (structured_control_flow::ControlFlowNode &changed)
	Invalidates the analyses after a change confined to the subtree of changed; see Analysis::invalidate.

Constructor & Destructor Documentation

AnalysisManager() [1/5]

sdfg::analysis::AnalysisManager::AnalysisManager

(

StructuredSDFG &

sdfg

)

AnalysisManager() [2/5]

sdfg::analysis::AnalysisManager::AnalysisManager	(	StructuredSDFG &	sdfg,
		const Options &	options )

AnalysisManager() [3/5]

sdfg::analysis::AnalysisManager::AnalysisManager	(	StructuredSDFG &	sdfg,
		const symbolic::Assumptions &	additional_assumptions )

AnalysisManager() [4/5]

sdfg::analysis::AnalysisManager::AnalysisManager	(	StructuredSDFG &	sdfg,
		const symbolic::Assumptions &	additional_assumptions,
		const Options &	options )

AnalysisManager() [5/5]

sdfg::analysis::AnalysisManager::AnalysisManager ( const AnalysisManager & am )

delete

Member Function Documentation

get()

template<class T>

T & sdfg::analysis::AnalysisManager::get ( )

inline

invalidate()

template<class T>

void sdfg::analysis::AnalysisManager::invalidate ( )

inline

invalidate_all() [1/2]

void sdfg::analysis::AnalysisManager::invalidate_all

(

)

invalidate_all() [2/2]

void sdfg::analysis::AnalysisManager::invalidate_all

(

structured_control_flow::ControlFlowNode &

changed

)

Invalidates the analyses after a change confined to the subtree of changed; see Analysis::invalidate.

Analyses that cannot update locally are evicted, as by invalidate_all(). A transformation that changed several subtrees calls this for each.

operator=()

AnalysisManager & sdfg::analysis::AnalysisManager::operator= ( const AnalysisManager & )

delete

option()

template<class T>

T sdfg::analysis::AnalysisManager::option ( const OptionKey< T > & key ) const

inline

options()

const Options & sdfg::analysis::AnalysisManager::options ( ) const

inline

preserve()

template<class... Ts>

void sdfg::analysis::AnalysisManager::preserve ( )

inline

---

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

• sdfg/include/sdfg/analysis/analysis.h