separation.h

Go to the documentation of this file.

#pragma once

#include "tc/external/isl.h"

namespace tc {
namespace polyhedral {

/*
 * Consider a tiling of size "size" in the target space of "pretile".
 * Return the elements in "domain" that map to partial tiles
 * in this space for fixed values of "prefix".
 */
isl::union_set partialTargetTiles(
    isl::union_set domain,
    isl::multi_union_pw_aff prefix,
    isl::multi_union_pw_aff pretile,
    isl::multi_val size);

} // namespace polyhedral
} // namespace tc