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