sdfg::symbolic::AssumptionsBounds Member List

This is the complete list of members for sdfg::symbolic::AssumptionsBounds, including all inherited members.

AssumptionsBounds(const Assumptions &assums)	sdfg::symbolic::AssumptionsBounds	inlineexplicit
assums() const	sdfg::symbolic::AssumptionsBounds	inline
delinearize_memo()	sdfg::symbolic::AssumptionsBounds	inline
is_nonneg(const Expression &expr, const SymbolSet &parameters)	sdfg::symbolic::AssumptionsBounds
is_positive(const Expression &expr, const SymbolSet &parameters)	sdfg::symbolic::AssumptionsBounds
loose()	sdfg::symbolic::AssumptionsBounds	inline
tight()	sdfg::symbolic::AssumptionsBounds	inline