Polly 22.0.0git
polynomial.h File Reference
#include <isl/ctx.h>
#include <isl/constraint.h>
#include <isl/space_type.h>
#include <isl/set_type.h>
#include <isl/point.h>
#include <isl/printer.h>
#include <isl/union_set_type.h>
#include <isl/aff_type.h>
#include <isl/polynomial_type.h>
#include <isl/val_type.h>

Go to the source code of this file.

Functions

isl_ctxisl_qpolynomial_get_ctx (__isl_keep isl_qpolynomial *qp)
__isl_give isl_spaceisl_qpolynomial_get_domain_space (__isl_keep isl_qpolynomial *qp)
__isl_give isl_spaceisl_qpolynomial_get_space (__isl_keep isl_qpolynomial *qp)
isl_size isl_qpolynomial_dim (__isl_keep isl_qpolynomial *qp, enum isl_dim_type type)
isl_bool isl_qpolynomial_involves_dims (__isl_keep isl_qpolynomial *qp, enum isl_dim_type type, unsigned first, unsigned n)
__isl_give isl_valisl_qpolynomial_get_constant_val (__isl_keep isl_qpolynomial *qp)
__isl_give isl_qpolynomialisl_qpolynomial_set_dim_name (__isl_take isl_qpolynomial *qp, enum isl_dim_type type, unsigned pos, const char *s)
__isl_give isl_qpolynomialisl_qpolynomial_zero_on_domain (__isl_take isl_space *domain)
__isl_give isl_qpolynomialisl_qpolynomial_one_on_domain (__isl_take isl_space *domain)
__isl_give isl_qpolynomialisl_qpolynomial_infty_on_domain (__isl_take isl_space *domain)
__isl_give isl_qpolynomialisl_qpolynomial_neginfty_on_domain (__isl_take isl_space *domain)
__isl_give isl_qpolynomialisl_qpolynomial_nan_on_domain (__isl_take isl_space *domain)
__isl_give isl_qpolynomialisl_qpolynomial_val_on_domain (__isl_take isl_space *space, __isl_take isl_val *val)
__isl_give isl_qpolynomialisl_qpolynomial_var_on_domain (__isl_take isl_space *domain, enum isl_dim_type type, unsigned pos)
__isl_give isl_qpolynomialisl_qpolynomial_copy (__isl_keep isl_qpolynomial *qp)
__isl_null isl_qpolynomialisl_qpolynomial_free (__isl_take isl_qpolynomial *qp)
isl_bool isl_qpolynomial_plain_is_equal (__isl_keep isl_qpolynomial *qp1, __isl_keep isl_qpolynomial *qp2)
isl_bool isl_qpolynomial_is_zero (__isl_keep isl_qpolynomial *qp)
isl_bool isl_qpolynomial_is_nan (__isl_keep isl_qpolynomial *qp)
isl_bool isl_qpolynomial_is_infty (__isl_keep isl_qpolynomial *qp)
isl_bool isl_qpolynomial_is_neginfty (__isl_keep isl_qpolynomial *qp)
int isl_qpolynomial_sgn (__isl_keep isl_qpolynomial *qp)
__isl_give isl_qpolynomialisl_qpolynomial_neg (__isl_take isl_qpolynomial *qp)
__isl_give isl_qpolynomialisl_qpolynomial_add (__isl_take isl_qpolynomial *qp1, __isl_take isl_qpolynomial *qp2)
__isl_give isl_qpolynomialisl_qpolynomial_sub (__isl_take isl_qpolynomial *qp1, __isl_take isl_qpolynomial *qp2)
__isl_give isl_qpolynomialisl_qpolynomial_mul (__isl_take isl_qpolynomial *qp1, __isl_take isl_qpolynomial *qp2)
__isl_give isl_qpolynomialisl_qpolynomial_pow (__isl_take isl_qpolynomial *qp, unsigned power)
__isl_give isl_qpolynomialisl_qpolynomial_scale_val (__isl_take isl_qpolynomial *qp, __isl_take isl_val *v)
__isl_give isl_qpolynomialisl_qpolynomial_scale_down_val (__isl_take isl_qpolynomial *qp, __isl_take isl_val *v)
__isl_give isl_qpolynomialisl_qpolynomial_insert_dims (__isl_take isl_qpolynomial *qp, enum isl_dim_type type, unsigned first, unsigned n)
__isl_give isl_qpolynomialisl_qpolynomial_add_dims (__isl_take isl_qpolynomial *qp, enum isl_dim_type type, unsigned n)
__isl_give isl_qpolynomialisl_qpolynomial_move_dims (__isl_take isl_qpolynomial *qp, enum isl_dim_type dst_type, unsigned dst_pos, enum isl_dim_type src_type, unsigned src_pos, unsigned n)
__isl_give isl_qpolynomialisl_qpolynomial_project_domain_on_params (__isl_take isl_qpolynomial *qp)
__isl_give isl_qpolynomialisl_qpolynomial_drop_dims (__isl_take isl_qpolynomial *qp, enum isl_dim_type type, unsigned first, unsigned n)
__isl_give isl_qpolynomialisl_qpolynomial_substitute (__isl_take isl_qpolynomial *qp, enum isl_dim_type type, unsigned first, unsigned n, __isl_keep isl_qpolynomial **subs)
isl_stat isl_qpolynomial_as_polynomial_on_domain (__isl_keep isl_qpolynomial *qp, __isl_keep isl_basic_set *bset, isl_stat(*fn)(__isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly, void *user), void *user)
__isl_give isl_qpolynomialisl_qpolynomial_homogenize (__isl_take isl_qpolynomial *poly)
__isl_give isl_qpolynomialisl_qpolynomial_align_params (__isl_take isl_qpolynomial *qp, __isl_take isl_space *model)
isl_ctxisl_term_get_ctx (__isl_keep isl_term *term)
__isl_give isl_termisl_term_copy (__isl_keep isl_term *term)
__isl_null isl_termisl_term_free (__isl_take isl_term *term)
isl_size isl_term_dim (__isl_keep isl_term *term, enum isl_dim_type type)
__isl_give isl_valisl_term_get_coefficient_val (__isl_keep isl_term *term)
isl_size isl_term_get_exp (__isl_keep isl_term *term, enum isl_dim_type type, unsigned pos)
__isl_give isl_affisl_term_get_div (__isl_keep isl_term *term, unsigned pos)
isl_stat isl_qpolynomial_foreach_term (__isl_keep isl_qpolynomial *qp, isl_stat(*fn)(__isl_take isl_term *term, void *user), void *user)
__isl_give isl_valisl_qpolynomial_eval (__isl_take isl_qpolynomial *qp, __isl_take isl_point *pnt)
__isl_give isl_qpolynomialisl_qpolynomial_gist_params (__isl_take isl_qpolynomial *qp, __isl_take isl_set *context)
__isl_give isl_qpolynomialisl_qpolynomial_gist (__isl_take isl_qpolynomial *qp, __isl_take isl_set *context)
__isl_give isl_qpolynomialisl_qpolynomial_from_constraint (__isl_take isl_constraint *c, enum isl_dim_type type, unsigned pos)
__isl_give isl_qpolynomialisl_qpolynomial_from_term (__isl_take isl_term *term)
__isl_give isl_qpolynomialisl_qpolynomial_from_aff (__isl_take isl_aff *aff)
__isl_give isl_basic_mapisl_basic_map_from_qpolynomial (__isl_take isl_qpolynomial *qp)
__isl_give isl_printerisl_printer_print_qpolynomial (__isl_take isl_printer *p, __isl_keep isl_qpolynomial *qp)
void isl_qpolynomial_print (__isl_keep isl_qpolynomial *qp, FILE *out, unsigned output_format)
void isl_qpolynomial_dump (__isl_keep isl_qpolynomial *qp)
isl_ctxisl_pw_qpolynomial_get_ctx (__isl_keep isl_pw_qpolynomial *pwqp)
isl_bool isl_pw_qpolynomial_involves_nan (__isl_keep isl_pw_qpolynomial *pwqp)
isl_bool isl_pw_qpolynomial_plain_is_equal (__isl_keep isl_pw_qpolynomial *pwqp1, __isl_keep isl_pw_qpolynomial *pwqp2)
__isl_give isl_pw_qpolynomialisl_pw_qpolynomial_zero (__isl_take isl_space *space)
__isl_give isl_pw_qpolynomialisl_pw_qpolynomial_alloc (__isl_take isl_set *set, __isl_take isl_qpolynomial *qp)
__isl_give isl_pw_qpolynomialisl_pw_qpolynomial_from_qpolynomial (__isl_take isl_qpolynomial *qp)
__isl_give isl_pw_qpolynomialisl_pw_qpolynomial_copy (__isl_keep isl_pw_qpolynomial *pwqp)
__isl_null isl_pw_qpolynomialisl_pw_qpolynomial_free (__isl_take isl_pw_qpolynomial *pwqp)
isl_bool isl_pw_qpolynomial_is_zero (__isl_keep isl_pw_qpolynomial *pwqp)
__isl_give isl_spaceisl_pw_qpolynomial_get_domain_space (__isl_keep isl_pw_qpolynomial *pwqp)
__isl_give isl_spaceisl_pw_qpolynomial_get_space (__isl_keep isl_pw_qpolynomial *pwqp)
__isl_give isl_pw_qpolynomialisl_pw_qpolynomial_reset_domain_space (__isl_take isl_pw_qpolynomial *pwqp, __isl_take isl_space *space)
isl_size isl_pw_qpolynomial_dim (__isl_keep isl_pw_qpolynomial *pwqp, enum isl_dim_type type)
isl_bool isl_pw_qpolynomial_involves_param_id (__isl_keep isl_pw_qpolynomial *pwqp, __isl_keep isl_id *id)
isl_bool isl_pw_qpolynomial_involves_dims (__isl_keep isl_pw_qpolynomial *pwqp, enum isl_dim_type type, unsigned first, unsigned n)
isl_bool isl_pw_qpolynomial_has_equal_space (__isl_keep isl_pw_qpolynomial *pwqp1, __isl_keep isl_pw_qpolynomial *pwqp2)
__isl_give isl_pw_qpolynomialisl_pw_qpolynomial_set_dim_name (__isl_take isl_pw_qpolynomial *pwqp, enum isl_dim_type type, unsigned pos, const char *s)
int isl_pw_qpolynomial_find_dim_by_name (__isl_keep isl_pw_qpolynomial *pwqp, enum isl_dim_type type, const char *name)
__isl_give isl_pw_qpolynomialisl_pw_qpolynomial_reset_user (__isl_take isl_pw_qpolynomial *pwqp)
__isl_export __isl_give isl_setisl_pw_qpolynomial_domain (__isl_take isl_pw_qpolynomial *pwqp)
__isl_give isl_pw_qpolynomialisl_pw_qpolynomial_intersect_domain (__isl_take isl_pw_qpolynomial *pwpq, __isl_take isl_set *set)
__isl_give isl_pw_qpolynomialisl_pw_qpolynomial_intersect_domain_wrapped_domain (__isl_take isl_pw_qpolynomial *pwpq, __isl_take isl_set *set)
__isl_give isl_pw_qpolynomialisl_pw_qpolynomial_intersect_domain_wrapped_range (__isl_take isl_pw_qpolynomial *pwpq, __isl_take isl_set *set)
__isl_give isl_pw_qpolynomialisl_pw_qpolynomial_intersect_params (__isl_take isl_pw_qpolynomial *pwpq, __isl_take isl_set *set)
__isl_give isl_pw_qpolynomialisl_pw_qpolynomial_subtract_domain (__isl_take isl_pw_qpolynomial *pwpq, __isl_take isl_set *set)
__isl_give isl_pw_qpolynomialisl_pw_qpolynomial_project_domain_on_params (__isl_take isl_pw_qpolynomial *pwqp)
__isl_give isl_pw_qpolynomialisl_pw_qpolynomial_from_range (__isl_take isl_pw_qpolynomial *pwqp)
__isl_give isl_pw_qpolynomialisl_pw_qpolynomial_drop_dims (__isl_take isl_pw_qpolynomial *pwqp, enum isl_dim_type type, unsigned first, unsigned n)
__isl_give isl_pw_qpolynomialisl_pw_qpolynomial_split_dims (__isl_take isl_pw_qpolynomial *pwqp, enum isl_dim_type type, unsigned first, unsigned n)
__isl_give isl_pw_qpolynomialisl_pw_qpolynomial_drop_unused_params (__isl_take isl_pw_qpolynomial *pwqp)
__isl_give isl_pw_qpolynomialisl_pw_qpolynomial_add (__isl_take isl_pw_qpolynomial *pwqp1, __isl_take isl_pw_qpolynomial *pwqp2)
__isl_give isl_pw_qpolynomialisl_pw_qpolynomial_sub (__isl_take isl_pw_qpolynomial *pwqp1, __isl_take isl_pw_qpolynomial *pwqp2)
__isl_give isl_pw_qpolynomialisl_pw_qpolynomial_add_disjoint (__isl_take isl_pw_qpolynomial *pwqp1, __isl_take isl_pw_qpolynomial *pwqp2)
__isl_give isl_pw_qpolynomialisl_pw_qpolynomial_neg (__isl_take isl_pw_qpolynomial *pwqp)
__isl_give isl_pw_qpolynomialisl_pw_qpolynomial_mul (__isl_take isl_pw_qpolynomial *pwqp1, __isl_take isl_pw_qpolynomial *pwqp2)
__isl_give isl_pw_qpolynomialisl_pw_qpolynomial_scale_val (__isl_take isl_pw_qpolynomial *pwqp, __isl_take isl_val *v)
__isl_give isl_pw_qpolynomialisl_pw_qpolynomial_scale_down_val (__isl_take isl_pw_qpolynomial *pwqp, __isl_take isl_val *v)
__isl_give isl_pw_qpolynomialisl_pw_qpolynomial_pow (__isl_take isl_pw_qpolynomial *pwqp, unsigned exponent)
__isl_give isl_pw_qpolynomialisl_pw_qpolynomial_insert_dims (__isl_take isl_pw_qpolynomial *pwqp, enum isl_dim_type type, unsigned first, unsigned n)
__isl_give isl_pw_qpolynomialisl_pw_qpolynomial_add_dims (__isl_take isl_pw_qpolynomial *pwqp, enum isl_dim_type type, unsigned n)
__isl_give isl_pw_qpolynomialisl_pw_qpolynomial_move_dims (__isl_take isl_pw_qpolynomial *pwqp, enum isl_dim_type dst_type, unsigned dst_pos, enum isl_dim_type src_type, unsigned src_pos, unsigned n)
__isl_give isl_pw_qpolynomialisl_pw_qpolynomial_fix_val (__isl_take isl_pw_qpolynomial *pwqp, enum isl_dim_type type, unsigned n, __isl_take isl_val *v)
__isl_export __isl_give isl_valisl_pw_qpolynomial_eval (__isl_take isl_pw_qpolynomial *pwqp, __isl_take isl_point *pnt)
__isl_give isl_valisl_pw_qpolynomial_max (__isl_take isl_pw_qpolynomial *pwqp)
__isl_give isl_valisl_pw_qpolynomial_min (__isl_take isl_pw_qpolynomial *pwqp)
isl_size isl_pw_qpolynomial_n_piece (__isl_keep isl_pw_qpolynomial *pwqp)
isl_stat isl_pw_qpolynomial_foreach_piece (__isl_keep isl_pw_qpolynomial *pwqp, isl_stat(*fn)(__isl_take isl_set *set, __isl_take isl_qpolynomial *qp, void *user), void *user)
isl_bool isl_pw_qpolynomial_every_piece (__isl_keep isl_pw_qpolynomial *pwqp, isl_bool(*test)(__isl_keep isl_set *set, __isl_keep isl_qpolynomial *qp, void *user), void *user)
isl_stat isl_pw_qpolynomial_foreach_lifted_piece (__isl_keep isl_pw_qpolynomial *pwqp, isl_stat(*fn)(__isl_take isl_set *set, __isl_take isl_qpolynomial *qp, void *user), void *user)
isl_bool isl_pw_qpolynomial_isa_qpolynomial (__isl_keep isl_pw_qpolynomial *pwqp)
__isl_give isl_qpolynomialisl_pw_qpolynomial_as_qpolynomial (__isl_take isl_pw_qpolynomial *pwqp)
__isl_give isl_pw_qpolynomialisl_pw_qpolynomial_from_pw_aff (__isl_take isl_pw_aff *pwaff)
__isl_constructor __isl_give isl_pw_qpolynomialisl_pw_qpolynomial_read_from_str (isl_ctx *ctx, const char *str)
__isl_give isl_pw_qpolynomialisl_pw_qpolynomial_read_from_file (isl_ctx *ctx, FILE *input)
__isl_give char * isl_pw_qpolynomial_to_str (__isl_keep isl_pw_qpolynomial *pwqp)
__isl_give isl_printerisl_printer_print_pw_qpolynomial (__isl_take isl_printer *p, __isl_keep isl_pw_qpolynomial *pwqp)
void isl_pw_qpolynomial_print (__isl_keep isl_pw_qpolynomial *pwqp, FILE *out, unsigned output_format)
void isl_pw_qpolynomial_dump (__isl_keep isl_pw_qpolynomial *pwqp)
__isl_give isl_pw_qpolynomialisl_pw_qpolynomial_coalesce (__isl_take isl_pw_qpolynomial *pwqp)
__isl_give isl_pw_qpolynomialisl_pw_qpolynomial_gist (__isl_take isl_pw_qpolynomial *pwqp, __isl_take isl_set *context)
__isl_give isl_pw_qpolynomialisl_pw_qpolynomial_gist_params (__isl_take isl_pw_qpolynomial *pwqp, __isl_take isl_set *context)
__isl_give isl_pw_qpolynomialisl_pw_qpolynomial_split_periods (__isl_take isl_pw_qpolynomial *pwqp, int max_periods)
__isl_give isl_pw_qpolynomialisl_basic_set_multiplicative_call (__isl_take isl_basic_set *bset, __isl_give isl_pw_qpolynomial *(*fn)(__isl_take isl_basic_set *bset))
isl_ctxisl_qpolynomial_fold_get_ctx (__isl_keep isl_qpolynomial_fold *fold)
enum isl_fold isl_qpolynomial_fold_get_type (__isl_keep isl_qpolynomial_fold *fold)
__isl_give isl_qpolynomial_foldisl_qpolynomial_fold_empty (enum isl_fold type, __isl_take isl_space *space)
__isl_give isl_qpolynomial_foldisl_qpolynomial_fold_alloc (enum isl_fold type, __isl_take isl_qpolynomial *qp)
__isl_give isl_qpolynomial_foldisl_qpolynomial_fold_copy (__isl_keep isl_qpolynomial_fold *fold)
__isl_null isl_qpolynomial_foldisl_qpolynomial_fold_free (__isl_take isl_qpolynomial_fold *fold)
isl_bool isl_qpolynomial_fold_is_empty (__isl_keep isl_qpolynomial_fold *fold)
isl_bool isl_qpolynomial_fold_is_nan (__isl_keep isl_qpolynomial_fold *fold)
isl_bool isl_qpolynomial_fold_plain_is_equal (__isl_keep isl_qpolynomial_fold *fold1, __isl_keep isl_qpolynomial_fold *fold2)
__isl_give isl_spaceisl_qpolynomial_fold_get_domain_space (__isl_keep isl_qpolynomial_fold *fold)
__isl_give isl_spaceisl_qpolynomial_fold_get_space (__isl_keep isl_qpolynomial_fold *fold)
__isl_give isl_qpolynomial_foldisl_qpolynomial_fold_fold (__isl_take isl_qpolynomial_fold *fold1, __isl_take isl_qpolynomial_fold *fold2)
__isl_give isl_qpolynomial_foldisl_qpolynomial_fold_scale_val (__isl_take isl_qpolynomial_fold *fold, __isl_take isl_val *v)
__isl_give isl_qpolynomial_foldisl_qpolynomial_fold_scale_down_val (__isl_take isl_qpolynomial_fold *fold, __isl_take isl_val *v)
__isl_give isl_qpolynomial_foldisl_qpolynomial_fold_move_dims (__isl_take isl_qpolynomial_fold *fold, enum isl_dim_type dst_type, unsigned dst_pos, enum isl_dim_type src_type, unsigned src_pos, unsigned n)
__isl_give isl_qpolynomial_foldisl_qpolynomial_fold_substitute (__isl_take isl_qpolynomial_fold *fold, enum isl_dim_type type, unsigned first, unsigned n, __isl_keep isl_qpolynomial **subs)
__isl_give isl_pw_qpolynomial_foldisl_pw_qpolynomial_fold_fix_val (__isl_take isl_pw_qpolynomial_fold *pwf, enum isl_dim_type type, unsigned n, __isl_take isl_val *v)
__isl_give isl_valisl_qpolynomial_fold_eval (__isl_take isl_qpolynomial_fold *fold, __isl_take isl_point *pnt)
__isl_give isl_qpolynomial_foldisl_qpolynomial_fold_gist_params (__isl_take isl_qpolynomial_fold *fold, __isl_take isl_set *context)
__isl_give isl_qpolynomial_foldisl_qpolynomial_fold_gist (__isl_take isl_qpolynomial_fold *fold, __isl_take isl_set *context)
isl_stat isl_qpolynomial_fold_foreach_qpolynomial (__isl_keep isl_qpolynomial_fold *fold, isl_stat(*fn)(__isl_take isl_qpolynomial *qp, void *user), void *user)
__isl_give isl_printerisl_printer_print_qpolynomial_fold (__isl_take isl_printer *p, __isl_keep isl_qpolynomial_fold *fold)
void isl_qpolynomial_fold_print (__isl_keep isl_qpolynomial_fold *fold, FILE *out, unsigned output_format)
void isl_qpolynomial_fold_dump (__isl_keep isl_qpolynomial_fold *fold)
isl_ctxisl_pw_qpolynomial_fold_get_ctx (__isl_keep isl_pw_qpolynomial_fold *pwf)
enum isl_fold isl_pw_qpolynomial_fold_get_type (__isl_keep isl_pw_qpolynomial_fold *pwf)
isl_bool isl_pw_qpolynomial_fold_involves_nan (__isl_keep isl_pw_qpolynomial_fold *pwf)
isl_bool isl_pw_qpolynomial_fold_plain_is_equal (__isl_keep isl_pw_qpolynomial_fold *pwf1, __isl_keep isl_pw_qpolynomial_fold *pwf2)
__isl_give isl_pw_qpolynomial_foldisl_pw_qpolynomial_fold_from_pw_qpolynomial (enum isl_fold type, __isl_take isl_pw_qpolynomial *pwqp)
__isl_give isl_pw_qpolynomial_foldisl_pw_qpolynomial_fold_alloc (enum isl_fold type, __isl_take isl_set *set, __isl_take isl_qpolynomial_fold *fold)
__isl_give isl_pw_qpolynomial_foldisl_pw_qpolynomial_fold_from_qpolynomial_fold (__isl_take isl_qpolynomial_fold *fold)
__isl_give isl_pw_qpolynomial_foldisl_pw_qpolynomial_fold_copy (__isl_keep isl_pw_qpolynomial_fold *pwf)
__isl_null isl_pw_qpolynomial_foldisl_pw_qpolynomial_fold_free (__isl_take isl_pw_qpolynomial_fold *pwf)
isl_bool isl_pw_qpolynomial_fold_is_zero (__isl_keep isl_pw_qpolynomial_fold *pwf)
__isl_give isl_spaceisl_pw_qpolynomial_fold_get_domain_space (__isl_keep isl_pw_qpolynomial_fold *pwf)
__isl_give isl_spaceisl_pw_qpolynomial_fold_get_space (__isl_keep isl_pw_qpolynomial_fold *pwf)
__isl_give isl_pw_qpolynomial_foldisl_pw_qpolynomial_fold_reset_space (__isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_space *space)
isl_size isl_pw_qpolynomial_fold_dim (__isl_keep isl_pw_qpolynomial_fold *pwf, enum isl_dim_type type)
isl_bool isl_pw_qpolynomial_fold_involves_param_id (__isl_keep isl_pw_qpolynomial_fold *pwf, __isl_keep isl_id *id)
isl_bool isl_pw_qpolynomial_fold_has_equal_space (__isl_keep isl_pw_qpolynomial_fold *pwf1, __isl_keep isl_pw_qpolynomial_fold *pwf2)
size_t isl_pw_qpolynomial_fold_size (__isl_keep isl_pw_qpolynomial_fold *pwf)
__isl_give isl_pw_qpolynomial_foldisl_pw_qpolynomial_fold_zero (__isl_take isl_space *space, enum isl_fold type)
__isl_give isl_pw_qpolynomial_foldisl_pw_qpolynomial_fold_set_dim_name (__isl_take isl_pw_qpolynomial_fold *pwf, enum isl_dim_type type, unsigned pos, const char *s)
int isl_pw_qpolynomial_fold_find_dim_by_name (__isl_keep isl_pw_qpolynomial_fold *pwf, enum isl_dim_type type, const char *name)
__isl_give isl_pw_qpolynomial_foldisl_pw_qpolynomial_fold_reset_user (__isl_take isl_pw_qpolynomial_fold *pwf)
__isl_give isl_setisl_pw_qpolynomial_fold_domain (__isl_take isl_pw_qpolynomial_fold *pwf)
__isl_give isl_pw_qpolynomial_foldisl_pw_qpolynomial_fold_intersect_domain (__isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_set *set)
__isl_give isl_pw_qpolynomial_foldisl_pw_qpolynomial_fold_intersect_domain_wrapped_domain (__isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_set *set)
__isl_give isl_pw_qpolynomial_foldisl_pw_qpolynomial_fold_intersect_domain_wrapped_range (__isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_set *set)
__isl_give isl_pw_qpolynomial_foldisl_pw_qpolynomial_fold_intersect_params (__isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_set *set)
__isl_give isl_pw_qpolynomial_foldisl_pw_qpolynomial_fold_subtract_domain (__isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_set *set)
__isl_give isl_pw_qpolynomial_foldisl_pw_qpolynomial_fold_add (__isl_take isl_pw_qpolynomial_fold *pwf1, __isl_take isl_pw_qpolynomial_fold *pwf2)
__isl_give isl_pw_qpolynomial_foldisl_pw_qpolynomial_fold_fold (__isl_take isl_pw_qpolynomial_fold *pwf1, __isl_take isl_pw_qpolynomial_fold *pwf2)
__isl_give isl_pw_qpolynomial_foldisl_pw_qpolynomial_fold_add_disjoint (__isl_take isl_pw_qpolynomial_fold *pwf1, __isl_take isl_pw_qpolynomial_fold *pwf2)
__isl_give isl_pw_qpolynomial_foldisl_pw_qpolynomial_fold_scale_val (__isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_val *v)
__isl_give isl_pw_qpolynomial_foldisl_pw_qpolynomial_fold_scale_down_val (__isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_val *v)
__isl_give isl_pw_qpolynomial_foldisl_pw_qpolynomial_fold_project_domain_on_params (__isl_take isl_pw_qpolynomial_fold *pwf)
__isl_give isl_pw_qpolynomial_foldisl_pw_qpolynomial_fold_from_range (__isl_take isl_pw_qpolynomial_fold *pwf)
__isl_give isl_pw_qpolynomial_foldisl_pw_qpolynomial_fold_drop_dims (__isl_take isl_pw_qpolynomial_fold *pwf, enum isl_dim_type type, unsigned first, unsigned n)
__isl_give isl_pw_qpolynomial_foldisl_pw_qpolynomial_fold_move_dims (__isl_take isl_pw_qpolynomial_fold *pwf, enum isl_dim_type dst_type, unsigned dst_pos, enum isl_dim_type src_type, unsigned src_pos, unsigned n)
__isl_give isl_pw_qpolynomial_foldisl_pw_qpolynomial_fold_drop_unused_params (__isl_take isl_pw_qpolynomial_fold *pwf)
__isl_give isl_valisl_pw_qpolynomial_fold_eval (__isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_point *pnt)
isl_size isl_pw_qpolynomial_fold_n_piece (__isl_keep isl_pw_qpolynomial_fold *pwf)
isl_stat isl_pw_qpolynomial_fold_foreach_piece (__isl_keep isl_pw_qpolynomial_fold *pwf, isl_stat(*fn)(__isl_take isl_set *set, __isl_take isl_qpolynomial_fold *fold, void *user), void *user)
isl_bool isl_pw_qpolynomial_fold_every_piece (__isl_keep isl_pw_qpolynomial_fold *pwf, isl_bool(*test)(__isl_keep isl_set *set, __isl_keep isl_qpolynomial_fold *fold, void *user), void *user)
isl_stat isl_pw_qpolynomial_fold_foreach_lifted_piece (__isl_keep isl_pw_qpolynomial_fold *pwf, isl_stat(*fn)(__isl_take isl_set *set, __isl_take isl_qpolynomial_fold *fold, void *user), void *user)
isl_bool isl_pw_qpolynomial_fold_isa_qpolynomial_fold (__isl_keep isl_pw_qpolynomial_fold *pwf)
__isl_give isl_qpolynomial_foldisl_pw_qpolynomial_fold_as_qpolynomial_fold (__isl_take isl_pw_qpolynomial_fold *pwf)
__isl_give isl_pw_qpolynomial_foldisl_pw_qpolynomial_fold_read_from_str (isl_ctx *ctx, const char *str)
__isl_give isl_printerisl_printer_print_pw_qpolynomial_fold (__isl_take isl_printer *p, __isl_keep isl_pw_qpolynomial_fold *pwf)
void isl_pw_qpolynomial_fold_print (__isl_keep isl_pw_qpolynomial_fold *pwf, FILE *out, unsigned output_format)
void isl_pw_qpolynomial_fold_dump (__isl_keep isl_pw_qpolynomial_fold *pwf)
__isl_give isl_pw_qpolynomial_foldisl_pw_qpolynomial_fold_coalesce (__isl_take isl_pw_qpolynomial_fold *pwf)
__isl_give isl_pw_qpolynomial_foldisl_pw_qpolynomial_fold_gist (__isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_set *context)
__isl_give isl_pw_qpolynomial_foldisl_pw_qpolynomial_fold_gist_params (__isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_set *context)
__isl_give isl_valisl_pw_qpolynomial_fold_max (__isl_take isl_pw_qpolynomial_fold *pwf)
__isl_give isl_valisl_pw_qpolynomial_fold_min (__isl_take isl_pw_qpolynomial_fold *pwf)
__isl_give isl_pw_qpolynomial_foldisl_pw_qpolynomial_bound (__isl_take isl_pw_qpolynomial *pwqp, enum isl_fold type, isl_bool *tight)
__isl_give isl_pw_qpolynomial_foldisl_pw_qpolynomial_fold_bound (__isl_take isl_pw_qpolynomial_fold *pwf, isl_bool *tight)
__isl_give isl_pw_qpolynomial_foldisl_set_apply_pw_qpolynomial_fold (__isl_take isl_set *set, __isl_take isl_pw_qpolynomial_fold *pwf, isl_bool *tight)
__isl_give isl_pw_qpolynomial_foldisl_map_apply_pw_qpolynomial_fold (__isl_take isl_map *map, __isl_take isl_pw_qpolynomial_fold *pwf, isl_bool *tight)
__isl_give isl_pw_qpolynomialisl_pw_qpolynomial_to_polynomial (__isl_take isl_pw_qpolynomial *pwqp, int sign)
isl_ctxisl_union_pw_qpolynomial_get_ctx (__isl_keep isl_union_pw_qpolynomial *upwqp)
isl_size isl_union_pw_qpolynomial_dim (__isl_keep isl_union_pw_qpolynomial *upwqp, enum isl_dim_type type)
isl_bool isl_union_pw_qpolynomial_involves_nan (__isl_keep isl_union_pw_qpolynomial *upwqp)
isl_bool isl_union_pw_qpolynomial_plain_is_equal (__isl_keep isl_union_pw_qpolynomial *upwqp1, __isl_keep isl_union_pw_qpolynomial *upwqp2)
__isl_give isl_union_pw_qpolynomialisl_pw_qpolynomial_to_union_pw_qpolynomial (__isl_take isl_pw_qpolynomial *pwqp)
__isl_give isl_union_pw_qpolynomialisl_union_pw_qpolynomial_from_pw_qpolynomial (__isl_take isl_pw_qpolynomial *pwqp)
__isl_give isl_union_pw_qpolynomialisl_union_pw_qpolynomial_zero_ctx (isl_ctx *ctx)
__isl_give isl_union_pw_qpolynomialisl_union_pw_qpolynomial_zero_space (__isl_take isl_space *space)
__isl_give isl_union_pw_qpolynomialisl_union_pw_qpolynomial_zero (__isl_take isl_space *space)
__isl_give isl_union_pw_qpolynomialisl_union_pw_qpolynomial_add_pw_qpolynomial (__isl_take isl_union_pw_qpolynomial *upwqp, __isl_take isl_pw_qpolynomial *pwqp)
__isl_give isl_union_pw_qpolynomialisl_union_pw_qpolynomial_copy (__isl_keep isl_union_pw_qpolynomial *upwqp)
__isl_null isl_union_pw_qpolynomialisl_union_pw_qpolynomial_free (__isl_take isl_union_pw_qpolynomial *upwqp)
__isl_constructor __isl_give isl_union_pw_qpolynomialisl_union_pw_qpolynomial_read_from_str (isl_ctx *ctx, const char *str)
__isl_give char * isl_union_pw_qpolynomial_to_str (__isl_keep isl_union_pw_qpolynomial *upwqp)
__isl_give isl_union_pw_qpolynomialisl_union_pw_qpolynomial_neg (__isl_take isl_union_pw_qpolynomial *upwqp)
__isl_give isl_union_pw_qpolynomialisl_union_pw_qpolynomial_add (__isl_take isl_union_pw_qpolynomial *upwqp1, __isl_take isl_union_pw_qpolynomial *upwqp2)
__isl_give isl_union_pw_qpolynomialisl_union_pw_qpolynomial_sub (__isl_take isl_union_pw_qpolynomial *upwqp1, __isl_take isl_union_pw_qpolynomial *upwqp2)
__isl_give isl_union_pw_qpolynomialisl_union_pw_qpolynomial_mul (__isl_take isl_union_pw_qpolynomial *upwqp1, __isl_take isl_union_pw_qpolynomial *upwqp2)
__isl_give isl_union_pw_qpolynomialisl_union_pw_qpolynomial_scale_val (__isl_take isl_union_pw_qpolynomial *upwqp, __isl_take isl_val *v)
__isl_give isl_union_pw_qpolynomialisl_union_pw_qpolynomial_scale_down_val (__isl_take isl_union_pw_qpolynomial *upwqp, __isl_take isl_val *v)
__isl_export __isl_give isl_union_setisl_union_pw_qpolynomial_domain (__isl_take isl_union_pw_qpolynomial *upwqp)
__isl_give isl_union_pw_qpolynomialisl_union_pw_qpolynomial_intersect_domain_space (__isl_take isl_union_pw_qpolynomial *upwpq, __isl_take isl_space *space)
__isl_give isl_union_pw_qpolynomialisl_union_pw_qpolynomial_intersect_domain_union_set (__isl_take isl_union_pw_qpolynomial *upwpq, __isl_take isl_union_set *uset)
__isl_give isl_union_pw_qpolynomialisl_union_pw_qpolynomial_intersect_domain (__isl_take isl_union_pw_qpolynomial *upwpq, __isl_take isl_union_set *uset)
__isl_give isl_union_pw_qpolynomialisl_union_pw_qpolynomial_intersect_domain_wrapped_domain (__isl_take isl_union_pw_qpolynomial *upwpq, __isl_take isl_union_set *uset)
__isl_give isl_union_pw_qpolynomialisl_union_pw_qpolynomial_intersect_domain_wrapped_range (__isl_take isl_union_pw_qpolynomial *upwpq, __isl_take isl_union_set *uset)
__isl_give isl_union_pw_qpolynomialisl_union_pw_qpolynomial_intersect_params (__isl_take isl_union_pw_qpolynomial *upwpq, __isl_take isl_set *set)
__isl_give isl_union_pw_qpolynomialisl_union_pw_qpolynomial_subtract_domain_union_set (__isl_take isl_union_pw_qpolynomial *upwpq, __isl_take isl_union_set *uset)
__isl_give isl_union_pw_qpolynomialisl_union_pw_qpolynomial_subtract_domain_space (__isl_take isl_union_pw_qpolynomial *upwpq, __isl_take isl_space *space)
__isl_give isl_union_pw_qpolynomialisl_union_pw_qpolynomial_subtract_domain (__isl_take isl_union_pw_qpolynomial *upwpq, __isl_take isl_union_set *uset)
__isl_give isl_spaceisl_union_pw_qpolynomial_get_space (__isl_keep isl_union_pw_qpolynomial *upwqp)
__isl_give isl_pw_qpolynomial_list * isl_union_pw_qpolynomial_get_pw_qpolynomial_list (__isl_keep isl_union_pw_qpolynomial *upwqp)
__isl_give isl_union_pw_qpolynomialisl_union_pw_qpolynomial_set_dim_name (__isl_take isl_union_pw_qpolynomial *upwqp, enum isl_dim_type type, unsigned pos, const char *s)
int isl_union_pw_qpolynomial_find_dim_by_name (__isl_keep isl_union_pw_qpolynomial *upwqp, enum isl_dim_type type, const char *name)
__isl_give isl_union_pw_qpolynomialisl_union_pw_qpolynomial_drop_dims (__isl_take isl_union_pw_qpolynomial *upwqp, enum isl_dim_type type, unsigned first, unsigned n)
__isl_give isl_union_pw_qpolynomialisl_union_pw_qpolynomial_reset_user (__isl_take isl_union_pw_qpolynomial *upwqp)
__isl_export __isl_give isl_valisl_union_pw_qpolynomial_eval (__isl_take isl_union_pw_qpolynomial *upwqp, __isl_take isl_point *pnt)
__isl_give isl_union_pw_qpolynomialisl_union_pw_qpolynomial_coalesce (__isl_take isl_union_pw_qpolynomial *upwqp)
__isl_give isl_union_pw_qpolynomialisl_union_pw_qpolynomial_gist (__isl_take isl_union_pw_qpolynomial *upwqp, __isl_take isl_union_set *context)
__isl_give isl_union_pw_qpolynomialisl_union_pw_qpolynomial_gist_params (__isl_take isl_union_pw_qpolynomial *upwqp, __isl_take isl_set *context)
__isl_give isl_union_pw_qpolynomialisl_union_pw_qpolynomial_align_params (__isl_take isl_union_pw_qpolynomial *upwqp, __isl_take isl_space *model)
isl_size isl_union_pw_qpolynomial_n_pw_qpolynomial (__isl_keep isl_union_pw_qpolynomial *upwqp)
isl_stat isl_union_pw_qpolynomial_foreach_pw_qpolynomial (__isl_keep isl_union_pw_qpolynomial *upwqp, isl_stat(*fn)(__isl_take isl_pw_qpolynomial *pwqp, void *user), void *user)
isl_bool isl_union_pw_qpolynomial_every_pw_qpolynomial (__isl_keep isl_union_pw_qpolynomial *upwqp, isl_bool(*test)(__isl_keep isl_pw_qpolynomial *pwqp, void *user), void *user)
__isl_give isl_pw_qpolynomialisl_union_pw_qpolynomial_extract_pw_qpolynomial (__isl_keep isl_union_pw_qpolynomial *upwqp, __isl_take isl_space *space)
__isl_give isl_printerisl_printer_print_union_pw_qpolynomial (__isl_take isl_printer *p, __isl_keep isl_union_pw_qpolynomial *upwqp)
isl_ctxisl_union_pw_qpolynomial_fold_get_ctx (__isl_keep isl_union_pw_qpolynomial_fold *upwf)
isl_size isl_union_pw_qpolynomial_fold_dim (__isl_keep isl_union_pw_qpolynomial_fold *upwf, enum isl_dim_type type)
isl_bool isl_union_pw_qpolynomial_fold_involves_nan (__isl_keep isl_union_pw_qpolynomial_fold *upwf)
isl_bool isl_union_pw_qpolynomial_fold_plain_is_equal (__isl_keep isl_union_pw_qpolynomial_fold *upwf1, __isl_keep isl_union_pw_qpolynomial_fold *upwf2)
__isl_give isl_union_pw_qpolynomial_foldisl_pw_qpolynomial_fold_to_union_pw_qpolynomial_fold (__isl_take isl_pw_qpolynomial_fold *pwf)
__isl_give isl_union_pw_qpolynomial_foldisl_union_pw_qpolynomial_fold_from_pw_qpolynomial_fold (__isl_take isl_pw_qpolynomial_fold *pwf)
__isl_give isl_union_pw_qpolynomial_foldisl_union_pw_qpolynomial_fold_zero_ctx (isl_ctx *ctx, enum isl_fold type)
__isl_give isl_union_pw_qpolynomial_foldisl_union_pw_qpolynomial_fold_zero_space (__isl_take isl_space *space, enum isl_fold type)
__isl_give isl_union_pw_qpolynomial_foldisl_union_pw_qpolynomial_fold_zero (__isl_take isl_space *space, enum isl_fold type)
__isl_give isl_union_pw_qpolynomial_foldisl_union_pw_qpolynomial_fold_fold_pw_qpolynomial_fold (__isl_take isl_union_pw_qpolynomial_fold *upwqp, __isl_take isl_pw_qpolynomial_fold *pwqp)
__isl_null isl_union_pw_qpolynomial_foldisl_union_pw_qpolynomial_fold_free (__isl_take isl_union_pw_qpolynomial_fold *upwf)
__isl_give isl_union_pw_qpolynomial_foldisl_union_pw_qpolynomial_fold_copy (__isl_keep isl_union_pw_qpolynomial_fold *upwf)
__isl_give isl_union_pw_qpolynomial_foldisl_union_pw_qpolynomial_fold_fold (__isl_take isl_union_pw_qpolynomial_fold *upwf1, __isl_take isl_union_pw_qpolynomial_fold *upwf2)
__isl_give isl_union_pw_qpolynomial_foldisl_union_pw_qpolynomial_fold_add_union_pw_qpolynomial (__isl_take isl_union_pw_qpolynomial_fold *upwf, __isl_take isl_union_pw_qpolynomial *upwqp)
__isl_give isl_union_pw_qpolynomial_foldisl_union_pw_qpolynomial_fold_scale_val (__isl_take isl_union_pw_qpolynomial_fold *upwf, __isl_take isl_val *v)
__isl_give isl_union_pw_qpolynomial_foldisl_union_pw_qpolynomial_fold_scale_down_val (__isl_take isl_union_pw_qpolynomial_fold *upwf, __isl_take isl_val *v)
__isl_give isl_union_setisl_union_pw_qpolynomial_fold_domain (__isl_take isl_union_pw_qpolynomial_fold *upwf)
__isl_give isl_union_pw_qpolynomial_foldisl_union_pw_qpolynomial_fold_intersect_domain_space (__isl_take isl_union_pw_qpolynomial_fold *upwf, __isl_take isl_space *space)
__isl_give isl_union_pw_qpolynomial_foldisl_union_pw_qpolynomial_fold_intersect_domain_union_set (__isl_take isl_union_pw_qpolynomial_fold *upwf, __isl_take isl_union_set *uset)
__isl_give isl_union_pw_qpolynomial_foldisl_union_pw_qpolynomial_fold_intersect_domain (__isl_take isl_union_pw_qpolynomial_fold *upwf, __isl_take isl_union_set *uset)
__isl_give isl_union_pw_qpolynomial_foldisl_union_pw_qpolynomial_fold_intersect_domain_wrapped_domain (__isl_take isl_union_pw_qpolynomial_fold *upwf, __isl_take isl_union_set *uset)
__isl_give isl_union_pw_qpolynomial_foldisl_union_pw_qpolynomial_fold_intersect_domain_wrapped_range (__isl_take isl_union_pw_qpolynomial_fold *upwf, __isl_take isl_union_set *uset)
__isl_give isl_union_pw_qpolynomial_foldisl_union_pw_qpolynomial_fold_intersect_params (__isl_take isl_union_pw_qpolynomial_fold *upwf, __isl_take isl_set *set)
__isl_give isl_union_pw_qpolynomial_foldisl_union_pw_qpolynomial_fold_subtract_domain_union_set (__isl_take isl_union_pw_qpolynomial_fold *upwf, __isl_take isl_union_set *uset)
__isl_give isl_union_pw_qpolynomial_foldisl_union_pw_qpolynomial_fold_subtract_domain_space (__isl_take isl_union_pw_qpolynomial_fold *upwf, __isl_take isl_space *space)
__isl_give isl_union_pw_qpolynomial_foldisl_union_pw_qpolynomial_fold_subtract_domain (__isl_take isl_union_pw_qpolynomial_fold *upwf, __isl_take isl_union_set *uset)
enum isl_fold isl_union_pw_qpolynomial_fold_get_type (__isl_keep isl_union_pw_qpolynomial_fold *upwf)
__isl_give isl_spaceisl_union_pw_qpolynomial_fold_get_space (__isl_keep isl_union_pw_qpolynomial_fold *upwf)
__isl_give isl_pw_qpolynomial_fold_list * isl_union_pw_qpolynomial_fold_get_pw_qpolynomial_fold_list (__isl_keep isl_union_pw_qpolynomial_fold *upwf)
__isl_give isl_union_pw_qpolynomial_foldisl_union_pw_qpolynomial_fold_set_dim_name (__isl_take isl_union_pw_qpolynomial_fold *upwf, enum isl_dim_type type, unsigned pos, const char *s)
int isl_union_pw_qpolynomial_fold_find_dim_by_name (__isl_keep isl_union_pw_qpolynomial_fold *upwf, enum isl_dim_type type, const char *name)
__isl_give isl_union_pw_qpolynomial_foldisl_union_pw_qpolynomial_fold_drop_dims (__isl_take isl_union_pw_qpolynomial_fold *upwf, enum isl_dim_type type, unsigned first, unsigned n)
__isl_give isl_union_pw_qpolynomial_foldisl_union_pw_qpolynomial_fold_reset_user (__isl_take isl_union_pw_qpolynomial_fold *upwf)
__isl_give isl_valisl_union_pw_qpolynomial_fold_eval (__isl_take isl_union_pw_qpolynomial_fold *upwf, __isl_take isl_point *pnt)
__isl_give isl_union_pw_qpolynomial_foldisl_union_pw_qpolynomial_fold_coalesce (__isl_take isl_union_pw_qpolynomial_fold *upwf)
__isl_give isl_union_pw_qpolynomial_foldisl_union_pw_qpolynomial_fold_gist (__isl_take isl_union_pw_qpolynomial_fold *upwf, __isl_take isl_union_set *context)
__isl_give isl_union_pw_qpolynomial_foldisl_union_pw_qpolynomial_fold_gist_params (__isl_take isl_union_pw_qpolynomial_fold *upwf, __isl_take isl_set *context)
__isl_give isl_union_pw_qpolynomial_foldisl_union_pw_qpolynomial_fold_align_params (__isl_take isl_union_pw_qpolynomial_fold *upwf, __isl_take isl_space *model)
isl_size isl_union_pw_qpolynomial_fold_n_pw_qpolynomial_fold (__isl_keep isl_union_pw_qpolynomial_fold *upwf)
isl_stat isl_union_pw_qpolynomial_fold_foreach_pw_qpolynomial_fold (__isl_keep isl_union_pw_qpolynomial_fold *upwf, isl_stat(*fn)(__isl_take isl_pw_qpolynomial_fold *pwf, void *user), void *user)
isl_bool isl_union_pw_qpolynomial_fold_every_pw_qpolynomial_fold (__isl_keep isl_union_pw_qpolynomial_fold *upwf, isl_bool(*test)(__isl_keep isl_pw_qpolynomial_fold *pwf, void *user), void *user)
__isl_give isl_pw_qpolynomial_foldisl_union_pw_qpolynomial_fold_extract_pw_qpolynomial_fold (__isl_keep isl_union_pw_qpolynomial_fold *upwf, __isl_take isl_space *space)
__isl_give isl_printerisl_printer_print_union_pw_qpolynomial_fold (__isl_take isl_printer *p, __isl_keep isl_union_pw_qpolynomial_fold *upwf)
__isl_give isl_union_pw_qpolynomial_foldisl_union_pw_qpolynomial_bound (__isl_take isl_union_pw_qpolynomial *upwqp, enum isl_fold type, isl_bool *tight)
__isl_give isl_union_pw_qpolynomial_foldisl_union_set_apply_union_pw_qpolynomial_fold (__isl_take isl_union_set *uset, __isl_take isl_union_pw_qpolynomial_fold *upwf, isl_bool *tight)
__isl_give isl_union_pw_qpolynomial_foldisl_union_map_apply_union_pw_qpolynomial_fold (__isl_take isl_union_map *umap, __isl_take isl_union_pw_qpolynomial_fold *upwf, isl_bool *tight)
__isl_give isl_union_pw_qpolynomialisl_union_pw_qpolynomial_to_polynomial (__isl_take isl_union_pw_qpolynomial *upwqp, int sign)

Function Documentation

◆ isl_basic_map_from_qpolynomial()

◆ isl_basic_set_multiplicative_call()

◆ isl_map_apply_pw_qpolynomial_fold()

◆ isl_printer_print_pw_qpolynomial()

◆ isl_printer_print_pw_qpolynomial_fold()

◆ isl_printer_print_qpolynomial()

◆ isl_printer_print_qpolynomial_fold()

◆ isl_printer_print_union_pw_qpolynomial()

__isl_give isl_printer * isl_printer_print_union_pw_qpolynomial ( __isl_take isl_printer * p,
__isl_keep isl_union_pw_qpolynomial * upwqp )

◆ isl_printer_print_union_pw_qpolynomial_fold()

__isl_give isl_printer * isl_printer_print_union_pw_qpolynomial_fold ( __isl_take isl_printer * p,
__isl_keep isl_union_pw_qpolynomial_fold * upwf )

◆ isl_pw_qpolynomial_add()

Definition at line 3147 of file isl_polynomial.c.

References __isl_give, and __isl_take.

Referenced by isl_obj_pw_qp_add(), and read_term().

◆ isl_pw_qpolynomial_add_dims()

__isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_add_dims ( __isl_take isl_pw_qpolynomial * pwqp,
enum isl_dim_type type,
unsigned n )

References __isl_give, __isl_take, n, pwqp, and type.

◆ isl_pw_qpolynomial_add_disjoint()

◆ isl_pw_qpolynomial_alloc()

◆ isl_pw_qpolynomial_as_qpolynomial()

__isl_give isl_qpolynomial * isl_pw_qpolynomial_as_qpolynomial ( __isl_take isl_pw_qpolynomial * pwqp)

◆ isl_pw_qpolynomial_bound()

◆ isl_pw_qpolynomial_coalesce()

__isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_coalesce ( __isl_take isl_pw_qpolynomial * pwqp)

References __isl_give, __isl_take, and pwqp.

Referenced by test_pwqp().

◆ isl_pw_qpolynomial_copy()

__isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_copy ( __isl_keep isl_pw_qpolynomial * pwqp)

References __isl_give, __isl_keep, and pwqp.

Referenced by isl_obj_pw_qp_copy().

◆ isl_pw_qpolynomial_dim()

isl_size isl_pw_qpolynomial_dim ( __isl_keep isl_pw_qpolynomial * pwqp,
enum isl_dim_type type )

References __isl_keep, pwqp, and type.

Referenced by bernstein_coefficients_recursive().

◆ isl_pw_qpolynomial_domain()

__isl_export __isl_give isl_set * isl_pw_qpolynomial_domain ( __isl_take isl_pw_qpolynomial * pwqp)

References __isl_give, __isl_take, isl_set, and pwqp.

◆ isl_pw_qpolynomial_drop_dims()

__isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_drop_dims ( __isl_take isl_pw_qpolynomial * pwqp,
enum isl_dim_type type,
unsigned first,
unsigned n )

References __isl_give, __isl_take, n, pwqp, and type.

◆ isl_pw_qpolynomial_drop_unused_params()

__isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_drop_unused_params ( __isl_take isl_pw_qpolynomial * pwqp)

References __isl_give, __isl_take, and pwqp.

◆ isl_pw_qpolynomial_dump()

void isl_pw_qpolynomial_dump ( __isl_keep isl_pw_qpolynomial * pwqp)

References __isl_keep, and pwqp.

◆ isl_pw_qpolynomial_eval()

__isl_export __isl_give isl_val * isl_pw_qpolynomial_eval ( __isl_take isl_pw_qpolynomial * pwqp,
__isl_take isl_point * pnt )

References __isl_give, __isl_take, and pwqp.

Referenced by test_eval_3().

◆ isl_pw_qpolynomial_every_piece()

isl_bool isl_pw_qpolynomial_every_piece ( __isl_keep isl_pw_qpolynomial * pwqp,
isl_bool(* test )(__isl_keep isl_set *set, __isl_keep isl_qpolynomial *qp, void *user),
void * user )

References __isl_keep, isl_set, pwqp, set, test, and user.

◆ isl_pw_qpolynomial_find_dim_by_name()

int isl_pw_qpolynomial_find_dim_by_name ( __isl_keep isl_pw_qpolynomial * pwqp,
enum isl_dim_type type,
const char * name )

References __isl_keep, name, pwqp, and type.

◆ isl_pw_qpolynomial_fix_val()

__isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_fix_val ( __isl_take isl_pw_qpolynomial * pwqp,
enum isl_dim_type type,
unsigned n,
__isl_take isl_val * v )

References __isl_export, __isl_give, __isl_take, n, pwqp, and type.

Referenced by test_pwqp().

◆ isl_pw_qpolynomial_fold_add()

Definition at line 1277 of file isl_fold.c.

References __isl_give, and __isl_take.

Referenced by add_pwqp().

◆ isl_pw_qpolynomial_fold_add_disjoint()

__isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_add_disjoint ( __isl_take isl_pw_qpolynomial_fold * pwf1,
__isl_take isl_pw_qpolynomial_fold * pwf2 )

References __isl_give, and __isl_take.

◆ isl_pw_qpolynomial_fold_alloc()

◆ isl_pw_qpolynomial_fold_as_qpolynomial_fold()

__isl_give isl_qpolynomial_fold * isl_pw_qpolynomial_fold_as_qpolynomial_fold ( __isl_take isl_pw_qpolynomial_fold * pwf)

References __isl_give, and __isl_take.

◆ isl_pw_qpolynomial_fold_bound()

◆ isl_pw_qpolynomial_fold_coalesce()

__isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_coalesce ( __isl_take isl_pw_qpolynomial_fold * pwf)

References __isl_give, and __isl_take.

Referenced by main().

◆ isl_pw_qpolynomial_fold_copy()

◆ isl_pw_qpolynomial_fold_dim()

isl_size isl_pw_qpolynomial_fold_dim ( __isl_keep isl_pw_qpolynomial_fold * pwf,
enum isl_dim_type type )

References __isl_keep, and type.

Referenced by bernstein_coefficients_recursive(), and verify_point().

◆ isl_pw_qpolynomial_fold_domain()

◆ isl_pw_qpolynomial_fold_drop_dims()

__isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_drop_dims ( __isl_take isl_pw_qpolynomial_fold * pwf,
enum isl_dim_type type,
unsigned first,
unsigned n )

References __isl_give, __isl_take, n, and type.

◆ isl_pw_qpolynomial_fold_drop_unused_params()

__isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_drop_unused_params ( __isl_take isl_pw_qpolynomial_fold * pwf)

References __isl_give, and __isl_take.

◆ isl_pw_qpolynomial_fold_dump()

void isl_pw_qpolynomial_fold_dump ( __isl_keep isl_pw_qpolynomial_fold * pwf)

References __isl_keep.

◆ isl_pw_qpolynomial_fold_eval()

__isl_give isl_val * isl_pw_qpolynomial_fold_eval ( __isl_take isl_pw_qpolynomial_fold * pwf,
__isl_take isl_point * pnt )

References __isl_give, and __isl_take.

Referenced by verify_point().

◆ isl_pw_qpolynomial_fold_every_piece()

isl_bool isl_pw_qpolynomial_fold_every_piece ( __isl_keep isl_pw_qpolynomial_fold * pwf,
isl_bool(* test )(__isl_keep isl_set *set, __isl_keep isl_qpolynomial_fold *fold, void *user),
void * user )

References __isl_keep, isl_set, set, test, and user.

◆ isl_pw_qpolynomial_fold_find_dim_by_name()

int isl_pw_qpolynomial_fold_find_dim_by_name ( __isl_keep isl_pw_qpolynomial_fold * pwf,
enum isl_dim_type type,
const char * name )

References __isl_keep, name, and type.

◆ isl_pw_qpolynomial_fold_fix_val()

__isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_fix_val ( __isl_take isl_pw_qpolynomial_fold * pwf,
enum isl_dim_type type,
unsigned n,
__isl_take isl_val * v )

References __isl_give, __isl_keep, __isl_take, context, fn, isl_set, n, p, type, and user.

Referenced by verify_point().

◆ isl_pw_qpolynomial_fold_fold()

◆ isl_pw_qpolynomial_fold_foreach_lifted_piece()

isl_stat isl_pw_qpolynomial_fold_foreach_lifted_piece ( __isl_keep isl_pw_qpolynomial_fold * pwf,
isl_stat(* fn )(__isl_take isl_set *set, __isl_take isl_qpolynomial_fold *fold, void *user),
void * user )

◆ isl_pw_qpolynomial_fold_foreach_piece()

isl_stat isl_pw_qpolynomial_fold_foreach_piece ( __isl_keep isl_pw_qpolynomial_fold * pwf,
isl_stat(* fn )(__isl_take isl_set *set, __isl_take isl_qpolynomial_fold *fold, void *user),
void * user )

References __isl_keep, __isl_take, fn, isl_set, set, and user.

◆ isl_pw_qpolynomial_fold_free()

◆ isl_pw_qpolynomial_fold_from_pw_qpolynomial()

◆ isl_pw_qpolynomial_fold_from_qpolynomial_fold()

__isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_from_qpolynomial_fold ( __isl_take isl_qpolynomial_fold * fold)

References __isl_take.

◆ isl_pw_qpolynomial_fold_from_range()

__isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_from_range ( __isl_take isl_pw_qpolynomial_fold * pwf)

References __isl_give, and __isl_take.

◆ isl_pw_qpolynomial_fold_get_ctx()

isl_ctx * isl_pw_qpolynomial_fold_get_ctx ( __isl_keep isl_pw_qpolynomial_fold * pwf)

References __isl_keep.

◆ isl_pw_qpolynomial_fold_get_domain_space()

__isl_give isl_space * isl_pw_qpolynomial_fold_get_domain_space ( __isl_keep isl_pw_qpolynomial_fold * pwf)

◆ isl_pw_qpolynomial_fold_get_space()

__isl_give isl_space * isl_pw_qpolynomial_fold_get_space ( __isl_keep isl_pw_qpolynomial_fold * pwf)

◆ isl_pw_qpolynomial_fold_get_type()

enum isl_fold isl_pw_qpolynomial_fold_get_type ( __isl_keep isl_pw_qpolynomial_fold * pwf)

Definition at line 1641 of file isl_fold.c.

References __isl_keep, and isl_fold_error.

◆ isl_pw_qpolynomial_fold_gist()

__isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_gist ( __isl_take isl_pw_qpolynomial_fold * pwf,
__isl_take isl_set * context )

References __isl_give, __isl_take, context, and isl_set.

◆ isl_pw_qpolynomial_fold_gist_params()

__isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_gist_params ( __isl_take isl_pw_qpolynomial_fold * pwf,
__isl_take isl_set * context )

References __isl_give, __isl_take, context, and isl_set.

◆ isl_pw_qpolynomial_fold_has_equal_space()

isl_bool isl_pw_qpolynomial_fold_has_equal_space ( __isl_keep isl_pw_qpolynomial_fold * pwf1,
__isl_keep isl_pw_qpolynomial_fold * pwf2 )

References __isl_keep.

Referenced by obj_add().

◆ isl_pw_qpolynomial_fold_intersect_domain()

◆ isl_pw_qpolynomial_fold_intersect_domain_wrapped_domain()

__isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_intersect_domain_wrapped_domain ( __isl_take isl_pw_qpolynomial_fold * pwf,
__isl_take isl_set * set )

References __isl_give, __isl_take, isl_set, and set.

◆ isl_pw_qpolynomial_fold_intersect_domain_wrapped_range()

__isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_intersect_domain_wrapped_range ( __isl_take isl_pw_qpolynomial_fold * pwf,
__isl_take isl_set * set )

References __isl_take, isl_set, and set.

◆ isl_pw_qpolynomial_fold_intersect_params()

__isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_intersect_params ( __isl_take isl_pw_qpolynomial_fold * pwf,
__isl_take isl_set * set )

References __isl_give, __isl_take, isl_set, and set.

◆ isl_pw_qpolynomial_fold_involves_nan()

isl_bool isl_pw_qpolynomial_fold_involves_nan ( __isl_keep isl_pw_qpolynomial_fold * pwf)

References __isl_keep.

◆ isl_pw_qpolynomial_fold_involves_param_id()

isl_bool isl_pw_qpolynomial_fold_involves_param_id ( __isl_keep isl_pw_qpolynomial_fold * pwf,
__isl_keep isl_id * id )

References __isl_keep.

◆ isl_pw_qpolynomial_fold_is_zero()

isl_bool isl_pw_qpolynomial_fold_is_zero ( __isl_keep isl_pw_qpolynomial_fold * pwf)

◆ isl_pw_qpolynomial_fold_isa_qpolynomial_fold()

isl_bool isl_pw_qpolynomial_fold_isa_qpolynomial_fold ( __isl_keep isl_pw_qpolynomial_fold * pwf)

References __isl_keep.

◆ isl_pw_qpolynomial_fold_max()

__isl_give isl_val * isl_pw_qpolynomial_fold_max ( __isl_take isl_pw_qpolynomial_fold * pwf)

References __isl_give, and __isl_take.

Referenced by has_sign(), and verify_point().

◆ isl_pw_qpolynomial_fold_min()

__isl_give isl_val * isl_pw_qpolynomial_fold_min ( __isl_take isl_pw_qpolynomial_fold * pwf)

References __isl_give, __isl_take, isl_set, map, pwqp, set, tight, and type.

Referenced by has_sign(), and verify_point().

◆ isl_pw_qpolynomial_fold_move_dims()

__isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_move_dims ( __isl_take isl_pw_qpolynomial_fold * pwf,
enum isl_dim_type dst_type,
unsigned dst_pos,
enum isl_dim_type src_type,
unsigned src_pos,
unsigned n )

References __isl_give, __isl_take, and n.

Referenced by bernstein_coefficients_recursive().

◆ isl_pw_qpolynomial_fold_n_piece()

isl_size isl_pw_qpolynomial_fold_n_piece ( __isl_keep isl_pw_qpolynomial_fold * pwf)

References __isl_keep.

◆ isl_pw_qpolynomial_fold_plain_is_equal()

isl_bool isl_pw_qpolynomial_fold_plain_is_equal ( __isl_keep isl_pw_qpolynomial_fold * pwf1,
__isl_keep isl_pw_qpolynomial_fold * pwf2 )

References __isl_give, __isl_keep, __isl_take, pwqp, and type.

Referenced by test_bound().

◆ isl_pw_qpolynomial_fold_print()

void isl_pw_qpolynomial_fold_print ( __isl_keep isl_pw_qpolynomial_fold * pwf,
FILE * out,
unsigned output_format )

◆ isl_pw_qpolynomial_fold_project_domain_on_params()

__isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_project_domain_on_params ( __isl_take isl_pw_qpolynomial_fold * pwf)

References __isl_give, and __isl_take.

Referenced by isl_qpolynomial_cst_bound().

◆ isl_pw_qpolynomial_fold_read_from_str()

__isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_read_from_str ( isl_ctx * ctx,
const char * str )

References __isl_give, __isl_keep, __isl_take, p, and str.

Referenced by test_bound().

◆ isl_pw_qpolynomial_fold_reset_space()

__isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_reset_space ( __isl_take isl_pw_qpolynomial_fold * pwf,
__isl_take isl_space * space )

◆ isl_pw_qpolynomial_fold_reset_user()

__isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_reset_user ( __isl_take isl_pw_qpolynomial_fold * pwf)

References __isl_give, and __isl_take.

◆ isl_pw_qpolynomial_fold_scale_down_val()

__isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_scale_down_val ( __isl_take isl_pw_qpolynomial_fold * pwf,
__isl_take isl_val * v )

References __isl_give, and __isl_take.

◆ isl_pw_qpolynomial_fold_scale_val()

__isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_scale_val ( __isl_take isl_pw_qpolynomial_fold * pwf,
__isl_take isl_val * v )

References __isl_give, and __isl_take.

◆ isl_pw_qpolynomial_fold_set_dim_name()

__isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_set_dim_name ( __isl_take isl_pw_qpolynomial_fold * pwf,
enum isl_dim_type type,
unsigned pos,
const char * s )

References __isl_give, __isl_take, pos(), and type.

◆ isl_pw_qpolynomial_fold_size()

size_t isl_pw_qpolynomial_fold_size ( __isl_keep isl_pw_qpolynomial_fold * pwf)

Definition at line 1433 of file isl_fold.c.

References __isl_keep, isl_qpolynomial_fold_peek_list(), isl_size_error, and n.

◆ isl_pw_qpolynomial_fold_subtract_domain()

__isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_subtract_domain ( __isl_take isl_pw_qpolynomial_fold * pwf,
__isl_take isl_set * set )

References __isl_give, __isl_take, isl_set, and set.

◆ isl_pw_qpolynomial_fold_to_union_pw_qpolynomial_fold()

__isl_give isl_union_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_to_union_pw_qpolynomial_fold ( __isl_take isl_pw_qpolynomial_fold * pwf)

References __isl_take.

◆ isl_pw_qpolynomial_fold_zero()

◆ isl_pw_qpolynomial_foreach_lifted_piece()

isl_stat isl_pw_qpolynomial_foreach_lifted_piece ( __isl_keep isl_pw_qpolynomial * pwqp,
isl_stat(* fn )(__isl_take isl_set *set, __isl_take isl_qpolynomial *qp, void *user),
void * user )

References __isl_keep, __isl_take, fn, isl_set, pwqp, set, and user.

◆ isl_pw_qpolynomial_foreach_piece()

isl_stat isl_pw_qpolynomial_foreach_piece ( __isl_keep isl_pw_qpolynomial * pwqp,
isl_stat(* fn )(__isl_take isl_set *set, __isl_take isl_qpolynomial *qp, void *user),
void * user )

◆ isl_pw_qpolynomial_free()

◆ isl_pw_qpolynomial_from_pw_aff()

◆ isl_pw_qpolynomial_from_qpolynomial()

__isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_from_qpolynomial ( __isl_take isl_qpolynomial * qp)

References __isl_give, and __isl_take.

Referenced by read_factor().

◆ isl_pw_qpolynomial_from_range()

__isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_from_range ( __isl_take isl_pw_qpolynomial * pwqp)

References __isl_give, __isl_take, and pwqp.

◆ isl_pw_qpolynomial_get_ctx()

isl_ctx * isl_pw_qpolynomial_get_ctx ( __isl_keep isl_pw_qpolynomial * pwqp)

References __isl_keep, and pwqp.

◆ isl_pw_qpolynomial_get_domain_space()

__isl_give isl_space * isl_pw_qpolynomial_get_domain_space ( __isl_keep isl_pw_qpolynomial * pwqp)

References __isl_give, __isl_keep, and pwqp.

Referenced by print_pw_qpolynomial_c(), and test_eval_3().

◆ isl_pw_qpolynomial_get_space()

◆ isl_pw_qpolynomial_gist()

__isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_gist ( __isl_take isl_pw_qpolynomial * pwqp,
__isl_take isl_set * context )

References __isl_give, __isl_take, context, isl_set, and pwqp.

Referenced by test_pwqp_gist().

◆ isl_pw_qpolynomial_gist_params()

◆ isl_pw_qpolynomial_has_equal_space()

isl_bool isl_pw_qpolynomial_has_equal_space ( __isl_keep isl_pw_qpolynomial * pwqp1,
__isl_keep isl_pw_qpolynomial * pwqp2 )

References __isl_keep.

Referenced by obj_add().

◆ isl_pw_qpolynomial_insert_dims()

__isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_insert_dims ( __isl_take isl_pw_qpolynomial * pwqp,
enum isl_dim_type type,
unsigned first,
unsigned n )

References __isl_give, __isl_take, n, pwqp, and type.

◆ isl_pw_qpolynomial_intersect_domain()

__isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_intersect_domain ( __isl_take isl_pw_qpolynomial * pwpq,
__isl_take isl_set * set )

◆ isl_pw_qpolynomial_intersect_domain_wrapped_domain()

__isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_intersect_domain_wrapped_domain ( __isl_take isl_pw_qpolynomial * pwpq,
__isl_take isl_set * set )

References __isl_give, __isl_take, isl_set, and set.

◆ isl_pw_qpolynomial_intersect_domain_wrapped_range()

__isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_intersect_domain_wrapped_range ( __isl_take isl_pw_qpolynomial * pwpq,
__isl_take isl_set * set )

References __isl_take, isl_set, and set.

◆ isl_pw_qpolynomial_intersect_params()

__isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_intersect_params ( __isl_take isl_pw_qpolynomial * pwpq,
__isl_take isl_set * set )

References __isl_give, __isl_take, isl_set, and set.

◆ isl_pw_qpolynomial_involves_dims()

isl_bool isl_pw_qpolynomial_involves_dims ( __isl_keep isl_pw_qpolynomial * pwqp,
enum isl_dim_type type,
unsigned first,
unsigned n )

References __isl_keep, n, pwqp, and type.

◆ isl_pw_qpolynomial_involves_nan()

isl_bool isl_pw_qpolynomial_involves_nan ( __isl_keep isl_pw_qpolynomial * pwqp)

References __isl_keep, and pwqp.

◆ isl_pw_qpolynomial_involves_param_id()

isl_bool isl_pw_qpolynomial_involves_param_id ( __isl_keep isl_pw_qpolynomial * pwqp,
__isl_keep isl_id * id )

References __isl_keep, and pwqp.

◆ isl_pw_qpolynomial_is_zero()

isl_bool isl_pw_qpolynomial_is_zero ( __isl_keep isl_pw_qpolynomial * pwqp)

◆ isl_pw_qpolynomial_isa_qpolynomial()

isl_bool isl_pw_qpolynomial_isa_qpolynomial ( __isl_keep isl_pw_qpolynomial * pwqp)

References __isl_keep, and pwqp.

◆ isl_pw_qpolynomial_max()

__isl_give isl_val * isl_pw_qpolynomial_max ( __isl_take isl_pw_qpolynomial * pwqp)

References __isl_give, __isl_take, and pwqp.

Referenced by test_pwqp_max().

◆ isl_pw_qpolynomial_min()

__isl_give isl_val * isl_pw_qpolynomial_min ( __isl_take isl_pw_qpolynomial * pwqp)

References __isl_give, __isl_take, and pwqp.

◆ isl_pw_qpolynomial_move_dims()

__isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_move_dims ( __isl_take isl_pw_qpolynomial * pwqp,
enum isl_dim_type dst_type,
unsigned dst_pos,
enum isl_dim_type src_type,
unsigned src_pos,
unsigned n )

◆ isl_pw_qpolynomial_mul()

◆ isl_pw_qpolynomial_n_piece()

isl_size isl_pw_qpolynomial_n_piece ( __isl_keep isl_pw_qpolynomial * pwqp)

References __isl_keep, and pwqp.

◆ isl_pw_qpolynomial_neg()

__isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_neg ( __isl_take isl_pw_qpolynomial * pwqp)

References __isl_give, __isl_take, and pwqp.

Referenced by read_factor().

◆ isl_pw_qpolynomial_plain_is_equal()

isl_bool isl_pw_qpolynomial_plain_is_equal ( __isl_keep isl_pw_qpolynomial * pwqp1,
__isl_keep isl_pw_qpolynomial * pwqp2 )

References __isl_keep.

Referenced by test_pwqp().

◆ isl_pw_qpolynomial_pow()

__isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_pow ( __isl_take isl_pw_qpolynomial * pwqp,
unsigned exponent )

◆ isl_pw_qpolynomial_print()

void isl_pw_qpolynomial_print ( __isl_keep isl_pw_qpolynomial * pwqp,
FILE * out,
unsigned output_format )

◆ isl_pw_qpolynomial_project_domain_on_params()

__isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_project_domain_on_params ( __isl_take isl_pw_qpolynomial * pwqp)

References __isl_give, __isl_take, and pwqp.

◆ isl_pw_qpolynomial_read_from_file()

__isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_read_from_file ( isl_ctx * ctx,
FILE * input )

◆ isl_pw_qpolynomial_read_from_str()

◆ isl_pw_qpolynomial_reset_domain_space()

__isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_reset_domain_space ( __isl_take isl_pw_qpolynomial * pwqp,
__isl_take isl_space * space )

References __isl_give, __isl_take, and pwqp.

◆ isl_pw_qpolynomial_reset_user()

__isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_reset_user ( __isl_take isl_pw_qpolynomial * pwqp)

References __isl_export, __isl_give, __isl_take, and pwqp.

◆ isl_pw_qpolynomial_scale_down_val()

__isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_scale_down_val ( __isl_take isl_pw_qpolynomial * pwqp,
__isl_take isl_val * v )

References __isl_give, __isl_take, and pwqp.

◆ isl_pw_qpolynomial_scale_val()

__isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_scale_val ( __isl_take isl_pw_qpolynomial * pwqp,
__isl_take isl_val * v )

References __isl_give, __isl_take, and pwqp.

◆ isl_pw_qpolynomial_set_dim_name()

__isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_set_dim_name ( __isl_take isl_pw_qpolynomial * pwqp,
enum isl_dim_type type,
unsigned pos,
const char * s )

References __isl_give, __isl_take, pos(), pwqp, and type.

◆ isl_pw_qpolynomial_split_dims()

__isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_split_dims ( __isl_take isl_pw_qpolynomial * pwqp,
enum isl_dim_type type,
unsigned first,
unsigned n )

References __isl_give, __isl_take, n, pwqp, and type.

◆ isl_pw_qpolynomial_split_periods()

◆ isl_pw_qpolynomial_sub()

References __isl_give, and __isl_take.

Referenced by read_term(), test_pwqp(), and test_pwqp_gist().

◆ isl_pw_qpolynomial_subtract_domain()

__isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_subtract_domain ( __isl_take isl_pw_qpolynomial * pwpq,
__isl_take isl_set * set )

References __isl_give, __isl_take, isl_set, and set.

◆ isl_pw_qpolynomial_to_polynomial()

◆ isl_pw_qpolynomial_to_str()

__isl_give char * isl_pw_qpolynomial_to_str ( __isl_keep isl_pw_qpolynomial * pwqp)

References __isl_give, __isl_keep, __isl_take, p, and pwqp.

◆ isl_pw_qpolynomial_to_union_pw_qpolynomial()

__isl_give isl_union_pw_qpolynomial * isl_pw_qpolynomial_to_union_pw_qpolynomial ( __isl_take isl_pw_qpolynomial * pwqp)

References __isl_give, __isl_take, and pwqp.

◆ isl_pw_qpolynomial_zero()

◆ isl_qpolynomial_add()

◆ isl_qpolynomial_add_dims()

__isl_give isl_qpolynomial * isl_qpolynomial_add_dims ( __isl_take isl_qpolynomial * qp,
enum isl_dim_type type,
unsigned n )

◆ isl_qpolynomial_align_params()

◆ isl_qpolynomial_as_polynomial_on_domain()

◆ isl_qpolynomial_copy()

◆ isl_qpolynomial_dim()

◆ isl_qpolynomial_drop_dims()

◆ isl_qpolynomial_dump()

void isl_qpolynomial_dump ( __isl_keep isl_qpolynomial * qp)

References __isl_keep.

◆ isl_qpolynomial_eval()

◆ isl_qpolynomial_fold_alloc()

◆ isl_qpolynomial_fold_copy()

◆ isl_qpolynomial_fold_dump()

void isl_qpolynomial_fold_dump ( __isl_keep isl_qpolynomial_fold * fold)

References __isl_keep.

◆ isl_qpolynomial_fold_empty()

◆ isl_qpolynomial_fold_eval()

◆ isl_qpolynomial_fold_fold()

◆ isl_qpolynomial_fold_foreach_qpolynomial()

isl_stat isl_qpolynomial_fold_foreach_qpolynomial ( __isl_keep isl_qpolynomial_fold * fold,
isl_stat(* fn )(__isl_take isl_qpolynomial *qp, void *user),
void * user )

Definition at line 1695 of file isl_fold.c.

References __isl_keep, __isl_take, fn, isl_qpolynomial_fold_peek_list(), and user.

Referenced by basic_guarded_fold().

◆ isl_qpolynomial_fold_free()

◆ isl_qpolynomial_fold_get_ctx()

◆ isl_qpolynomial_fold_get_domain_space()

◆ isl_qpolynomial_fold_get_space()

__isl_give isl_space * isl_qpolynomial_fold_get_space ( __isl_keep isl_qpolynomial_fold * fold)

◆ isl_qpolynomial_fold_get_type()

enum isl_fold isl_qpolynomial_fold_get_type ( __isl_keep isl_qpolynomial_fold * fold)

◆ isl_qpolynomial_fold_gist()

◆ isl_qpolynomial_fold_gist_params()

◆ isl_qpolynomial_fold_is_empty()

◆ isl_qpolynomial_fold_is_nan()

◆ isl_qpolynomial_fold_move_dims()

◆ isl_qpolynomial_fold_plain_is_equal()

◆ isl_qpolynomial_fold_print()

void isl_qpolynomial_fold_print ( __isl_keep isl_qpolynomial_fold * fold,
FILE * out,
unsigned output_format )

◆ isl_qpolynomial_fold_scale_down_val()

◆ isl_qpolynomial_fold_scale_val()

◆ isl_qpolynomial_fold_substitute()

◆ isl_qpolynomial_foreach_term()

isl_stat isl_qpolynomial_foreach_term ( __isl_keep isl_qpolynomial * qp,
isl_stat(* fn )(__isl_take isl_term *term, void *user),
void * user )

◆ isl_qpolynomial_free()

__isl_null isl_qpolynomial * isl_qpolynomial_free ( __isl_take isl_qpolynomial * qp)

Definition at line 1363 of file isl_polynomial.c.

References __isl_null, __isl_take, isl_mat_free(), isl_poly_free(), and isl_space_free().

Referenced by bernstein_coefficients_base(), bernstein_coefficients_cell(), bernstein_coefficients_factors(), bernstein_coefficients_full_recursive(), compressed_guarded_poly_bound(), eval_void(), extract_coefficients(), guarded_poly_bound(), guarded_qp(), isl_basic_map_from_qpolynomial(), isl_qpolynomial_add(), isl_qpolynomial_add_dims(), isl_qpolynomial_add_isl_int(), isl_qpolynomial_align_params(), isl_qpolynomial_alloc(), isl_qpolynomial_bound_on_domain_bernstein(), isl_qpolynomial_coeff(), isl_qpolynomial_drop_dims(), isl_qpolynomial_dup(), isl_qpolynomial_eval(), isl_qpolynomial_fold_add_qpolynomial(), isl_qpolynomial_from_aff(), isl_qpolynomial_from_term(), isl_qpolynomial_homogenize(), isl_qpolynomial_insert_dims(), isl_qpolynomial_lift(), isl_qpolynomial_morph_domain(), isl_qpolynomial_move_dims(), isl_qpolynomial_mul(), isl_qpolynomial_mul_isl_int(), isl_qpolynomial_opt_on_domain(), isl_qpolynomial_pow(), isl_qpolynomial_project_domain_on_params(), isl_qpolynomial_realign_domain(), isl_qpolynomial_reset_domain_space(), isl_qpolynomial_scale_down_val(), isl_qpolynomial_scale_val(), isl_qpolynomial_set_dim_name(), isl_qpolynomial_sign(), isl_qpolynomial_substitute(), isl_qpolynomial_substitute_equalities(), isl_qpolynomial_substitute_equalities_lifted(), isl_qpolynomial_terms_of_sign(), isl_qpolynomial_val_on_domain(), make_divs_pos(), merge_lists(), monotonicity(), plug_in_at_pos(), print_qpolynomial_c(), propagate_on_domain(), qpolynomial_bound_on_domain_range(), qpolynomial_fold_covers_on_domain(), reduce_divs(), remove_redundant_divs(), set_div(), sort_divs(), split_div(), split_periods(), substitute_div(), substitute_non_divs(), to_polynomial_on_orthant(), unwrapped_guarded_poly_bound(), and with_merged_divs().

◆ isl_qpolynomial_from_aff()

◆ isl_qpolynomial_from_constraint()

__isl_give isl_qpolynomial * isl_qpolynomial_from_constraint ( __isl_take isl_constraint * c,
enum isl_dim_type type,
unsigned pos )

◆ isl_qpolynomial_from_term()

◆ isl_qpolynomial_get_constant_val()

__isl_give isl_val * isl_qpolynomial_get_constant_val ( __isl_keep isl_qpolynomial * qp)

Definition at line 2036 of file isl_polynomial.c.

References __isl_give, __isl_keep, and isl_poly_get_constant_val().

Referenced by isl_qpolynomial_opt_on_domain().

◆ isl_qpolynomial_get_ctx()

◆ isl_qpolynomial_get_domain_space()

◆ isl_qpolynomial_get_space()

◆ isl_qpolynomial_gist()

◆ isl_qpolynomial_gist_params()

◆ isl_qpolynomial_homogenize()

◆ isl_qpolynomial_infty_on_domain()

__isl_give isl_qpolynomial * isl_qpolynomial_infty_on_domain ( __isl_take isl_space * domain)

◆ isl_qpolynomial_insert_dims()

◆ isl_qpolynomial_involves_dims()

isl_bool isl_qpolynomial_involves_dims ( __isl_keep isl_qpolynomial * qp,
enum isl_dim_type type,
unsigned first,
unsigned n )

◆ isl_qpolynomial_is_infty()

isl_bool isl_qpolynomial_is_infty ( __isl_keep isl_qpolynomial * qp)

Definition at line 610 of file isl_polynomial.c.

References __isl_keep, isl_bool_error, and isl_poly_is_infty().

Referenced by plug_in_at_pos().

◆ isl_qpolynomial_is_nan()

◆ isl_qpolynomial_is_neginfty()

isl_bool isl_qpolynomial_is_neginfty ( __isl_keep isl_qpolynomial * qp)

Definition at line 615 of file isl_polynomial.c.

References __isl_keep, isl_bool_error, and isl_poly_is_neginfty().

Referenced by plug_in_at_pos().

◆ isl_qpolynomial_is_zero()

isl_bool isl_qpolynomial_is_zero ( __isl_keep isl_qpolynomial * qp)

◆ isl_qpolynomial_move_dims()

◆ isl_qpolynomial_mul()

◆ isl_qpolynomial_nan_on_domain()

__isl_give isl_qpolynomial * isl_qpolynomial_nan_on_domain ( __isl_take isl_space * domain)

Definition at line 1957 of file isl_polynomial.c.

References __isl_give, __isl_take, domain, isl_poly_nan(), and isl_qpolynomial_alloc().

Referenced by read_factor().

◆ isl_qpolynomial_neg()

__isl_give isl_qpolynomial * isl_qpolynomial_neg ( __isl_take isl_qpolynomial * qp)

Definition at line 1749 of file isl_polynomial.c.

References __isl_give, __isl_take, and isl_qpolynomial_mul_isl_int().

Referenced by isl_qpolynomial_sub().

◆ isl_qpolynomial_neginfty_on_domain()

__isl_give isl_qpolynomial * isl_qpolynomial_neginfty_on_domain ( __isl_take isl_space * domain)

Definition at line 1949 of file isl_polynomial.c.

References __isl_give, __isl_take, domain, isl_poly_neginfty(), and isl_qpolynomial_alloc().

Referenced by signed_infty().

◆ isl_qpolynomial_one_on_domain()

__isl_give isl_qpolynomial * isl_qpolynomial_one_on_domain ( __isl_take isl_space * domain)

◆ isl_qpolynomial_plain_is_equal()

◆ isl_qpolynomial_pow()

__isl_give isl_qpolynomial * isl_qpolynomial_pow ( __isl_take isl_qpolynomial * qp,
unsigned power )

◆ isl_qpolynomial_print()

void isl_qpolynomial_print ( __isl_keep isl_qpolynomial * qp,
FILE * out,
unsigned output_format )

◆ isl_qpolynomial_project_domain_on_params()

◆ isl_qpolynomial_scale_down_val()

◆ isl_qpolynomial_scale_val()

◆ isl_qpolynomial_set_dim_name()

◆ isl_qpolynomial_sgn()

int isl_qpolynomial_sgn ( __isl_keep isl_qpolynomial * qp)

Definition at line 620 of file isl_polynomial.c.

References __isl_keep, and isl_poly_sgn().

◆ isl_qpolynomial_sub()

◆ isl_qpolynomial_substitute()

◆ isl_qpolynomial_val_on_domain()

◆ isl_qpolynomial_var_on_domain()

◆ isl_qpolynomial_zero_on_domain()

◆ isl_set_apply_pw_qpolynomial_fold()

__isl_give isl_pw_qpolynomial_fold * isl_set_apply_pw_qpolynomial_fold ( __isl_take isl_set * set,
__isl_take isl_pw_qpolynomial_fold * pwf,
isl_bool * tight )

Definition at line 1928 of file isl_fold.c.

References __isl_give, __isl_take, isl_map_apply_pw_qpolynomial_fold(), isl_set, set, and tight.

◆ isl_term_copy()

__isl_give isl_term * isl_term_copy ( __isl_keep isl_term * term)

Definition at line 3924 of file isl_polynomial.c.

References __isl_give, __isl_keep, and isl_term::ref.

Referenced by isl_poly_foreach_term().

◆ isl_term_dim()

◆ isl_term_free()

◆ isl_term_get_coefficient_val()

__isl_give isl_val * isl_term_get_coefficient_val ( __isl_keep isl_term * term)

◆ isl_term_get_ctx()

isl_ctx * isl_term_get_ctx ( __isl_keep isl_term * term)

Definition at line 4033 of file isl_polynomial.c.

References __isl_keep.

Referenced by isl_poly_foreach_term(), isl_term_get_coefficient_val(), and isl_term_offset().

◆ isl_term_get_div()

◆ isl_term_get_exp()

isl_size isl_term_get_exp ( __isl_keep isl_term * term,
enum isl_dim_type type,
unsigned pos )

◆ isl_union_map_apply_union_pw_qpolynomial_fold()

◆ isl_union_pw_qpolynomial_add()

◆ isl_union_pw_qpolynomial_add_pw_qpolynomial()

__isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_add_pw_qpolynomial ( __isl_take isl_union_pw_qpolynomial * upwqp,
__isl_take isl_pw_qpolynomial * pwqp )

References __isl_give, __isl_take, and pwqp.

◆ isl_union_pw_qpolynomial_align_params()

◆ isl_union_pw_qpolynomial_bound()

◆ isl_union_pw_qpolynomial_coalesce()

__isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_coalesce ( __isl_take isl_union_pw_qpolynomial * upwqp)

References __isl_give, and __isl_take.

◆ isl_union_pw_qpolynomial_copy()

__isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_copy ( __isl_keep isl_union_pw_qpolynomial * upwqp)

References __isl_give, and __isl_keep.

Referenced by isl_obj_union_pw_qp_copy(), and test_union_pw().

◆ isl_union_pw_qpolynomial_dim()

isl_size isl_union_pw_qpolynomial_dim ( __isl_keep isl_union_pw_qpolynomial * upwqp,
enum isl_dim_type type )

References __isl_keep, and type.

◆ isl_union_pw_qpolynomial_domain()

__isl_export __isl_give isl_union_set * isl_union_pw_qpolynomial_domain ( __isl_take isl_union_pw_qpolynomial * upwqp)

References __isl_give, __isl_take, and isl_union_set.

Referenced by test_union_pw().

◆ isl_union_pw_qpolynomial_drop_dims()

__isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_drop_dims ( __isl_take isl_union_pw_qpolynomial * upwqp,
enum isl_dim_type type,
unsigned first,
unsigned n )

References __isl_give, __isl_take, n, and type.

◆ isl_union_pw_qpolynomial_eval()

__isl_export __isl_give isl_val * isl_union_pw_qpolynomial_eval ( __isl_take isl_union_pw_qpolynomial * upwqp,
__isl_take isl_point * pnt )

References __isl_give, and __isl_take.

Referenced by test_eval_1().

◆ isl_union_pw_qpolynomial_every_pw_qpolynomial()

isl_bool isl_union_pw_qpolynomial_every_pw_qpolynomial ( __isl_keep isl_union_pw_qpolynomial * upwqp,
isl_bool(* test )(__isl_keep isl_pw_qpolynomial *pwqp, void *user),
void * user )

References __isl_keep, pwqp, test, and user.

◆ isl_union_pw_qpolynomial_extract_pw_qpolynomial()

__isl_give isl_pw_qpolynomial * isl_union_pw_qpolynomial_extract_pw_qpolynomial ( __isl_keep isl_union_pw_qpolynomial * upwqp,
__isl_take isl_space * space )

References __isl_give, __isl_keep, __isl_take, and p.

◆ isl_union_pw_qpolynomial_find_dim_by_name()

int isl_union_pw_qpolynomial_find_dim_by_name ( __isl_keep isl_union_pw_qpolynomial * upwqp,
enum isl_dim_type type,
const char * name )

References __isl_keep, name, and type.

◆ isl_union_pw_qpolynomial_fold_add_union_pw_qpolynomial()

◆ isl_union_pw_qpolynomial_fold_align_params()

◆ isl_union_pw_qpolynomial_fold_coalesce()

__isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_coalesce ( __isl_take isl_union_pw_qpolynomial_fold * upwf)

References __isl_give, and __isl_take.

◆ isl_union_pw_qpolynomial_fold_copy()

◆ isl_union_pw_qpolynomial_fold_dim()

isl_size isl_union_pw_qpolynomial_fold_dim ( __isl_keep isl_union_pw_qpolynomial_fold * upwf,
enum isl_dim_type type )

References __isl_keep, and type.

◆ isl_union_pw_qpolynomial_fold_domain()

__isl_give isl_union_set * isl_union_pw_qpolynomial_fold_domain ( __isl_take isl_union_pw_qpolynomial_fold * upwf)

References __isl_give, __isl_take, and isl_union_set.

◆ isl_union_pw_qpolynomial_fold_drop_dims()

__isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_drop_dims ( __isl_take isl_union_pw_qpolynomial_fold * upwf,
enum isl_dim_type type,
unsigned first,
unsigned n )

References __isl_give, __isl_take, n, and type.

◆ isl_union_pw_qpolynomial_fold_eval()

__isl_give isl_val * isl_union_pw_qpolynomial_fold_eval ( __isl_take isl_union_pw_qpolynomial_fold * upwf,
__isl_take isl_point * pnt )

References __isl_give, and __isl_take.

◆ isl_union_pw_qpolynomial_fold_every_pw_qpolynomial_fold()

isl_bool isl_union_pw_qpolynomial_fold_every_pw_qpolynomial_fold ( __isl_keep isl_union_pw_qpolynomial_fold * upwf,
isl_bool(* test )(__isl_keep isl_pw_qpolynomial_fold *pwf, void *user),
void * user )

References __isl_keep, test, and user.

◆ isl_union_pw_qpolynomial_fold_extract_pw_qpolynomial_fold()

__isl_give isl_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_extract_pw_qpolynomial_fold ( __isl_keep isl_union_pw_qpolynomial_fold * upwf,
__isl_take isl_space * space )

◆ isl_union_pw_qpolynomial_fold_find_dim_by_name()

int isl_union_pw_qpolynomial_fold_find_dim_by_name ( __isl_keep isl_union_pw_qpolynomial_fold * upwf,
enum isl_dim_type type,
const char * name )

References __isl_give, __isl_keep, name, and type.

◆ isl_union_pw_qpolynomial_fold_fold()

◆ isl_union_pw_qpolynomial_fold_fold_pw_qpolynomial_fold()

◆ isl_union_pw_qpolynomial_fold_foreach_pw_qpolynomial_fold()

isl_stat isl_union_pw_qpolynomial_fold_foreach_pw_qpolynomial_fold ( __isl_keep isl_union_pw_qpolynomial_fold * upwf,
isl_stat(* fn )(__isl_take isl_pw_qpolynomial_fold *pwf, void *user),
void * user )

◆ isl_union_pw_qpolynomial_fold_free()

◆ isl_union_pw_qpolynomial_fold_from_pw_qpolynomial_fold()

__isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_from_pw_qpolynomial_fold ( __isl_take isl_pw_qpolynomial_fold * pwf)

References __isl_give, and __isl_take.

◆ isl_union_pw_qpolynomial_fold_get_ctx()

isl_ctx * isl_union_pw_qpolynomial_fold_get_ctx ( __isl_keep isl_union_pw_qpolynomial_fold * upwf)

References __isl_keep.

◆ isl_union_pw_qpolynomial_fold_get_pw_qpolynomial_fold_list()

__isl_give isl_pw_qpolynomial_fold_list * isl_union_pw_qpolynomial_fold_get_pw_qpolynomial_fold_list ( __isl_keep isl_union_pw_qpolynomial_fold * upwf)

References __isl_give, and __isl_keep.

◆ isl_union_pw_qpolynomial_fold_get_space()

◆ isl_union_pw_qpolynomial_fold_get_type()

enum isl_fold isl_union_pw_qpolynomial_fold_get_type ( __isl_keep isl_union_pw_qpolynomial_fold * upwf)

Definition at line 1649 of file isl_fold.c.

References __isl_keep, and isl_fold_error.

Referenced by isl_union_map_apply_union_pw_qpolynomial_fold().

◆ isl_union_pw_qpolynomial_fold_gist()

◆ isl_union_pw_qpolynomial_fold_gist_params()

__isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_gist_params ( __isl_take isl_union_pw_qpolynomial_fold * upwf,
__isl_take isl_set * context )

References __isl_take, context, and isl_set.

◆ isl_union_pw_qpolynomial_fold_intersect_domain()

__isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_intersect_domain ( __isl_take isl_union_pw_qpolynomial_fold * upwf,
__isl_take isl_union_set * uset )

References __isl_give, __isl_take, and isl_union_set.

◆ isl_union_pw_qpolynomial_fold_intersect_domain_space()

__isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_intersect_domain_space ( __isl_take isl_union_pw_qpolynomial_fold * upwf,
__isl_take isl_space * space )

References __isl_give, and __isl_take.

◆ isl_union_pw_qpolynomial_fold_intersect_domain_union_set()

__isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_intersect_domain_union_set ( __isl_take isl_union_pw_qpolynomial_fold * upwf,
__isl_take isl_union_set * uset )

References __isl_take, and isl_union_set.

◆ isl_union_pw_qpolynomial_fold_intersect_domain_wrapped_domain()

__isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_intersect_domain_wrapped_domain ( __isl_take isl_union_pw_qpolynomial_fold * upwf,
__isl_take isl_union_set * uset )

References __isl_give, __isl_take, and isl_union_set.

◆ isl_union_pw_qpolynomial_fold_intersect_domain_wrapped_range()

__isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_intersect_domain_wrapped_range ( __isl_take isl_union_pw_qpolynomial_fold * upwf,
__isl_take isl_union_set * uset )

References __isl_give, __isl_take, and isl_union_set.

◆ isl_union_pw_qpolynomial_fold_intersect_params()

__isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_intersect_params ( __isl_take isl_union_pw_qpolynomial_fold * upwf,
__isl_take isl_set * set )

References __isl_give, __isl_take, isl_set, and set.

◆ isl_union_pw_qpolynomial_fold_involves_nan()

isl_bool isl_union_pw_qpolynomial_fold_involves_nan ( __isl_keep isl_union_pw_qpolynomial_fold * upwf)

References __isl_keep.

◆ isl_union_pw_qpolynomial_fold_n_pw_qpolynomial_fold()

isl_size isl_union_pw_qpolynomial_fold_n_pw_qpolynomial_fold ( __isl_keep isl_union_pw_qpolynomial_fold * upwf)

References __isl_keep.

◆ isl_union_pw_qpolynomial_fold_plain_is_equal()

isl_bool isl_union_pw_qpolynomial_fold_plain_is_equal ( __isl_keep isl_union_pw_qpolynomial_fold * upwf1,
__isl_keep isl_union_pw_qpolynomial_fold * upwf2 )

References __isl_give, and __isl_keep.

◆ isl_union_pw_qpolynomial_fold_reset_user()

__isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_reset_user ( __isl_take isl_union_pw_qpolynomial_fold * upwf)

References __isl_take.

◆ isl_union_pw_qpolynomial_fold_scale_down_val()

__isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_scale_down_val ( __isl_take isl_union_pw_qpolynomial_fold * upwf,
__isl_take isl_val * v )

References __isl_take.

◆ isl_union_pw_qpolynomial_fold_scale_val()

__isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_scale_val ( __isl_take isl_union_pw_qpolynomial_fold * upwf,
__isl_take isl_val * v )

References __isl_give, and __isl_take.

◆ isl_union_pw_qpolynomial_fold_set_dim_name()

__isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_set_dim_name ( __isl_take isl_union_pw_qpolynomial_fold * upwf,
enum isl_dim_type type,
unsigned pos,
const char * s )

References __isl_take, pos(), and type.

◆ isl_union_pw_qpolynomial_fold_subtract_domain()

__isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_subtract_domain ( __isl_take isl_union_pw_qpolynomial_fold * upwf,
__isl_take isl_union_set * uset )

References __isl_keep, __isl_take, and isl_union_set.

◆ isl_union_pw_qpolynomial_fold_subtract_domain_space()

__isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_subtract_domain_space ( __isl_take isl_union_pw_qpolynomial_fold * upwf,
__isl_take isl_space * space )

References __isl_give, and __isl_take.

◆ isl_union_pw_qpolynomial_fold_subtract_domain_union_set()

__isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_subtract_domain_union_set ( __isl_take isl_union_pw_qpolynomial_fold * upwf,
__isl_take isl_union_set * uset )

References __isl_give, __isl_take, and isl_union_set.

◆ isl_union_pw_qpolynomial_fold_zero()

◆ isl_union_pw_qpolynomial_fold_zero_ctx()

__isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_zero_ctx ( isl_ctx * ctx,
enum isl_fold type )

References __isl_give, and type.

◆ isl_union_pw_qpolynomial_fold_zero_space()

__isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_zero_space ( __isl_take isl_space * space,
enum isl_fold type )

References __isl_take, and type.

◆ isl_union_pw_qpolynomial_foreach_pw_qpolynomial()

isl_stat isl_union_pw_qpolynomial_foreach_pw_qpolynomial ( __isl_keep isl_union_pw_qpolynomial * upwqp,
isl_stat(* fn )(__isl_take isl_pw_qpolynomial *pwqp, void *user),
void * user )

◆ isl_union_pw_qpolynomial_free()

◆ isl_union_pw_qpolynomial_from_pw_qpolynomial()

__isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_from_pw_qpolynomial ( __isl_take isl_pw_qpolynomial * pwqp)

◆ isl_union_pw_qpolynomial_get_ctx()

isl_ctx * isl_union_pw_qpolynomial_get_ctx ( __isl_keep isl_union_pw_qpolynomial * upwqp)

References __isl_keep.

◆ isl_union_pw_qpolynomial_get_pw_qpolynomial_list()

__isl_give isl_pw_qpolynomial_list * isl_union_pw_qpolynomial_get_pw_qpolynomial_list ( __isl_keep isl_union_pw_qpolynomial * upwqp)

References __isl_keep.

◆ isl_union_pw_qpolynomial_get_space()

◆ isl_union_pw_qpolynomial_gist()

◆ isl_union_pw_qpolynomial_gist_params()

__isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_gist_params ( __isl_take isl_union_pw_qpolynomial * upwqp,
__isl_take isl_set * context )

References __isl_give, __isl_take, context, and isl_set.

◆ isl_union_pw_qpolynomial_intersect_domain()

__isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_intersect_domain ( __isl_take isl_union_pw_qpolynomial * upwpq,
__isl_take isl_union_set * uset )

References __isl_give, __isl_take, and isl_union_set.

Referenced by test_union_pw().

◆ isl_union_pw_qpolynomial_intersect_domain_space()

__isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_intersect_domain_space ( __isl_take isl_union_pw_qpolynomial * upwpq,
__isl_take isl_space * space )

References __isl_give, and __isl_take.

◆ isl_union_pw_qpolynomial_intersect_domain_union_set()

__isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_intersect_domain_union_set ( __isl_take isl_union_pw_qpolynomial * upwpq,
__isl_take isl_union_set * uset )

References __isl_take, and isl_union_set.

◆ isl_union_pw_qpolynomial_intersect_domain_wrapped_domain()

__isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_intersect_domain_wrapped_domain ( __isl_take isl_union_pw_qpolynomial * upwpq,
__isl_take isl_union_set * uset )

References __isl_give, __isl_take, and isl_union_set.

◆ isl_union_pw_qpolynomial_intersect_domain_wrapped_range()

__isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_intersect_domain_wrapped_range ( __isl_take isl_union_pw_qpolynomial * upwpq,
__isl_take isl_union_set * uset )

References __isl_take, and isl_union_set.

◆ isl_union_pw_qpolynomial_intersect_params()

__isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_intersect_params ( __isl_take isl_union_pw_qpolynomial * upwpq,
__isl_take isl_set * set )

References __isl_give, __isl_take, isl_set, and set.

◆ isl_union_pw_qpolynomial_involves_nan()

isl_bool isl_union_pw_qpolynomial_involves_nan ( __isl_keep isl_union_pw_qpolynomial * upwqp)

References __isl_keep.

◆ isl_union_pw_qpolynomial_mul()

Definition at line 4450 of file isl_polynomial.c.

References __isl_give, __isl_take, and isl_pw_qpolynomial_mul().

◆ isl_union_pw_qpolynomial_n_pw_qpolynomial()

isl_size isl_union_pw_qpolynomial_n_pw_qpolynomial ( __isl_keep isl_union_pw_qpolynomial * upwqp)

References __isl_keep.

◆ isl_union_pw_qpolynomial_neg()

__isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_neg ( __isl_take isl_union_pw_qpolynomial * upwqp)

References __isl_give, and __isl_take.

◆ isl_union_pw_qpolynomial_plain_is_equal()

isl_bool isl_union_pw_qpolynomial_plain_is_equal ( __isl_keep isl_union_pw_qpolynomial * upwqp1,
__isl_keep isl_union_pw_qpolynomial * upwqp2 )

References __isl_keep.

Referenced by test_union_pw().

◆ isl_union_pw_qpolynomial_read_from_str()

__isl_constructor __isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_read_from_str ( isl_ctx * ctx,
const char * str )

References __isl_give, and str.

Referenced by test_eval_1(), test_union_pw(), and test_union_pw_op().

◆ isl_union_pw_qpolynomial_reset_user()

__isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_reset_user ( __isl_take isl_union_pw_qpolynomial * upwqp)

References __isl_export, __isl_give, and __isl_take.

◆ isl_union_pw_qpolynomial_scale_down_val()

__isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_scale_down_val ( __isl_take isl_union_pw_qpolynomial * upwqp,
__isl_take isl_val * v )

References __isl_export, __isl_give, and __isl_take.

◆ isl_union_pw_qpolynomial_scale_val()

__isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_scale_val ( __isl_take isl_union_pw_qpolynomial * upwqp,
__isl_take isl_val * v )

References __isl_give, and __isl_take.

◆ isl_union_pw_qpolynomial_set_dim_name()

__isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_set_dim_name ( __isl_take isl_union_pw_qpolynomial * upwqp,
enum isl_dim_type type,
unsigned pos,
const char * s )

References __isl_give, __isl_take, pos(), and type.

◆ isl_union_pw_qpolynomial_sub()

References __isl_give, and __isl_take.

Referenced by test_union_pw().

◆ isl_union_pw_qpolynomial_subtract_domain()

__isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_subtract_domain ( __isl_take isl_union_pw_qpolynomial * upwpq,
__isl_take isl_union_set * uset )

References __isl_give, __isl_take, and isl_union_set.

◆ isl_union_pw_qpolynomial_subtract_domain_space()

__isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_subtract_domain_space ( __isl_take isl_union_pw_qpolynomial * upwpq,
__isl_take isl_space * space )

References __isl_take.

◆ isl_union_pw_qpolynomial_subtract_domain_union_set()

__isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_subtract_domain_union_set ( __isl_take isl_union_pw_qpolynomial * upwpq,
__isl_take isl_union_set * uset )

References __isl_give, __isl_take, and isl_union_set.

◆ isl_union_pw_qpolynomial_to_polynomial()

__isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_to_polynomial ( __isl_take isl_union_pw_qpolynomial * upwqp,
int sign )

Definition at line 5173 of file isl_polynomial.c.

References __isl_give, __isl_take, poly_entry(), and isl_to_poly_data::sign.

◆ isl_union_pw_qpolynomial_to_str()

__isl_give char * isl_union_pw_qpolynomial_to_str ( __isl_keep isl_union_pw_qpolynomial * upwqp)

References __isl_give, and __isl_keep.

◆ isl_union_pw_qpolynomial_zero()

__isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_zero ( __isl_take isl_space * space)

References __isl_give, and __isl_take.

◆ isl_union_pw_qpolynomial_zero_ctx()

__isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_zero_ctx ( isl_ctx * ctx)

References __isl_give.

◆ isl_union_pw_qpolynomial_zero_space()

__isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_zero_space ( __isl_take isl_space * space)

References __isl_give, and __isl_take.

◆ isl_union_set_apply_union_pw_qpolynomial_fold()