Polly 22.0.0git
isl_bernstein.c File Reference
#include <isl_ctx_private.h>
#include <isl_map_private.h>
#include <isl/set.h>
#include <isl_seq.h>
#include <isl_morph.h>
#include <isl_factorization.h>
#include <isl_vertices_private.h>
#include <isl_polynomial_private.h>
#include <isl_options_private.h>
#include <isl_vec_private.h>
#include <isl_bernstein.h>

Go to the source code of this file.

Classes

struct  bernstein_data

Functions

static isl_bool vertex_is_integral (__isl_keep isl_basic_set *vertex)
static __isl_give isl_qpolynomialvertex_coordinate (__isl_keep isl_basic_set *vertex, int i, __isl_take isl_space *space)
static isl_bool is_tight (int *k, int n, int d, isl_cell *cell)
static isl_stat add_fold (__isl_take isl_qpolynomial *b, __isl_keep isl_set *dom, int *k, int n, int d, struct bernstein_data *data)
static isl_stat extract_coefficients (isl_qpolynomial *poly, __isl_keep isl_set *dom, struct bernstein_data *data)
static isl_stat bernstein_coefficients_cell (__isl_take isl_cell *cell, void *user)
static __isl_give isl_pw_qpolynomial_foldbernstein_coefficients_base (__isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly, struct bernstein_data *data, isl_bool *tight)
static __isl_give isl_pw_qpolynomial_foldbernstein_coefficients_recursive (__isl_take isl_pw_qpolynomial *pwqp, int n_group, int *len, struct bernstein_data *data, isl_bool *tight)
static __isl_give isl_pw_qpolynomial_foldbernstein_coefficients_factors (__isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly, struct bernstein_data *data, isl_bool *tight)
static __isl_give isl_pw_qpolynomial_foldbernstein_coefficients_full_recursive (__isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly, struct bernstein_data *data, isl_bool *tight)
isl_stat isl_qpolynomial_bound_on_domain_bernstein (__isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly, struct isl_bound *bound)

Function Documentation

◆ add_fold()

◆ bernstein_coefficients_base()

◆ bernstein_coefficients_cell()

◆ bernstein_coefficients_factors()

◆ bernstein_coefficients_full_recursive()

◆ bernstein_coefficients_recursive()

◆ extract_coefficients()

◆ is_tight()

isl_bool is_tight ( int * k,
int n,
int d,
isl_cell * cell )
static

◆ isl_qpolynomial_bound_on_domain_bernstein()

◆ vertex_coordinate()

◆ vertex_is_integral()