43 lines · c
1#ifndef ISL_FACTORIZATION_H2#define ISL_FACTORIZATION_H3 4#include <isl/set.h>5#include <isl_morph.h>6 7#if defined(__cplusplus)8extern "C" {9#endif10 11/* Data for factorizing the basic set "bset".12 * After applying "morph" to the basic set, there are "n_group"13 * groups of consecutive set variables, each of length "len[i]",14 * with 0 <= i < n_group.15 * If no factorization is possible, then "n_group" is set to 0.16 */17struct isl_factorizer {18 isl_basic_set *bset;19 isl_morph *morph;20 int n_group;21 int *len;22};23typedef struct isl_factorizer isl_factorizer;24 25__isl_give isl_factorizer *isl_basic_set_factorizer(26 __isl_keep isl_basic_set *bset);27 28isl_ctx *isl_factorizer_get_ctx(__isl_keep isl_factorizer *f);29 30__isl_null isl_factorizer *isl_factorizer_free(__isl_take isl_factorizer *f);31void isl_factorizer_dump(__isl_take isl_factorizer *f);32 33__isl_give isl_bool isl_factorizer_every_factor_basic_set(34 __isl_keep isl_factorizer *f,35 isl_bool (*test)(__isl_keep isl_basic_set *bset, void *user),36 void *user);37 38#if defined(__cplusplus)39}40#endif41 42#endif43