maps.h

Go to the documentation of this file.

 
#pragma once
 
#include <string>
#include <unordered_map>
#include <vector>
 
#include "sdfg/symbolic/assumptions.h"
#include "sdfg/symbolic/extreme_values.h"
#include "sdfg/symbolic/symbolic.h"
 
namespace sdfg {
namespace symbolic {
namespace maps {

struct DependenceDeltas {
    bool empty; 
    std::string deltas_str; 
    std::vector<std::string> dimensions; 
};

bool is_monotonic(const Expression expr, const Symbol sym, const Assumptions& assums);

bool intersects(
    const MultiExpression& expr1,
    const MultiExpression& expr2,
    const Symbol indvar,
    const Assumptions& assums1,
    const Assumptions& assums2
);

DependenceDeltas dependence_deltas(
    const MultiExpression& expr1,
    const MultiExpression& expr2,
    const Symbol indvar,
    const Assumptions& assums1,
    const Assumptions& assums2
);

DependenceDeltas dependence_deltas(
    const MultiExpression& expr1,
    const MultiExpression& expr2,
    const Symbol indvar,
    sdfg::symbolic::AssumptionsBounds& bounds1,
    sdfg::symbolic::AssumptionsBounds& bounds2
);
 
} // namespace maps
} // namespace symbolic
} // namespace sdfg