Polly 22.0.0git
isl_bound.c File Reference
#include <isl_ctx_private.h>
#include <isl_map_private.h>
#include <isl_bound.h>
#include <isl_bernstein.h>
#include <isl_range.h>
#include <isl_polynomial_private.h>
#include <isl_options_private.h>

Go to the source code of this file.

Classes

struct  isl_union_bound_data

Functions

__isl_give isl_pw_qpolynomial_foldisl_qpolynomial_cst_bound (__isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly, enum isl_fold type, isl_bool *tight)
isl_stat isl_bound_add (struct isl_bound *bound, __isl_take isl_pw_qpolynomial_fold *pwf)
isl_stat isl_bound_add_tight (struct isl_bound *bound, __isl_take isl_pw_qpolynomial_fold *pwf)
static isl_stat add_constant_poly (__isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly, struct isl_bound *bound)
static isl_stat compressed_guarded_poly_bound (__isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly, void *user)
static isl_stat unwrapped_guarded_poly_bound (__isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly, void *user)
static isl_stat guarded_poly_bound (__isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly, void *user)
static isl_stat guarded_qp (__isl_take isl_qpolynomial *qp, void *user)
static isl_stat basic_guarded_fold (__isl_take isl_basic_set *bset, void *user)
static isl_stat guarded_fold (__isl_take isl_set *set, __isl_take isl_qpolynomial_fold *fold, void *user)
__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_pw_qpolynomial_bound (__isl_take isl_pw_qpolynomial *pwqp, enum isl_fold type, isl_bool *tight)
static isl_stat bound_pw (__isl_take isl_pw_qpolynomial *pwqp, void *user)
__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)

Function Documentation

◆ add_constant_poly()

isl_stat add_constant_poly ( __isl_take isl_basic_set * bset,
__isl_take isl_qpolynomial * poly,
struct isl_bound * bound )
static

◆ basic_guarded_fold()

isl_stat basic_guarded_fold ( __isl_take isl_basic_set * bset,
void * user )
static

◆ bound_pw()

◆ compressed_guarded_poly_bound()

◆ guarded_fold()

◆ guarded_poly_bound()

◆ guarded_qp()

isl_stat guarded_qp ( __isl_take isl_qpolynomial * qp,
void * user )
static

◆ isl_bound_add()

◆ isl_bound_add_tight()

◆ isl_pw_qpolynomial_bound()

◆ isl_pw_qpolynomial_fold_bound()

◆ isl_qpolynomial_cst_bound()

◆ isl_union_pw_qpolynomial_bound()

◆ unwrapped_guarded_poly_bound()