1 #ifndef ISL_POLYNOMIAL_H
2 #define ISL_POLYNOMIAL_H
10 #if defined(__cplusplus)
14 struct isl_qpolynomial;
15 typedef struct isl_qpolynomial isl_qpolynomial;
17 __isl_give isl_qpolynomial *isl_qpolynomial_zero(__isl_take isl_dim *dim);
18 __isl_give isl_qpolynomial *isl_qpolynomial_infty(__isl_take isl_dim *dim);
19 __isl_give isl_qpolynomial *isl_qpolynomial_nan(__isl_take isl_dim *dim);
20 __isl_give isl_qpolynomial *isl_qpolynomial_rat_cst(__isl_take isl_dim *dim,
21 const isl_int n, const isl_int d);
22 __isl_give isl_qpolynomial *isl_qpolynomial_div(__isl_take isl_div *div);
23 __isl_give isl_qpolynomial *isl_qpolynomial_var(__isl_take isl_dim *dim,
24 enum isl_dim_type type, unsigned pos);
25 __isl_give isl_qpolynomial *isl_qpolynomial_copy(__isl_keep isl_qpolynomial *qp);
26 void isl_qpolynomial_free(__isl_take isl_qpolynomial *qp);
28 int isl_qpolynomial_is_cst(__isl_keep isl_qpolynomial *qp,
29 isl_int *n, isl_int *d);
31 __isl_give isl_qpolynomial *isl_qpolynomial_neg(__isl_take isl_qpolynomial *qp);
32 __isl_give isl_qpolynomial *isl_qpolynomial_add(__isl_take isl_qpolynomial *qp1,
33 __isl_take isl_qpolynomial *qp2);
34 __isl_give isl_qpolynomial *isl_qpolynomial_mul(__isl_take isl_qpolynomial *qp1,
35 __isl_take isl_qpolynomial *qp2);
38 typedef struct isl_term isl_term;
40 isl_ctx *isl_term_get_ctx(__isl_keep isl_term *term);
42 void isl_term_free(__isl_take isl_term *term);
44 unsigned isl_term_dim(__isl_keep isl_term *term, enum isl_dim_type type);
45 void isl_term_get_num(__isl_keep isl_term *term, isl_int *n);
46 void isl_term_get_den(__isl_keep isl_term *term, isl_int *d);
47 int isl_term_get_exp(__isl_keep isl_term *term,
48 enum isl_dim_type type, unsigned pos);
49 __isl_give isl_div *isl_term_get_div(__isl_keep isl_term *term, unsigned pos);
51 int isl_qpolynomial_foreach_term(__isl_keep isl_qpolynomial *qp,
52 int (*fn)(__isl_take isl_term *term, void *user), void *user);
54 __isl_give isl_qpolynomial *isl_qpolynomial_eval(
55 __isl_take isl_qpolynomial *qp, __isl_take isl_point *pnt);
57 void isl_qpolynomial_print(__isl_keep isl_qpolynomial *qp, FILE *out,
58 unsigned output_format);
60 struct isl_pw_qpolynomial;
61 typedef struct isl_pw_qpolynomial isl_pw_qpolynomial;
63 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_zero(__isl_take isl_dim *dim);
64 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_alloc(__isl_take isl_set *set,
65 __isl_take isl_qpolynomial *qp);
66 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_copy(
67 __isl_keep isl_pw_qpolynomial *pwqp);
68 void isl_pw_qpolynomial_free(__isl_take isl_pw_qpolynomial *pwqp);
70 __isl_give isl_dim *isl_pw_qpolynomial_get_dim(
71 __isl_keep isl_pw_qpolynomial *pwqp);
72 unsigned isl_pw_qpolynomial_dim(__isl_keep isl_pw_qpolynomial *pwqp,
73 enum isl_dim_type type);
75 __isl_give isl_set *isl_pw_qpolynomial_domain(__isl_take isl_pw_qpolynomial *pwqp);
77 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_add(
78 __isl_take isl_pw_qpolynomial *pwqp1,
79 __isl_take isl_pw_qpolynomial *pwqp2);
80 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_sub(
81 __isl_take isl_pw_qpolynomial *pwqp1,
82 __isl_take isl_pw_qpolynomial *pwqp2);
83 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_add_disjoint(
84 __isl_take isl_pw_qpolynomial *pwqp1,
85 __isl_take isl_pw_qpolynomial *pwqp2);
86 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_neg(
87 __isl_take isl_pw_qpolynomial *pwqp);
88 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_mul(
89 __isl_take isl_pw_qpolynomial *pwqp1,
90 __isl_take isl_pw_qpolynomial *pwqp2);
92 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_move(
93 __isl_take isl_pw_qpolynomial *pwqp,
94 enum isl_dim_type dst_type, unsigned dst_pos,
95 enum isl_dim_type src_type, unsigned src_pos, unsigned n);
97 __isl_give isl_qpolynomial *isl_pw_qpolynomial_eval(
98 __isl_take isl_pw_qpolynomial *pwqp, __isl_take isl_point *pnt);
100 int isl_pw_qpolynomial_foreach_piece(__isl_keep isl_pw_qpolynomial *pwqp,
101 int (*fn)(__isl_take isl_set *set, __isl_take isl_qpolynomial *qp,
102 void *user), void *user);
103 int isl_pw_qpolynomial_foreach_lifted_piece(__isl_keep isl_pw_qpolynomial *pwqp,
104 int (*fn)(__isl_take isl_set *set, __isl_take isl_qpolynomial *qp,
105 void *user), void *user);
107 void isl_pw_qpolynomial_print(__isl_keep isl_pw_qpolynomial *pwqp, FILE *out,
108 unsigned output_format);
116 struct isl_qpolynomial_fold;
117 typedef struct isl_qpolynomial_fold isl_qpolynomial_fold;
119 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_empty(enum isl_fold type,
120 __isl_take isl_dim *dim);
121 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_alloc(
122 enum isl_fold type, __isl_take isl_qpolynomial *qp);
123 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_copy(
124 __isl_keep isl_qpolynomial_fold *fold);
125 void isl_qpolynomial_fold_free(__isl_take isl_qpolynomial_fold *fold);
127 int isl_qpolynomial_fold_is_empty(__isl_keep isl_qpolynomial_fold *fold);
129 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_fold(
130 __isl_take isl_qpolynomial_fold *fold1,
131 __isl_take isl_qpolynomial_fold *fold2);
133 __isl_give isl_qpolynomial *isl_qpolynomial_fold_eval(
134 __isl_take isl_qpolynomial_fold *fold, __isl_take isl_point *pnt);
136 void isl_qpolynomial_fold_print(__isl_keep isl_qpolynomial_fold *fold, FILE *out,
137 unsigned output_format);
139 struct isl_pw_qpolynomial_fold;
140 typedef struct isl_pw_qpolynomial_fold isl_pw_qpolynomial_fold;
142 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_from_pw_qpolynomial(
143 enum isl_fold type, __isl_take isl_pw_qpolynomial *pwqp);
145 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_alloc(
146 __isl_take isl_set *set, __isl_take isl_qpolynomial_fold *fold);
147 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_copy(
148 __isl_keep isl_pw_qpolynomial_fold *pwf);
149 void isl_pw_qpolynomial_fold_free(__isl_take isl_pw_qpolynomial_fold *pwf);
151 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_zero(
152 __isl_take isl_dim *dim);
154 __isl_give isl_set *isl_pw_qpolynomial_fold_domain(
155 __isl_take isl_pw_qpolynomial_fold *pwf);
157 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_add(
158 __isl_take isl_pw_qpolynomial_fold *pwf1,
159 __isl_take isl_pw_qpolynomial_fold *pwf2);
160 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_add_disjoint(
161 __isl_take isl_pw_qpolynomial_fold *pwf1,
162 __isl_take isl_pw_qpolynomial_fold *pwf2);
164 __isl_give isl_qpolynomial *isl_pw_qpolynomial_fold_eval(
165 __isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_point *pnt);
167 void isl_pw_qpolynomial_fold_print(__isl_keep isl_pw_qpolynomial_fold *pwf,
168 FILE *out, unsigned output_format);
170 #if defined(__cplusplus)