~ubuntu-branches/ubuntu/wily/cloog/wily-proposed

« back to all changes in this revision

Viewing changes to isl/isl_polynomial_private.h

  • Committer: Package Import Robot
  • Author(s): Matthias Klose
  • Date: 2015-04-24 15:07:57 UTC
  • mfrom: (3.1.9 sid)
  • Revision ID: package-import@ubuntu.com-20150424150757-wumy8mdonvtgf29j
Tags: 0.18.3-1
* New upstream version.
* Update symbols file.

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
1
#include <stdio.h>
 
2
#include <isl_int.h>
2
3
#include <isl/map.h>
3
4
#include <isl/mat.h>
4
5
#include <isl_morph.h>
95
96
        struct isl_pw_qpolynomial_fold_piece p[1];
96
97
};
97
98
 
 
99
void isl_term_get_num(__isl_keep isl_term *term, isl_int *n);
 
100
 
98
101
__isl_give struct isl_upoly *isl_upoly_zero(struct isl_ctx *ctx);
99
102
__isl_give struct isl_upoly *isl_upoly_copy(__isl_keep struct isl_upoly *up);
100
103
__isl_give struct isl_upoly *isl_upoly_cow(__isl_take struct isl_upoly *up);
122
125
 
123
126
__isl_give isl_qpolynomial *isl_qpolynomial_cst_on_domain(__isl_take isl_space *dim,
124
127
        isl_int v);
 
128
__isl_give isl_qpolynomial *isl_qpolynomial_rat_cst_on_domain(
 
129
        __isl_take isl_space *space, const isl_int n, const isl_int d);
125
130
__isl_give isl_qpolynomial *isl_qpolynomial_var_pow_on_domain(__isl_take isl_space *dim,
126
131
        int pos, int power);
127
132
int isl_qpolynomial_is_one(__isl_keep isl_qpolynomial *qp);
128
133
int isl_qpolynomial_is_affine(__isl_keep isl_qpolynomial *qp);
 
134
int isl_qpolynomial_is_cst(__isl_keep isl_qpolynomial *qp,
 
135
        isl_int *n, isl_int *d);
129
136
 
130
137
__isl_give isl_qpolynomial *isl_qpolynomial_add_on_domain(
131
138
        __isl_keep isl_set *dom,
132
139
        __isl_take isl_qpolynomial *qp1,
133
140
        __isl_take isl_qpolynomial *qp2);
134
141
 
135
 
int isl_qpolynomial_le_cst(__isl_keep isl_qpolynomial *qp1,
136
 
        __isl_keep isl_qpolynomial *qp2);
137
 
__isl_give isl_qpolynomial *isl_qpolynomial_max_cst(
138
 
        __isl_take isl_qpolynomial *qp1, __isl_take isl_qpolynomial *qp2);
139
 
__isl_give isl_qpolynomial *isl_qpolynomial_min_cst(
140
 
        __isl_take isl_qpolynomial *qp1, __isl_take isl_qpolynomial *qp2);
141
 
 
142
142
int isl_qpolynomial_degree(__isl_keep isl_qpolynomial *poly);
143
143
__isl_give isl_qpolynomial *isl_qpolynomial_coeff(
144
144
        __isl_keep isl_qpolynomial *poly,
161
161
        __isl_take isl_pw_qpolynomial *pwqp,
162
162
        enum isl_dim_type type, unsigned first, unsigned n);
163
163
 
164
 
__isl_give isl_qpolynomial *isl_qpolynomial_opt_on_domain(
 
164
__isl_give isl_val *isl_qpolynomial_opt_on_domain(
165
165
        __isl_take isl_qpolynomial *qp, __isl_take isl_set *set, int max);
166
166
 
167
167
enum isl_fold isl_fold_type_negate(enum isl_fold type);
183
183
        __isl_take isl_qpolynomial_fold *fold1,
184
184
        __isl_take isl_qpolynomial_fold *fold2);
185
185
 
186
 
__isl_give isl_qpolynomial *isl_qpolynomial_fold_opt_on_domain(
 
186
__isl_give isl_val *isl_qpolynomial_fold_opt_on_domain(
187
187
        __isl_take isl_qpolynomial_fold *fold, __isl_take isl_set *set, int max);
188
188
 
189
189
int isl_pw_qpolynomial_fold_covers(__isl_keep isl_pw_qpolynomial_fold *pwf1,
219
219
__isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_realign_domain(
220
220
        __isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_reordering *r);
221
221
 
 
222
__isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_reset_space(
 
223
        __isl_take isl_pw_qpolynomial *pwqp, __isl_take isl_space *space);
222
224
__isl_give isl_qpolynomial *isl_qpolynomial_reset_domain_space(
223
225
        __isl_take isl_qpolynomial *qp, __isl_take isl_space *dim);
224
226
__isl_give isl_qpolynomial *isl_qpolynomial_reset_space_and_domain(
231
233
        __isl_take isl_space *domain);
232
234
__isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_reset_domain_space(
233
235
        __isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_space *dim);
 
236
 
 
237
void isl_qpolynomial_get_den(__isl_keep isl_qpolynomial *qp, isl_int *d);
 
238
__isl_give isl_qpolynomial *isl_qpolynomial_add_isl_int(
 
239
        __isl_take isl_qpolynomial *qp, isl_int v);
 
240
__isl_give isl_qpolynomial *isl_qpolynomial_mul_isl_int(
 
241
        __isl_take isl_qpolynomial *qp, isl_int v);
 
242
__isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_mul_isl_int(
 
243
        __isl_take isl_pw_qpolynomial *pwqp, isl_int v);
 
244
 
 
245
__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_mul_isl_int(
 
246
        __isl_take isl_qpolynomial_fold *fold, isl_int v);
 
247
__isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_mul_isl_int(
 
248
        __isl_take isl_pw_qpolynomial_fold *pwf, isl_int v);
 
249
__isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_mul_isl_int(
 
250
        __isl_take isl_union_pw_qpolynomial *upwqp, isl_int v);
 
251
__isl_give isl_union_pw_qpolynomial_fold *
 
252
isl_union_pw_qpolynomial_fold_mul_isl_int(
 
253
        __isl_take isl_union_pw_qpolynomial_fold *upwf, isl_int v);