1#include <isl/set.h>
2#include <isl_morph.h>
3
4#if defined(__cplusplus)
5extern "C" {
6#endif
7
8/* Data for factorizing a particular basic set.
9 * After applying "morph" to the basic set, there are "n_group"
10 * groups of consecutive set variables, each of length "len[i]",
11 * with 0 <= i < n_group.
12 * If no factorization is possible, then "n_group" is set to 0.
13 */
14struct isl_factorizer {
15	isl_morph	*morph;
16	int		n_group;
17	int		*len;
18};
19typedef struct isl_factorizer isl_factorizer;
20
21__isl_give isl_factorizer *isl_basic_set_factorizer(
22	__isl_keep isl_basic_set *bset);
23
24void isl_factorizer_free(__isl_take isl_factorizer *f);
25void isl_factorizer_dump(__isl_take isl_factorizer *f);
26
27#if defined(__cplusplus)
28}
29#endif
30