This is the complete list of members for sdfg::analysis::AssumptionsAnalysis, including all inherited members.

additional_assumptions_	sdfg::analysis::Analysis	protected
Analysis(StructuredSDFG &sdfg)	sdfg::analysis::Analysis
Analysis(StructuredSDFG &sdfg, const Options &options)	sdfg::analysis::Analysis
Analysis(const Analysis &a)=delete	sdfg::analysis::Analysis
AssumptionsAnalysis(StructuredSDFG &sdfg)	sdfg::analysis::AssumptionsAnalysis
AssumptionsAnalysis(StructuredSDFG &sdfg, bool with_branch_conditions)	sdfg::analysis::AssumptionsAnalysis
constant_symbols(structured_control_flow::ControlFlowNode &node, bool include_trivial_bounds=false)	sdfg::analysis::AssumptionsAnalysis
get(structured_control_flow::ControlFlowNode &node, bool include_trivial_bounds=false)	sdfg::analysis::AssumptionsAnalysis
invalidate(structured_control_flow::ControlFlowNode &changed) override	sdfg::analysis::AssumptionsAnalysis	virtual
is_parameter(const symbolic::Symbol &container)	sdfg::analysis::AssumptionsAnalysis
is_parameter(const std::string &container)	sdfg::analysis::AssumptionsAnalysis
name() const override	sdfg::analysis::AssumptionsAnalysis	inlinevirtual
operator=(const Analysis &)=delete	sdfg::analysis::Analysis
option(const OptionKey< T > &key, T fallback=T{}) const	sdfg::analysis::Analysis	inlineprotected
options_	sdfg::analysis::Analysis	protected
parameters()	sdfg::analysis::AssumptionsAnalysis
per_symbol_refined_symbols(const symbolic::Condition &cond)	sdfg::analysis::AssumptionsAnalysis	static
run(analysis::AnalysisManager &analysis_manager) override	sdfg::analysis::AssumptionsAnalysis	virtual
sdfg_	sdfg::analysis::Analysis	protected
~Analysis()=default	sdfg::analysis::Analysis	virtual