1 #ifndef ISL_POLYNOMIAL_H
2 #define ISL_POLYNOMIAL_H
9 #include <isl_printer.h>
11 #if defined(__cplusplus)
15 struct isl_qpolynomial;
16 typedef struct isl_qpolynomial isl_qpolynomial;
18 __isl_give isl_qpolynomial *isl_qpolynomial_zero(__isl_take isl_dim *dim);
19 __isl_give isl_qpolynomial *isl_qpolynomial_infty(__isl_take isl_dim *dim);
20 __isl_give isl_qpolynomial *isl_qpolynomial_nan(__isl_take isl_dim *dim);
21 __isl_give isl_qpolynomial *isl_qpolynomial_rat_cst(__isl_take isl_dim *dim,
22 const isl_int n, const isl_int d);
23 __isl_give isl_qpolynomial *isl_qpolynomial_div(__isl_take isl_div *div);
24 __isl_give isl_qpolynomial *isl_qpolynomial_var(__isl_take isl_dim *dim,
25 enum isl_dim_type type, unsigned pos);
26 __isl_give isl_qpolynomial *isl_qpolynomial_copy(__isl_keep isl_qpolynomial *qp);
27 void isl_qpolynomial_free(__isl_take isl_qpolynomial *qp);
29 int isl_qpolynomial_is_equal(__isl_keep isl_qpolynomial *qp1,
30 __isl_keep isl_qpolynomial *qp2);
31 int isl_qpolynomial_is_cst(__isl_keep isl_qpolynomial *qp,
32 isl_int *n, isl_int *d);
33 void isl_qpolynomial_get_den(__isl_keep isl_qpolynomial *qp, isl_int *d);
35 __isl_give isl_qpolynomial *isl_qpolynomial_neg(__isl_take isl_qpolynomial *qp);
36 __isl_give isl_qpolynomial *isl_qpolynomial_add(__isl_take isl_qpolynomial *qp1,
37 __isl_take isl_qpolynomial *qp2);
38 __isl_give isl_qpolynomial *isl_qpolynomial_mul(__isl_take isl_qpolynomial *qp1,
39 __isl_take isl_qpolynomial *qp2);
42 typedef struct isl_term isl_term;
44 isl_ctx *isl_term_get_ctx(__isl_keep isl_term *term);
46 void isl_term_free(__isl_take isl_term *term);
48 unsigned isl_term_dim(__isl_keep isl_term *term, enum isl_dim_type type);
49 void isl_term_get_num(__isl_keep isl_term *term, isl_int *n);
50 void isl_term_get_den(__isl_keep isl_term *term, isl_int *d);
51 int isl_term_get_exp(__isl_keep isl_term *term,
52 enum isl_dim_type type, unsigned pos);
53 __isl_give isl_div *isl_term_get_div(__isl_keep isl_term *term, unsigned pos);
55 int isl_qpolynomial_foreach_term(__isl_keep isl_qpolynomial *qp,
56 int (*fn)(__isl_take isl_term *term, void *user), void *user);
58 __isl_give isl_qpolynomial *isl_qpolynomial_eval(
59 __isl_take isl_qpolynomial *qp, __isl_take isl_point *pnt);
61 __isl_give isl_printer *isl_printer_print_qpolynomial(
62 __isl_take isl_printer *p, __isl_keep isl_qpolynomial *qp);
63 void isl_qpolynomial_print(__isl_keep isl_qpolynomial *qp, FILE *out,
64 unsigned output_format);
66 struct isl_pw_qpolynomial;
67 typedef struct isl_pw_qpolynomial isl_pw_qpolynomial;
69 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_zero(__isl_take isl_dim *dim);
70 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_alloc(__isl_take isl_set *set,
71 __isl_take isl_qpolynomial *qp);
72 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_copy(
73 __isl_keep isl_pw_qpolynomial *pwqp);
74 void isl_pw_qpolynomial_free(__isl_take isl_pw_qpolynomial *pwqp);
76 __isl_give isl_dim *isl_pw_qpolynomial_get_dim(
77 __isl_keep isl_pw_qpolynomial *pwqp);
78 unsigned isl_pw_qpolynomial_dim(__isl_keep isl_pw_qpolynomial *pwqp,
79 enum isl_dim_type type);
81 __isl_give isl_set *isl_pw_qpolynomial_domain(__isl_take isl_pw_qpolynomial *pwqp);
82 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_intersect_domain(
83 __isl_take isl_pw_qpolynomial *pwpq, __isl_take isl_set *set);
85 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_add(
86 __isl_take isl_pw_qpolynomial *pwqp1,
87 __isl_take isl_pw_qpolynomial *pwqp2);
88 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_sub(
89 __isl_take isl_pw_qpolynomial *pwqp1,
90 __isl_take isl_pw_qpolynomial *pwqp2);
91 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_add_disjoint(
92 __isl_take isl_pw_qpolynomial *pwqp1,
93 __isl_take isl_pw_qpolynomial *pwqp2);
94 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_neg(
95 __isl_take isl_pw_qpolynomial *pwqp);
96 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_mul(
97 __isl_take isl_pw_qpolynomial *pwqp1,
98 __isl_take isl_pw_qpolynomial *pwqp2);
100 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_move(
101 __isl_take isl_pw_qpolynomial *pwqp,
102 enum isl_dim_type dst_type, unsigned dst_pos,
103 enum isl_dim_type src_type, unsigned src_pos, unsigned n);
105 __isl_give isl_qpolynomial *isl_pw_qpolynomial_eval(
106 __isl_take isl_pw_qpolynomial *pwqp, __isl_take isl_point *pnt);
108 __isl_give isl_qpolynomial *isl_pw_qpolynomial_max(
109 __isl_take isl_pw_qpolynomial *pwqp);
111 int isl_pw_qpolynomial_foreach_piece(__isl_keep isl_pw_qpolynomial *pwqp,
112 int (*fn)(__isl_take isl_set *set, __isl_take isl_qpolynomial *qp,
113 void *user), void *user);
114 int isl_pw_qpolynomial_foreach_lifted_piece(__isl_keep isl_pw_qpolynomial *pwqp,
115 int (*fn)(__isl_take isl_set *set, __isl_take isl_qpolynomial *qp,
116 void *user), void *user);
118 __isl_give isl_printer *isl_printer_print_pw_qpolynomial(
119 __isl_take isl_printer *p, __isl_keep isl_pw_qpolynomial *pwqp);
120 void isl_pw_qpolynomial_print(__isl_keep isl_pw_qpolynomial *pwqp, FILE *out,
121 unsigned output_format);
123 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_gist(
124 __isl_take isl_pw_qpolynomial *pwqp, __isl_take isl_set *context);
132 struct isl_qpolynomial_fold;
133 typedef struct isl_qpolynomial_fold isl_qpolynomial_fold;
135 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_empty(enum isl_fold type,
136 __isl_take isl_dim *dim);
137 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_alloc(
138 enum isl_fold type, __isl_take isl_qpolynomial *qp);
139 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_copy(
140 __isl_keep isl_qpolynomial_fold *fold);
141 void isl_qpolynomial_fold_free(__isl_take isl_qpolynomial_fold *fold);
143 int isl_qpolynomial_fold_is_empty(__isl_keep isl_qpolynomial_fold *fold);
144 int isl_qpolynomial_fold_is_equal(__isl_keep isl_qpolynomial_fold *fold1,
145 __isl_keep isl_qpolynomial_fold *fold2);
147 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_fold(
148 __isl_take isl_qpolynomial_fold *fold1,
149 __isl_take isl_qpolynomial_fold *fold2);
151 __isl_give isl_qpolynomial *isl_qpolynomial_fold_eval(
152 __isl_take isl_qpolynomial_fold *fold, __isl_take isl_point *pnt);
154 void isl_qpolynomial_fold_print(__isl_keep isl_qpolynomial_fold *fold, FILE *out,
155 unsigned output_format);
157 struct isl_pw_qpolynomial_fold;
158 typedef struct isl_pw_qpolynomial_fold isl_pw_qpolynomial_fold;
160 isl_ctx *isl_pw_qpolynomial_fold_get_ctx(__isl_keep isl_pw_qpolynomial_fold *pwf);
162 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_from_pw_qpolynomial(
163 enum isl_fold type, __isl_take isl_pw_qpolynomial *pwqp);
165 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_alloc(
166 __isl_take isl_set *set, __isl_take isl_qpolynomial_fold *fold);
167 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_copy(
168 __isl_keep isl_pw_qpolynomial_fold *pwf);
169 void isl_pw_qpolynomial_fold_free(__isl_take isl_pw_qpolynomial_fold *pwf);
171 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_zero(
172 __isl_take isl_dim *dim);
174 __isl_give isl_set *isl_pw_qpolynomial_fold_domain(
175 __isl_take isl_pw_qpolynomial_fold *pwf);
176 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_intersect_domain(
177 __isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_set *set);
179 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_add(
180 __isl_take isl_pw_qpolynomial_fold *pwf1,
181 __isl_take isl_pw_qpolynomial_fold *pwf2);
182 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_add_disjoint(
183 __isl_take isl_pw_qpolynomial_fold *pwf1,
184 __isl_take isl_pw_qpolynomial_fold *pwf2);
186 __isl_give isl_qpolynomial *isl_pw_qpolynomial_fold_eval(
187 __isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_point *pnt);
189 __isl_give isl_printer *isl_printer_print_pw_qpolynomial_fold(
190 __isl_take isl_printer *p, __isl_keep isl_pw_qpolynomial_fold *pwf);
191 void isl_pw_qpolynomial_fold_print(__isl_keep isl_pw_qpolynomial_fold *pwf,
192 FILE *out, unsigned output_format);
194 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_coalesce(
195 __isl_take isl_pw_qpolynomial_fold *pwf);
196 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_gist(
197 __isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_set *context);
199 #if defined(__cplusplus)