delinearization.h

Go to the documentation of this file.

#pragma once
 
#include <isl/map.h>
 
#include "sdfg/symbolic/assumptions.h"
#include "sdfg/symbolic/extreme_values.h"
#include "sdfg/symbolic/symbolic.h"
 
namespace sdfg {
namespace symbolic {
 
struct DelinearizeResult {
    MultiExpression indices;
    MultiExpression dimensions;
    bool success;
};

DelinearizeResult delinearize(const Expression& expr, const Assumptions& assums);

DelinearizeResult delinearize(const Expression& expr, AssumptionsBounds& bounds);
 
} // namespace symbolic
} // namespace sdfg