delinearization.h File Reference

#include <isl/map.h>
#include "sdfg/symbolic/assumptions.h"
#include "sdfg/symbolic/extreme_values.h"
#include "sdfg/symbolic/symbolic.h"

Go to the source code of this file.

Classes
struct	sdfg::symbolic::DelinearizeResult

Namespaces
namespace	sdfg
namespace	sdfg::symbolic

Functions
DelinearizeResult	sdfg::symbolic::delinearize (const Expression &expr, const Assumptions &assums)
	Delinearizes a linearized expression into indices and dimensions based on parameter assumptions.
DelinearizeResult	sdfg::symbolic::delinearize (const Expression &expr, AssumptionsBounds &bounds)
	Same as delinearize, but reuses a caller-supplied AssumptionsBounds.