| 1 | #ifndef ISL_FACTORIZATION_H |
|---|---|
| 2 | #define ISL_FACTORIZATION_H |
| 3 | |
| 4 | #include <isl/set.h> |
| 5 | #include <isl_morph.h> |
| 6 | |
| 7 | #if defined(__cplusplus) |
| 8 | extern "C"{ |
| 9 | #endif |
| 10 | |
| 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 | */ |
| 17 | struct isl_factorizer { |
| 18 | isl_basic_set *bset; |
| 19 | isl_morph *morph; |
| 20 | int n_group; |
| 21 | int *len; |
| 22 | }; |
| 23 | typedef struct isl_factorizer isl_factorizer; |
| 24 | |
| 25 | __isl_give isl_factorizer *isl_basic_set_factorizer( |
| 26 | __isl_keep isl_basic_set *bset); |
| 27 | |
| 28 | isl_ctx *isl_factorizer_get_ctx(__isl_keep isl_factorizer *f); |
| 29 | |
| 30 | __isl_null isl_factorizer *isl_factorizer_free(__isl_take isl_factorizer *f); |
| 31 | void 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 | #endif |
| 41 | |
| 42 | #endif |
| 43 |