Polly 22.0.0git
isl_range.c File Reference
#include <isl_ctx_private.h>
#include <isl/val.h>
#include <isl_constraint_private.h>
#include <isl/set.h>
#include <isl_polynomial_private.h>
#include <isl_morph.h>
#include <isl_range.h>

Go to the source code of this file.

Classes

struct  range_data
struct  isl_fixed_sign_data

Functions

static isl_stat propagate_on_domain (__isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly, struct range_data *data)
static isl_bool has_sign (__isl_keep isl_basic_set *bset, __isl_keep isl_qpolynomial *poly, int sign, int *signs)
static int monotonicity (__isl_keep isl_basic_set *bset, __isl_keep isl_qpolynomial *poly, struct range_data *data)
static __isl_give isl_qpolynomialsigned_infty (__isl_take isl_space *space, int sign)
static __isl_give isl_qpolynomialbound2poly (__isl_take isl_constraint *bound, __isl_take isl_space *space, unsigned pos, int sign)
static int bound_is_integer (__isl_keep isl_constraint *bound, unsigned pos)
static isl_stat collect_fixed_sign_terms (__isl_take isl_term *term, void *user)
__isl_give isl_qpolynomialisl_qpolynomial_terms_of_sign (__isl_keep isl_qpolynomial *poly, int *signs, int sign)
static isl_stat add_guarded_poly (__isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly, struct range_data *data)
static __isl_give isl_qpolynomialplug_in_at_pos (__isl_take isl_qpolynomial *poly, int pos, __isl_take isl_qpolynomial *sub, struct range_data *data)
static isl_stat propagate_on_bound_pair (__isl_take isl_constraint *lower, __isl_take isl_constraint *upper, __isl_take isl_basic_set *bset, void *user)
static isl_stat basic_guarded_poly_bound (__isl_take isl_basic_set *bset, void *user)
static isl_stat qpolynomial_bound_on_domain_range (__isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly, struct range_data *data)
isl_stat isl_qpolynomial_bound_on_domain_range (__isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly, struct isl_bound *bound)

Function Documentation

◆ add_guarded_poly()

◆ basic_guarded_poly_bound()

◆ bound2poly()

__isl_give isl_qpolynomial * bound2poly ( __isl_take isl_constraint * bound,
__isl_take isl_space * space,
unsigned pos,
int sign )
static

◆ bound_is_integer()

int bound_is_integer ( __isl_keep isl_constraint * bound,
unsigned pos )
static

◆ collect_fixed_sign_terms()

◆ has_sign()

◆ isl_qpolynomial_bound_on_domain_range()

◆ isl_qpolynomial_terms_of_sign()

◆ monotonicity()

◆ plug_in_at_pos()

◆ propagate_on_bound_pair()

◆ propagate_on_domain()

◆ qpolynomial_bound_on_domain_range()

◆ signed_infty()