Polly 22.0.0git
isl_map_private.h File Reference
#include <isl/list.h>
#include <isl/set.h>
#include <isl/map.h>
#include <isl_reordering.h>
#include <isl/vec.h>
#include <isl/hash.h>
#include <isl_blk.h>
#include <isl_list_templ.h>

Go to the source code of this file.

Classes

struct  isl_basic_map
struct  isl_map

Macros

#define isl_basic_set   isl_basic_map
#define isl_maybe_isl_basic_set   isl_maybe_isl_basic_map
#define isl_set   isl_map
#define isl_basic_set_list   isl_basic_map_list
#define isl_set_list   isl_map_list
#define ISL_BASIC_MAP_FINAL   (1 << 0)
#define ISL_BASIC_MAP_EMPTY   (1 << 1)
#define ISL_BASIC_MAP_NO_IMPLICIT   (1 << 2)
#define ISL_BASIC_MAP_NO_REDUNDANT   (1 << 3)
#define ISL_BASIC_MAP_RATIONAL   (1 << 4)
#define ISL_BASIC_MAP_SORTED   (1 << 5)
#define ISL_BASIC_MAP_NORMALIZED_DIVS   (1 << 6)
#define ISL_BASIC_MAP_ALL_EQUALITIES   (1 << 7)
#define ISL_BASIC_MAP_REDUCED_COEFFICIENTS   (1 << 8)
#define ISL_BASIC_SET_FINAL   (1 << 0)
#define ISL_BASIC_SET_EMPTY   (1 << 1)
#define ISL_BASIC_SET_NO_IMPLICIT   (1 << 2)
#define ISL_BASIC_SET_NO_REDUNDANT   (1 << 3)
#define ISL_BASIC_SET_RATIONAL   (1 << 4)
#define ISL_BASIC_SET_SORTED   (1 << 5)
#define ISL_BASIC_SET_NORMALIZED_DIVS   (1 << 6)
#define ISL_BASIC_SET_ALL_EQUALITIES   (1 << 7)
#define ISL_BASIC_SET_REDUCED_COEFFICIENTS   (1 << 8)
#define EL   isl_basic_set
#define ISL_MAP_DISJOINT   (1 << 0)
#define ISL_MAP_NORMALIZED   (1 << 1)
#define ISL_SET_DISJOINT   (1 << 0)
#define ISL_SET_NORMALIZED   (1 << 1)
#define EL   isl_set

Functions

__isl_give isl_basic_setisl_basic_set_alloc (isl_ctx *ctx, unsigned nparam, unsigned dim, unsigned extra, unsigned n_eq, unsigned n_ineq)
__isl_give isl_basic_setisl_basic_set_extend_constraints (__isl_take isl_basic_set *base, unsigned n_eq, unsigned n_ineq)
__isl_give isl_basic_setisl_basic_set_finalize (__isl_take isl_basic_set *bset)
__isl_give isl_basic_setisl_basic_set_dup (__isl_keep isl_basic_set *bset)
__isl_give isl_basic_setisl_basic_set_simplify (__isl_take isl_basic_set *bset)
__isl_give isl_basic_mapisl_basic_map_alloc (isl_ctx *ctx, unsigned nparam, unsigned in, unsigned out, unsigned extra, unsigned n_eq, unsigned n_ineq)
__isl_give isl_basic_mapisl_basic_map_mark_final (__isl_take isl_basic_map *bmap)
__isl_give isl_basic_mapisl_basic_map_finalize (__isl_take isl_basic_map *bmap)
__isl_give isl_basic_mapisl_basic_map_extend_constraints (__isl_take isl_basic_map *base, unsigned n_eq, unsigned n_ineq)
__isl_give isl_basic_mapisl_basic_map_simplify (__isl_take isl_basic_map *bmap)
__isl_give isl_setisl_set_add_basic_set (__isl_take isl_set *set, __isl_take isl_basic_set *bset)
__isl_give isl_mapisl_map_add_basic_map (__isl_take isl_map *map, __isl_take isl_basic_map *bmap)
__isl_give isl_mapisl_map_dup (__isl_keep isl_map *map)
__isl_give isl_basic_setisl_basic_set_from_underlying_set (__isl_take isl_basic_set *bset, __isl_take isl_basic_set *like)
__isl_give isl_mapisl_map_realign (__isl_take isl_map *map, __isl_take isl_reordering *r)
__isl_give isl_setisl_set_realign (__isl_take isl_set *set, __isl_take isl_reordering *r)
__isl_give isl_basic_mapisl_basic_map_reset (__isl_take isl_basic_map *bmap, enum isl_dim_type type)
__isl_give isl_mapisl_map_reset (__isl_take isl_map *map, enum isl_dim_type type)
__isl_keep isl_spaceisl_basic_map_peek_space (__isl_keep const isl_basic_map *bmap)
__isl_keep isl_spaceisl_basic_set_peek_space (__isl_keep isl_basic_set *bset)
__isl_keep isl_spaceisl_map_peek_space (__isl_keep const isl_map *map)
__isl_keep isl_spaceisl_set_peek_space (__isl_keep isl_set *set)
__isl_give isl_basic_setisl_basic_set_reset_space (__isl_take isl_basic_set *bset, __isl_take isl_space *space)
__isl_give isl_basic_mapisl_basic_map_reset_space (__isl_take isl_basic_map *bmap, __isl_take isl_space *space)
__isl_give isl_mapisl_map_reset_space (__isl_take isl_map *map, __isl_take isl_space *space)
__isl_give isl_mapisl_map_reset_equal_dim_space (__isl_take isl_map *map, __isl_take isl_space *space)
isl_size isl_basic_map_var_offset (__isl_keep isl_basic_map *bmap, enum isl_dim_type type)
isl_size isl_basic_set_var_offset (__isl_keep isl_basic_set *bset, enum isl_dim_type type)
unsigned isl_basic_map_offset (__isl_keep isl_basic_map *bmap, enum isl_dim_type type)
unsigned isl_basic_set_offset (__isl_keep isl_basic_set *bset, enum isl_dim_type type)
isl_bool isl_basic_map_may_be_set (__isl_keep isl_basic_map *bmap)
int isl_map_may_be_set (__isl_keep isl_map *map)
isl_bool isl_map_compatible_domain (__isl_keep isl_map *map, __isl_keep isl_set *set)
isl_bool isl_basic_map_compatible_domain (__isl_keep isl_basic_map *bmap, __isl_keep isl_basic_set *bset)
isl_bool isl_basic_map_compatible_range (__isl_keep isl_basic_map *bmap, __isl_keep isl_basic_set *bset)
__isl_give isl_basic_mapisl_basic_map_extend (__isl_take isl_basic_map *base, unsigned extra, unsigned n_eq, unsigned n_ineq)
__isl_give isl_basic_setisl_basic_set_extend (__isl_take isl_basic_set *base, unsigned extra, unsigned n_eq, unsigned n_ineq)
__isl_give isl_mapisl_map_grow (__isl_take isl_map *map, int n)
__isl_give isl_setisl_set_grow (__isl_take isl_set *set, int n)
isl_bool isl_basic_set_contains (__isl_keep isl_basic_set *bset, __isl_keep isl_vec *vec)
isl_bool isl_basic_map_contains (__isl_keep isl_basic_map *bmap, __isl_keep isl_vec *vec)
__isl_give isl_basic_setisl_basic_set_alloc_space (__isl_take isl_space *space, unsigned extra, unsigned n_eq, unsigned n_ineq)
__isl_give isl_setisl_set_alloc_space (__isl_take isl_space *space, int n, unsigned flags)
__isl_give isl_basic_mapisl_basic_map_alloc_space (__isl_take isl_space *space, unsigned extra, unsigned n_eq, unsigned n_ineq)
__isl_give isl_mapisl_map_alloc_space (__isl_take isl_space *space, int n, unsigned flags)
int isl_basic_map_alloc_equality (__isl_keep isl_basic_map *bmap)
int isl_basic_set_alloc_equality (__isl_keep isl_basic_set *bset)
__isl_give isl_basic_setisl_basic_set_free_inequality (__isl_take isl_basic_set *bset, unsigned n)
__isl_give isl_basic_mapisl_basic_map_free_equality (__isl_take isl_basic_map *bmap, unsigned n)
__isl_give isl_basic_setisl_basic_set_free_equality (__isl_take isl_basic_set *bset, unsigned n)
int isl_basic_set_alloc_inequality (__isl_keep isl_basic_set *bset)
int isl_basic_map_alloc_inequality (__isl_keep isl_basic_map *bmap)
__isl_give isl_basic_mapisl_basic_map_free_inequality (__isl_take isl_basic_map *bmap, unsigned n)
int isl_basic_map_alloc_div (__isl_keep isl_basic_map *bmap)
__isl_give isl_basic_mapisl_basic_map_insert_div (__isl_take isl_basic_map *bmap, int pos, __isl_keep isl_vec *div)
int isl_basic_set_alloc_div (__isl_keep isl_basic_set *bset)
isl_stat isl_basic_map_free_div (__isl_keep isl_basic_map *bmap, unsigned n)
__isl_give isl_basic_mapisl_basic_map_drop_div (__isl_take isl_basic_map *bmap, unsigned div)
void isl_basic_map_inequality_to_equality (__isl_keep isl_basic_map *bmap, unsigned pos)
int isl_basic_map_drop_equality (__isl_keep isl_basic_map *bmap, unsigned pos)
int isl_basic_set_drop_inequality (__isl_keep isl_basic_set *bset, unsigned pos)
int isl_basic_map_drop_inequality (__isl_keep isl_basic_map *bmap, unsigned pos)
__isl_give isl_basic_setisl_basic_set_add_eq (__isl_take isl_basic_set *bset, isl_int *eq)
__isl_give isl_basic_mapisl_basic_map_add_eq (__isl_take isl_basic_map *bmap, isl_int *eq)
__isl_give isl_basic_setisl_basic_set_add_ineq (__isl_take isl_basic_set *bset, isl_int *ineq)
__isl_give isl_basic_mapisl_basic_map_add_ineq (__isl_take isl_basic_map *bmap, isl_int *ineq)
__isl_give isl_basic_setisl_basic_set_tighten_outward (__isl_take isl_basic_set *bset, __isl_keep isl_vec *vec)
__isl_give isl_basic_mapisl_inequality_negate (__isl_take isl_basic_map *bmap, unsigned pos)
isl_bool isl_basic_map_has_single_reference (__isl_keep isl_basic_map *bmap)
__isl_give isl_basic_setisl_basic_set_cow (__isl_take isl_basic_set *bset)
__isl_give isl_basic_mapisl_basic_map_cow (__isl_take isl_basic_map *bmap)
__isl_give isl_setisl_set_cow (__isl_take isl_set *set)
__isl_give isl_mapisl_map_cow (__isl_take isl_map *map)
uint32_t isl_basic_map_get_hash (__isl_keep isl_basic_map *bmap)
__isl_give isl_setisl_basic_set_list_union (__isl_take isl_basic_set_list *list)
__isl_give isl_basic_mapisl_basic_map_set_to_empty (__isl_take isl_basic_map *bmap)
__isl_give isl_basic_setisl_basic_set_set_to_empty (__isl_take isl_basic_set *bset)
__isl_give isl_basic_mapisl_basic_map_swap_div (__isl_take isl_basic_map *bmap, int a, int b)
__isl_give isl_basic_mapisl_basic_map_order_divs (__isl_take isl_basic_map *bmap)
__isl_give isl_mapisl_map_order_divs (__isl_take isl_map *map)
__isl_give isl_basic_mapisl_basic_map_align_divs (__isl_take isl_basic_map *dst, __isl_keep isl_basic_map *src)
__isl_give isl_mapisl_map_align_divs_to_basic_map_list (__isl_take isl_map *map, __isl_keep isl_basic_map_list *list)
__isl_give isl_basic_map_list * isl_basic_map_list_align_divs_to_basic_map (__isl_take isl_basic_map_list *list, __isl_keep isl_basic_map *bmap)
__isl_give isl_mapisl_map_align_divs_internal (__isl_take isl_map *map)
__isl_give isl_basic_setisl_basic_set_sort_divs (__isl_take isl_basic_set *bset)
__isl_give isl_basic_mapisl_basic_map_sort_divs (__isl_take isl_basic_map *bmap)
__isl_give isl_mapisl_map_sort_divs (__isl_take isl_map *map)
__isl_give isl_basic_mapisl_basic_map_gauss5 (__isl_take isl_basic_map *bmap, int *progress, isl_stat(*swap)(unsigned a, unsigned b, void *user), isl_stat(*drop)(unsigned n, void *user), void *user)
__isl_give isl_basic_mapisl_basic_map_gauss (__isl_take isl_basic_map *bmap, int *progress)
__isl_give isl_basic_setisl_basic_set_gauss (__isl_take isl_basic_set *bset, int *progress)
int isl_basic_map_constraint_cmp (__isl_keep isl_basic_map *bmap, isl_int *c1, isl_int *c2)
__isl_give isl_basic_mapisl_basic_map_sort_constraints (__isl_take isl_basic_map *bmap)
__isl_give isl_basic_setisl_basic_set_sort_constraints (__isl_take isl_basic_set *bset)
int isl_basic_map_plain_cmp (__isl_keep isl_basic_map *bmap1, __isl_keep isl_basic_map *bmap2)
isl_bool isl_basic_map_plain_is_equal (__isl_keep isl_basic_map *bmap1, __isl_keep isl_basic_map *bmap2)
__isl_give isl_basic_mapisl_basic_map_normalize_constraints (__isl_take isl_basic_map *bmap)
__isl_give isl_basic_setisl_basic_set_normalize_constraints (__isl_take isl_basic_set *bset)
__isl_give isl_basic_mapisl_basic_map_implicit_equalities (__isl_take isl_basic_map *bmap)
__isl_give isl_basic_setisl_basic_map_underlying_set (__isl_take isl_basic_map *bmap)
__isl_give isl_basic_setisl_basic_set_underlying_set (__isl_take isl_basic_set *bset)
__isl_give isl_basic_set_listisl_basic_map_list_underlying_set (__isl_take isl_basic_map_list *list)
__isl_give isl_setisl_map_underlying_set (__isl_take isl_map *map)
__isl_give isl_basic_mapisl_basic_map_overlying_set (__isl_take isl_basic_set *bset, __isl_take isl_basic_map *like)
__isl_give isl_basic_setisl_basic_set_drop_constraints_involving_unknown_divs (__isl_take isl_basic_set *bset)
__isl_give isl_basic_mapisl_basic_map_drop_constraints_involving_unknown_divs (__isl_take isl_basic_map *bmap)
__isl_give isl_mapisl_map_drop_constraints_involving_unknown_divs (__isl_take isl_map *map)
__isl_give isl_basic_mapisl_basic_map_drop_constraints_involving (__isl_take isl_basic_map *bmap, unsigned first, unsigned n)
__isl_give isl_basic_setisl_basic_set_drop_constraints_involving (__isl_take isl_basic_set *bset, unsigned first, unsigned n)
__isl_give isl_basic_setisl_basic_set_drop (__isl_take isl_basic_set *bset, enum isl_dim_type type, unsigned first, unsigned n)
__isl_give isl_basic_mapisl_basic_map_drop (__isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned first, unsigned n)
__isl_give isl_setisl_set_drop (__isl_take isl_set *set, enum isl_dim_type type, unsigned first, unsigned n)
__isl_give isl_basic_setisl_basic_set_drop_dims (__isl_take isl_basic_set *bset, unsigned first, unsigned n)
__isl_give isl_mapisl_map_drop (__isl_take isl_map *map, enum isl_dim_type type, unsigned first, unsigned n)
__isl_give isl_basic_mapisl_basic_map_drop_unrelated_constraints (__isl_take isl_basic_map *bmap, __isl_take int *group)
__isl_give isl_basic_mapisl_basic_map_eliminate_pure_unit_divs (__isl_take isl_basic_map *bmap)
__isl_give isl_basic_mapisl_basic_map_remove_duplicate_constraints (__isl_take isl_basic_map *bmap, int *progress, int detect_divs)
__isl_give isl_basic_mapisl_basic_map_detect_inequality_pairs (__isl_take isl_basic_map *bmap, int *progress)
__isl_give isl_mapisl_map_remove_empty_parts (__isl_take isl_map *map)
__isl_give isl_setisl_set_remove_empty_parts (__isl_take isl_set *set)
__isl_give isl_mapisl_map_remove_obvious_duplicates (__isl_take isl_map *map)
__isl_give isl_setisl_set_normalize (__isl_take isl_set *set)
__isl_give isl_basic_mapisl_basic_map_eliminate_vars (__isl_take isl_basic_map *bmap, unsigned pos, unsigned n)
__isl_give isl_basic_setisl_basic_set_eliminate_vars (__isl_take isl_basic_set *bset, unsigned pos, unsigned n)
__isl_give isl_mapisl_map_eliminate (__isl_take isl_map *map, enum isl_dim_type type, unsigned first, unsigned n)
__isl_give isl_setisl_set_eliminate (__isl_take isl_set *set, enum isl_dim_type type, unsigned first, unsigned n)
__isl_give isl_mapisl_map_project_onto (__isl_take isl_map *map, enum isl_dim_type type, unsigned first, unsigned n)
__isl_give isl_basic_mapisl_basic_map_add_div_constraint (__isl_take isl_basic_map *bmap, unsigned div, int sign)
__isl_give isl_basic_mapisl_basic_map_add_div_constraints (__isl_take isl_basic_map *bmap, unsigned div)
__isl_give isl_basic_mapisl_basic_map_add_known_div_constraints (__isl_take isl_basic_map *bmap)
__isl_give isl_basic_mapisl_basic_map_drop_redundant_divs (__isl_take isl_basic_map *bmap)
__isl_give isl_basic_setisl_basic_set_recession_cone (__isl_take isl_basic_set *bset)
__isl_give isl_basic_setisl_basic_set_lineality_space (__isl_take isl_basic_set *bset)
__isl_give isl_basic_setisl_set_combined_lineality_space (__isl_take isl_set *set)
__isl_give isl_basic_setisl_basic_set_set_integral (__isl_take isl_basic_set *bset)
__isl_give isl_basic_setisl_basic_set_set_rational (__isl_take isl_basic_set *bset)
__isl_give isl_setisl_set_set_rational (__isl_take isl_set *set)
__isl_give isl_basic_mapisl_basic_map_set_rational (__isl_take isl_basic_map *bmap)
__isl_give isl_mapisl_map_set_rational (__isl_take isl_map *map)
isl_bool isl_map_is_rational (__isl_keep isl_map *map)
isl_bool isl_set_is_rational (__isl_keep isl_set *set)
isl_bool isl_map_has_rational (__isl_keep isl_map *map)
isl_bool isl_set_has_rational (__isl_keep isl_set *set)
__isl_give isl_basic_mapisl_basic_map_from_multi_aff2 (__isl_take isl_multi_aff *maff, int rational)
__isl_give isl_mapisl_map_from_multi_aff_internal (__isl_take isl_multi_aff *ma)
__isl_give isl_mapisl_map_from_pw_aff_internal (__isl_take isl_pw_aff *pa)
__isl_give isl_mapisl_map_from_pw_multi_aff_internal (__isl_take isl_pw_multi_aff *pma)
__isl_give isl_basic_setisl_basic_set_preimage (__isl_take isl_basic_set *bset, __isl_take isl_mat *mat)
__isl_give isl_setisl_set_preimage (__isl_take isl_set *set, __isl_take isl_mat *mat)
__isl_give isl_basic_mapisl_basic_map_transform_dims (__isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned first, __isl_take isl_mat *trans)
__isl_give isl_basic_setisl_basic_set_transform_dims (__isl_take isl_basic_set *bset, enum isl_dim_type type, unsigned first, __isl_take isl_mat *trans)
isl_intisl_set_wrap_facet (__isl_keep isl_set *set, isl_int *facet, isl_int *ridge)
isl_bool isl_basic_map_contains_point (__isl_keep isl_basic_map *bmap, __isl_keep isl_point *point)
isl_bool isl_set_contains_point (__isl_keep isl_set *set, __isl_keep isl_point *point)
isl_stat isl_basic_set_vars_get_sign (__isl_keep isl_basic_set *bset, unsigned first, unsigned n, int *signs)
isl_stat isl_set_foreach_orthant (__isl_keep isl_set *set, isl_stat(*fn)(__isl_take isl_set *orthant, int *signs, void *user), void *user)
isl_bool isl_basic_set_eq_is_stride (__isl_keep isl_basic_set *bset, int i)
isl_bool isl_basic_map_is_div_constraint (__isl_keep isl_basic_map *bmap, isl_int *constraint, unsigned div)
__isl_give isl_basic_setisl_basic_set_from_local_space (__isl_take isl_local_space *ls)
__isl_give isl_basic_mapisl_basic_map_from_local_space (__isl_take isl_local_space *ls)
__isl_give isl_basic_setisl_basic_set_expand_divs (__isl_take isl_basic_set *bset, __isl_take isl_mat *div, int *exp)
__isl_give isl_basic_mapisl_basic_map_expand_divs (__isl_take isl_basic_set *bmap, __isl_take isl_mat *div, int *exp)
isl_size isl_basic_set_n_equality (__isl_keep isl_basic_set *bset)
isl_size isl_basic_map_n_equality (__isl_keep isl_basic_map *bmap)
isl_size isl_basic_set_n_inequality (__isl_keep isl_basic_set *bset)
isl_size isl_basic_map_n_inequality (__isl_keep isl_basic_map *bmap)
__isl_give isl_basic_mapisl_basic_map_mark_div_unknown (__isl_take isl_basic_map *bmap, int div)
isl_bool isl_basic_map_div_is_marked_unknown (__isl_keep isl_basic_map *bmap, int div)
isl_bool isl_basic_map_div_is_known (__isl_keep isl_basic_map *bmap, int div)
int isl_basic_set_first_unknown_div (__isl_keep isl_basic_set *bset)
int isl_basic_map_first_unknown_div (__isl_keep isl_basic_map *bmap)
isl_bool isl_basic_map_divs_known (__isl_keep isl_basic_map *bmap)
isl_bool isl_map_divs_known (__isl_keep isl_map *map)
__isl_give isl_matisl_basic_set_get_divs (__isl_keep isl_basic_set *bset)
__isl_give isl_matisl_basic_map_get_divs (__isl_keep isl_basic_map *bmap)
isl_bool isl_set_every_basic_set (__isl_keep isl_set *set, isl_bool(*test)(__isl_keep isl_basic_set *bset, void *user), void *user)
__isl_give isl_mapisl_map_inline_foreach_basic_map (__isl_take isl_map *map, __isl_give isl_basic_map *(*fn)(__isl_take isl_basic_map *bmap))
isl_stat isl_basic_set_check_no_params (__isl_keep isl_basic_set *bset)
isl_stat isl_basic_set_check_no_locals (__isl_keep isl_basic_set *bset)
isl_stat isl_basic_set_check_range (__isl_keep isl_basic_set *bset, enum isl_dim_type type, unsigned first, unsigned n)
isl_stat isl_set_check_range (__isl_keep isl_set *set, enum isl_dim_type type, unsigned first, unsigned n)
isl_stat isl_basic_map_check_range (__isl_keep isl_basic_map *bmap, enum isl_dim_type type, unsigned first, unsigned n)
isl_stat isl_map_check_named_params (__isl_keep isl_map *map)
isl_bool isl_map_has_equal_params (__isl_keep isl_map *map1, __isl_keep isl_map *map2)
isl_bool isl_basic_set_space_has_equal_params (__isl_keep isl_basic_set *bset, __isl_keep isl_space *space)
isl_bool isl_set_space_has_equal_params (__isl_keep isl_set *set, __isl_keep isl_space *space)
isl_bool isl_map_space_has_equal_params (__isl_keep isl_map *map, __isl_keep isl_space *space)
isl_stat isl_map_align_params_bin (__isl_keep isl_map **map1, __isl_keep isl_map **map2)
isl_stat isl_map_align_params_set (__isl_keep isl_map **map, __isl_keep isl_set **set)
isl_bool isl_map_align_params_map_map_and_test (__isl_keep isl_map *map1, __isl_keep isl_map *map2, isl_bool(*fn)(__isl_keep isl_map *map1, __isl_keep isl_map *map2))
__isl_give isl_setisl_set_substitute (__isl_take isl_set *set, unsigned pos, __isl_keep isl_aff *subs)
__isl_give isl_setisl_set_gist_params_basic_set (__isl_take isl_set *set, __isl_take isl_basic_set *context)
isl_bool isl_map_compatible_range (__isl_keep isl_map *map, __isl_keep isl_set *set)
isl_bool isl_basic_map_plain_is_non_empty (__isl_keep isl_basic_map *bmap)
isl_bool isl_basic_map_plain_is_single_valued (__isl_keep isl_basic_map *bmap)
isl_bool isl_map_is_set (__isl_keep isl_map *map)
isl_bool isl_map_is_params (__isl_keep isl_map *map)
isl_bool isl_basic_set_plain_dim_is_fixed (__isl_keep isl_basic_set *bset, unsigned dim, isl_int *val)
__isl_give isl_setisl_set_plain_gist_basic_set (__isl_take isl_set *set, __isl_take isl_basic_set *context)
__isl_give isl_mapisl_map_plain_gist_basic_map (__isl_take isl_map *map, __isl_take isl_basic_map *context)
__isl_give isl_mapisl_map_plain_gist (__isl_take isl_map *map, __isl_take isl_map *context)
__isl_give isl_basic_setisl_basic_set_plain_affine_hull (__isl_take isl_basic_set *bset)
__isl_give isl_basic_mapisl_basic_map_plain_affine_hull (__isl_take isl_basic_map *bmap)
isl_stat isl_basic_set_dim_residue_class (__isl_keep isl_basic_set *bset, int pos, isl_int *modulo, isl_int *residue)
isl_stat isl_set_dim_residue_class (__isl_keep isl_set *set, int pos, isl_int *modulo, isl_int *residue)
__isl_give isl_basic_setisl_basic_set_fix (__isl_take isl_basic_set *bset, enum isl_dim_type type, unsigned pos, isl_int value)
__isl_give isl_basic_mapisl_basic_map_fix (__isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned pos, isl_int value)
__isl_give isl_setisl_set_fix (__isl_take isl_set *set, enum isl_dim_type type, unsigned pos, isl_int value)
isl_bool isl_map_plain_is_fixed (__isl_keep isl_map *map, enum isl_dim_type type, unsigned pos, isl_int *val)
int isl_basic_map_output_defining_equality (__isl_keep isl_basic_map *bmap, int pos, int *div, int *ineq)
__isl_give isl_basic_mapisl_basic_map_reduce_coefficients (__isl_take isl_basic_map *bmap)
__isl_give isl_basic_mapisl_basic_map_shift_div (__isl_take isl_basic_map *bmap, int div, int pos, isl_int shift)
int isl_basic_set_count_upto (__isl_keep isl_basic_set *bset, isl_int max, isl_int *count)
int isl_set_count_upto (__isl_keep isl_set *set, isl_int max, isl_int *count)
isl_bool isl_map_space_tuple_is_equal (__isl_keep isl_map *map, enum isl_dim_type type1, __isl_keep isl_space *space, enum isl_dim_type type2)
isl_bool isl_map_tuple_is_equal (__isl_keep isl_map *map1, enum isl_dim_type type1, __isl_keep isl_map *map2, enum isl_dim_type type2)
isl_bool isl_map_has_space (__isl_keep isl_map *map, __isl_keep isl_space *space)
isl_bool isl_map_has_space_tuples (__isl_keep isl_map *map, __isl_keep isl_space *space)
isl_bool isl_basic_map_is_transformation (__isl_keep isl_basic_map *bmap)
isl_stat isl_map_check_transformation (__isl_keep isl_map *map)
isl_stat isl_basic_set_check_equal_space (__isl_keep isl_basic_set *bset1, __isl_keep isl_basic_set *bset2)
isl_stat isl_basic_map_check_equal_space (__isl_keep isl_basic_map *bmap1, __isl_keep isl_basic_map *bmap2)
isl_stat isl_set_basic_set_check_equal_space (__isl_keep isl_set *set, __isl_keep isl_basic_set *bset)
isl_stat isl_map_basic_map_check_equal_space (__isl_keep isl_map *map, __isl_keep isl_basic_map *bmap)
isl_stat isl_map_check_equal_space (__isl_keep isl_map *map1, __isl_keep isl_map *map2)
isl_bool isl_basic_map_applies_range (__isl_keep isl_basic_map *bmap1, __isl_keep isl_basic_map *bmap2)
__isl_give isl_matisl_basic_set_extract_equalities (__isl_keep isl_basic_set *bset)
isl_bool isl_basic_map_equal_div_expr_part (__isl_keep isl_basic_map *bmap1, int pos1, __isl_keep isl_basic_map *bmap2, int pos2, unsigned first, unsigned n)
isl_bool isl_basic_map_equal_div_expr_except_constant (__isl_keep isl_basic_map *bmap1, int pos1, __isl_keep isl_basic_map *bmap2, int pos2)
__isl_give isl_basic_mapisl_basic_map_set_div_expr_constant_num_si_inplace (__isl_take isl_basic_map *bmap, int div, int value)

Macro Definition Documentation

◆ EL [1/2]

#define EL   isl_basic_set

Definition at line 81 of file isl_map_private.h.

◆ EL [2/2]

#define EL   isl_set

Definition at line 81 of file isl_map_private.h.

◆ ISL_BASIC_MAP_ALL_EQUALITIES

◆ ISL_BASIC_MAP_EMPTY

◆ ISL_BASIC_MAP_FINAL

#define ISL_BASIC_MAP_FINAL   (1 << 0)

◆ ISL_BASIC_MAP_NO_IMPLICIT

◆ ISL_BASIC_MAP_NO_REDUNDANT

◆ ISL_BASIC_MAP_NORMALIZED_DIVS

◆ ISL_BASIC_MAP_RATIONAL

◆ ISL_BASIC_MAP_REDUCED_COEFFICIENTS

#define ISL_BASIC_MAP_REDUCED_COEFFICIENTS   (1 << 8)

◆ ISL_BASIC_MAP_SORTED

◆ isl_basic_set

Definition at line 13 of file isl_map_private.h.

Referenced by __isl_subclass(), __isl_subclass(), add_adjacent_points(), add_bound(), add_bound_from_constraint(), add_bounds(), add_bounds(), add_cell(), add_constant_poly(), add_constraints_dim_map(), add_delta_constraints(), add_guarded_poly(), add_implied_guards(), add_inter_constraints(), add_inter_proximity_constraints(), add_inter_validity_constraints(), add_intra_constraints(), add_intra_proximity_constraints(), add_intra_validity_constraints(), add_larger_bound_constraint(), add_lineality(), add_lines(), add_node(), add_nodes(), add_non_trivial_lineality(), add_rays(), add_split_on(), add_vertex(), add_vertex(), aff_bind_id(), aff_nonneg_basic_set(), aff_pos_basic_set(), aff_zero_basic_set(), affine_hull(), affine_hull_with_cone(), align_context_divs(), alloc_groups(), ast_graft_list_fuse(), base_compute_divs(), basic_guarded_fold(), basic_guarded_poly_bound(), basic_map_partial_lexopt(), basic_map_partial_lexopt_base(), basic_map_partial_lexopt_base_pw_multi_aff(), basic_map_partial_lexopt_base_sol(), basic_map_partial_lexopt_pw_multi_aff(), basic_map_partial_lexopt_symm_core(), isl::basic_set::basic_set(), basic_set_append_equalities(), basic_set_coefficients(), basic_set_maximal_difference_at(), basic_set_no_locals(), basic_set_opt(), basic_set_opt_lp(), basic_set_parameter_preimage(), basic_set_print_omega(), basic_set_sample(), bernstein_coefficients_base(), bernstein_coefficients_factors(), bernstein_coefficients_full_recursive(), box_closure_on_domain(), bset_covers_tab(), bset_from_bmap(), bset_print_constraints_polylib(), bset_to_bmap(), bset_update_count(), build_ast_from_guard(), can_intersect(), can_select(), check_pairwise_disjoint(), check_solution(), coef_var_offset(), coefficients_wrap(), collect_basic_set(), collect_inequalities(), combine_initial_into_second(), common_constraints(), compress_variables(), compressed_guarded_poly_bound(), compressed_multiplicative_call(), compute_atomic_domain(), compute_carrying_sol_coef(), compute_chambers(), compute_divs(), compute_facet(), compute_unroll_domains(), const_bset_to_bmap(), constant_on_domain(), construct_column(), construct_extended_path(), construct_product(), context_gbr_detect_equalities(), context_gbr_peek_basic_set(), context_lex_peek_basic_set(), context_tab_for_lexmin(), convex_hull_0d(), convex_hull_1d(), convex_hull_pair(), convex_hull_pair_elim(), convex_hull_pair_pointed(), isl::basic_map_list::copy(), isl::basic_set::copy(), isl::basic_set::copy(), copy_equalities(), count_map_constraints(), create_node(), create_node_scaled(), delete_row(), detect_implicit_equality_constraints(), do_unroll_iteration(), do_unroll_tree_iteration(), domain_follows_at_depth(), drop_coalescing_constraints(), drop_constant_terms(), drop_irrelevant_constraints(), drop_irrelevant_constraints_marked(), empty_sample(), equal_on_domain(), equalities_in_underlying_set(), extend(), extend_affine_hull(), extends(), extract_domain(), extract_ineq(), extract_node(), extract_pending(), extract_shared_enforced(), factor_sample(), factored_sample(), farkas(), find_context_div(), find_unroll_lower_bound(), find_vertex(), first_parameter_equality(), FN(), FN(), isl::basic_set_list::foreach(), isl::set::foreach_basic_set(), foreach_bound_pair(), foreach_iteration(), foreach_lower_bound(), foreach_upper_bound(), gbr_get_sample(), gbr_init_shifted(), gbr_sample(), generate_shifted_component_tree(), generate_shifted_component_tree_base(), isl::basic_set::get(), get_div_purity(), get_size_bounds(), graft_alloc(), graft_extend_body(), guarded_poly_bound(), harmonize_divs(), harmonize_divs_with_hulls(), has_any_defining_equality(), has_facets(), has_pure_outer_disjunction(), has_sign(), hash_basic_set(), hoist_out_of_context(), homogeneous_map(), induced_lineality_space(), ineq_for_div(), init_lexmin_data(), initial_facet_constraint(), initial_hull(), initial_hull(), initial_solution(), initialize_hull(), insert_if(), inter_coefficients(), intersect_constraints(), interval_sample(), intra_coefficients(), is_internal(), is_ray(), isl_aff_bind_id(), isl_aff_eq_basic_set(), isl_aff_ge_basic_set(), isl_aff_gist(), isl_aff_gt_basic_set(), isl_aff_le_basic_set(), isl_aff_lt_basic_set(), isl_aff_neg_basic_set(), isl_aff_nonneg_basic_set(), isl_aff_pos_basic_set(), isl_aff_substitute_equalities(), isl_aff_substitute_equalities_lifted(), isl_aff_unbind_params_insert_domain(), isl_aff_zero_basic_set(), ISL_ARG_CHOICE(), isl_ast_build_compute_gist_basic_set(), isl_ast_build_expr_from_basic_set(), isl_ast_build_expr_from_set_internal(), isl_ast_build_set_loop_bounds(), isl_ast_build_set_pending_generated(), isl_ast_build_specialize_basic_set(), isl_ast_graft_alloc(), isl_ast_graft_alloc_from_children(), isl_ast_graft_enforce(), isl_ast_graft_get_enforced(), isl_ast_graft_list_extract_hoistable_guard(), isl_ast_graft_list_extract_shared_enforced(), isl_ast_graft_preimage_multi_aff(), isl_ast_graft_set_enforced(), isl_ast_graft_unembed(), isl_basic_map_check_compatible_domain(), isl_basic_map_check_compatible_range(), isl_basic_map_compatible_domain(), isl_basic_map_compatible_range(), isl_basic_map_deltas(), isl_basic_map_detect_equalities(), isl_basic_map_domain(), isl_basic_map_expand_divs(), isl_basic_map_from_domain(), isl_basic_map_from_domain_and_range(), isl_basic_map_from_range(), isl_basic_map_gist(), isl_basic_map_gist_domain(), isl_basic_map_has_single_reference(), isl_basic_map_intersect_domain(), isl_basic_map_intersect_range(), isl_basic_map_is_empty(), isl_basic_map_list_underlying_set(), isl_basic_map_overlying_set(), isl_basic_map_partial_lexmax(), isl_basic_map_partial_lexmax_pw_multi_aff(), isl_basic_map_partial_lexmin(), isl_basic_map_partial_lexmin_pw_multi_aff(), isl_basic_map_range(), isl_basic_map_remove_shifted_constraints(), isl_basic_map_sample(), isl_basic_map_set_tuple_is_equal(), isl_basic_map_underlying_set(), isl_basic_map_wrap(), isl_basic_set_add_constraint(), isl_basic_set_add_constraints_dim_map(), isl_basic_set_add_dims(), isl_basic_set_add_eq(), isl_basic_set_add_ineq(), isl_basic_set_affine_hull(), isl_basic_set_align_params(), isl_basic_set_alloc(), isl_basic_set_alloc_div(), isl_basic_set_alloc_equality(), isl_basic_set_alloc_inequality(), isl_basic_set_alloc_space(), isl_basic_set_apply(), isl_basic_set_bound(), isl_basic_set_bound_val(), isl_basic_set_box_from_points(), isl_basic_set_check_equal_space(), isl_basic_set_check_equal_space(), isl_basic_set_check_no_locals(), isl_basic_set_check_no_params(), isl_basic_set_check_range(), isl_basic_set_coefficients(), isl_basic_set_coefficients_base(), isl_basic_set_coefficients_factor(), isl_basic_set_coefficients_morphed_product(), isl_basic_set_coefficients_product(), isl_basic_set_compare_at(), isl_basic_set_compute_divs(), isl_basic_set_compute_vertices(), isl_basic_set_constraint(), isl_basic_set_contains(), isl_basic_set_copy(), isl_basic_set_count_upto(), isl_basic_set_cow(), isl_basic_set_detect_equalities(), isl_basic_set_dim(), isl_basic_set_dim_max_val(), isl_basic_set_dim_residue_class(), isl_basic_set_dims_get_sign(), isl_basic_set_drop(), isl_basic_set_drop_constraints_involving(), isl_basic_set_drop_constraints_involving_dims(), isl_basic_set_drop_constraints_involving_unknown_divs(), isl_basic_set_drop_constraints_not_involving_dims(), isl_basic_set_drop_dims(), isl_basic_set_drop_inequality(), isl_basic_set_drop_unused_params(), isl_basic_set_dump(), isl_basic_set_dup(), isl_basic_set_eliminate(), isl_basic_set_eliminate_vars(), isl_basic_set_empty(), isl_basic_set_eq_is_stride(), isl_basic_set_equalities_matrix(), isl_basic_set_expand_divs(), isl_basic_set_extend(), isl_basic_set_extend_constraints(), isl_basic_set_extract_equalities(), isl_basic_set_factorizer(), isl_basic_set_finalize(), isl_basic_set_first_unknown_div(), isl_basic_set_fix(), isl_basic_set_fix_si(), isl_basic_set_fix_val(), isl_basic_set_flat_product(), isl_basic_set_flatten(), isl_basic_set_follows_at(), isl_basic_set_foreach_bound_pair(), isl_basic_set_foreach_constraint(), isl_basic_set_free(), isl_basic_set_free_equality(), isl_basic_set_free_inequality(), isl_basic_set_from_constraint(), isl_basic_set_from_constraint_matrices(), isl_basic_set_from_local_space(), isl_basic_set_from_multi_aff(), isl_basic_set_from_params(), isl_basic_set_from_point(), isl_basic_set_from_underlying_set(), isl_basic_set_from_vec(), isl_basic_set_full_compression(), isl_basic_set_gauss(), isl_basic_set_get_constraint_list(), isl_basic_set_get_ctx(), isl_basic_set_get_dim_id(), isl_basic_set_get_dim_name(), isl_basic_set_get_div(), isl_basic_set_get_divs(), isl_basic_set_get_hash(), isl_basic_set_get_local_space(), isl_basic_set_get_space(), isl_basic_set_get_tuple_name(), isl_basic_set_gist(), isl_basic_set_has_defining_equality(), isl_basic_set_has_defining_equality(), isl_basic_set_has_defining_inequalities(), isl_basic_set_implicit_equalities(), isl_basic_set_inequalities_matrix(), isl_basic_set_insert_dims(), isl_basic_set_interior_point(), isl_basic_set_intersect(), isl_basic_set_intersect_params(), isl_basic_set_involves_dims(), isl_basic_set_involves_locals(), isl_basic_set_is_bounded(), isl_basic_set_is_box(), isl_basic_set_is_disjoint(), isl_basic_set_is_empty(), isl_basic_set_is_equal(), isl_basic_set_is_params(), isl_basic_set_is_rational(), isl_basic_set_is_subset(), isl_basic_set_is_universe(), isl_basic_set_is_wrapping(), isl_basic_set_lexmax(), isl_basic_set_lexmin(), isl_basic_set_lexmin_compute_divs(), isl_basic_set_lexopt(), isl_basic_set_lift(), isl_basic_set_lineality_space(), isl_basic_set_list_intersect(), isl_basic_set_list_intersect(), isl_basic_set_list_union(), isl_basic_set_lower_bound_val(), isl_basic_set_max_lp_val(), isl_basic_set_max_val(), isl_basic_set_min_lp_val(), isl_basic_set_move_dims(), isl_basic_set_multiplicative_call(), isl_basic_set_n_constraint(), isl_basic_set_n_dim(), isl_basic_set_n_equality(), isl_basic_set_n_inequality(), isl_basic_set_n_param(), isl_basic_set_nat_universe(), isl_basic_set_neg(), isl_basic_set_normalize_constraints(), isl_basic_set_offset(), isl_basic_set_opt(), isl_basic_set_opt_lp_val(), isl_basic_set_opt_lp_val_aligned(), isl_basic_set_opt_val(), isl_basic_set_parameter_compression(), isl_basic_set_params(), isl_basic_set_partial_lexmax(), isl_basic_set_partial_lexmax_pw_multi_aff(), isl_basic_set_partial_lexmin(), isl_basic_set_partial_lexmin_pw_multi_aff(), isl_basic_set_peek_space(), isl_basic_set_plain_affine_hull(), isl_basic_set_plain_cmp(), isl_basic_set_plain_dim_is_fixed(), isl_basic_set_plain_has_fixed_var(), isl_basic_set_plain_is_disjoint(), isl_basic_set_plain_is_empty(), isl_basic_set_plain_is_equal(), isl_basic_set_plain_is_universe(), isl_basic_set_positive_orthant(), isl_basic_set_preimage(), isl_basic_set_preimage_multi_aff(), isl_basic_set_print_internal(), isl_basic_set_print_polylib(), isl_basic_set_project_out(), isl_basic_set_read_from_file(), isl_basic_set_read_from_str(), isl_basic_set_recession_cone(), isl_basic_set_reduce_using_equalities(), isl_basic_set_reduced_basis(), isl_basic_set_remove_dims(), isl_basic_set_remove_divs(), isl_basic_set_remove_divs_involving_dims(), isl_basic_set_remove_equalities(), isl_basic_set_remove_redundancies(), isl_basic_set_remove_unknown_divs(), isl_basic_set_reset_space(), isl_basic_set_sample(), isl_basic_set_sample_bounded(), isl_basic_set_sample_point(), isl_basic_set_sample_vec(), isl_basic_set_sample_with_cone(), isl_basic_set_samples(), isl_basic_set_scan(), isl_basic_set_scan_samples(), isl_basic_set_set_dim_name(), isl_basic_set_set_integral(), isl_basic_set_set_rational(), isl_basic_set_set_to_empty(), isl_basic_set_set_tuple_id(), isl_basic_set_set_tuple_name(), isl_basic_set_simplify(), isl_basic_set_size(), isl_basic_set_solutions(), isl_basic_set_solve_ilp(), isl_basic_set_solve_lp(), isl_basic_set_sort_constraints(), isl_basic_set_sort_divs(), isl_basic_set_space_has_equal_params(), isl_basic_set_tighten_outward(), isl_basic_set_to_set(), isl_basic_set_to_str(), isl_basic_set_total_dim(), isl_basic_set_transform_dims(), isl_basic_set_underlying_set(), isl_basic_set_union(), isl_basic_set_universe(), isl_basic_set_unwrap(), isl_basic_set_update_from_tab(), isl_basic_set_upper_bound_val(), isl_basic_set_var_offset(), isl_basic_set_variable_compression(), isl_basic_set_variable_compression_with_id(), isl_basic_set_vars_get_sign(), isl_cell_alloc(), isl_cell_get_domain(), isl_constraint_is_equality(), isl_context_alloc(), isl_context_gbr_alloc(), isl_context_lex_alloc(), isl_factorizer_alloc(), isl_factorizer_every_factor_basic_set(), isl_factorizer_groups(), isl_factorizer_identity(), isl_local_space_check_range(), isl_local_space_lift_basic_set(), isl_local_space_lift_set(), isl_local_space_lifting(), isl_local_space_substitute_equalities(), isl_map_affine_hull(), isl_map_align_params_set(), isl_map_check_equal_space(), isl_map_check_named_params(), isl_map_convex_hull(), isl_map_has_equal_space(), isl_map_lexmax_pw_multi_aff(), isl_map_project_out_all_params(), isl_morph_alloc(), isl_morph_basic_set(), isl_morph_compose(), isl_morph_empty(), isl_morph_identity(), isl_morph_inverse(), isl_morph_set(), isl_multi_aff_bind(), isl_multi_aff_domain(), isl_multi_aff_dup(), isl_multi_aff_from_basic_set_equalities(), isl_multi_aff_substitute_equalities(), isl_printer_print_basic_set(), isl_pw_multi_aff_check_named_params(), isl_pw_multi_aff_project_out(), isl_pw_qpolynomial_fold_morph_domain(), isl_pw_qpolynomial_gist_params(), isl_qpolynomial_as_polynomial_on_domain(), isl_qpolynomial_bound_on_domain_bernstein(), isl_qpolynomial_bound_on_domain_range(), isl_qpolynomial_cst_bound(), isl_qpolynomial_fold_substitute_equalities(), isl_qpolynomial_gist(), isl_qpolynomial_involves_dims(), isl_qpolynomial_substitute_equalities(), isl_qpolynomial_substitute_equalities_lifted(), isl_set_add_basic_set(), isl_set_affine_hull(), isl_set_basic_set_check_equal_space(), isl_set_basic_set_check_equal_space(), isl_set_bounded_simple_hull(), isl_set_box_from_points(), isl_set_coefficients(), isl_set_combined_lineality_space(), isl_set_convex_hull(), isl_set_dump(), isl_set_every_basic_set(), isl_set_foreach_basic_set(), isl_set_from_basic_set(), isl_set_from_point(), isl_set_get_basic_set_list(), isl_set_gist_basic_set(), isl_set_gist_params_basic_set(), isl_set_lexmax_pw_multi_aff(), isl_set_plain_gist_basic_set(), isl_set_plain_unshifted_simple_hull(), isl_set_polyhedral_hull(), isl_set_sample(), isl_set_simple_hull(), isl_set_solutions(), isl_set_split_dims(), isl_set_unshifted_simple_hull(), isl_set_unshifted_simple_hull_from_set_list(), isl_set_wrap_facet(), isl_stream_read_ast_graft(), isl_stream_read_basic_set(), isl_tab_basic_map_partial_lexopt(), isl_tab_basic_map_partial_lexopt_pw_multi_aff(), isl_tab_basic_set_non_trivial_lexmin(), isl_tab_detect_equalities(), isl_tab_from_basic_set(), isl_tab_from_recession_cone(), isl_tab_lexmin_from_basic_set(), isl_tab_peek_bset(), isl_tab_track_bset(), isl_union_pw_aff_max_val(), isl_union_set_from_basic_set(), isl_union_set_sample(), isl_vertex_get_domain(), isl_vertex_get_expr(), isl_vertices_foreach_cell(), isl_vertices_foreach_disjoint_cell(), join_initial(), lower_dim_vertices(), lower_dim_vertices_free(), lp_add_inter(), lp_add_intra(), main(), isl::basic_set::manage, isl::basic_set::manage_copy, map_intersect_set(), map_simple_hull(), mark_shifted_constraints(), modulo_affine_hull(), modulo_lineality(), monotonicity(), move_parameters(), multiplicative_call_base(), multiplicative_call_factor_pw_qpolynomial(), need_split_basic_set(), neg_halfspace(), non_neg_lexmin(), nonneg_halfspace(), opt_at(), parameter_compute_divs(), parametric_constant_never_positive(), path_along_delta(), plug_in(), plug_in_parameters(), print_basic_set_c(), project_onto_involved(), propagate_on_bound_pair(), propagate_on_domain(), proto_hull(), purity(), pw_aff_locus(), qpolynomial_bound_on_domain_range(), rational_sample(), rational_universe(), refine_generic(), isl::basic_set::release(), remove_shifted_constraints(), replace_by_empty(), return_with_identity(), round_up_in_cone(), sample_bounded(), sample_eq(), scan_0D(), select_minimum(), set_bounds(), set_common_multiple(), set_compute_elimination_index(), set_detect_stride(), set_dim_extent(), set_div_slice(), set_enforced_from_list(), set_enforced_from_set(), set_from_updated_bmap(), set_hash_index(), set_largest_lower_bound(), set_minimum(), set_minimum_pa(), set_reduced_using_equalities(), set_smallest_upper_bound(), set_up_substitutions(), setup_constraint_index(), SF(), SF(), SF(), SF(), SF(), SF(), SF(), SF(), shared_outer(), shift_cone(), sol_add(), sol_domain(), sol_init(), sol_map_add(), sol_map_add_empty(), sol_map_add_empty_wrap(), sol_map_add_wrap(), sol_map_init(), sol_pma_add(), sol_pma_add_empty(), sol_pma_add_empty_wrap(), sol_pma_add_wrap(), sol_pma_init(), sol_push_sol(), sol_push_sol_mat(), solve_ilp(), solve_ilp_search(), solve_ilp_with_eq(), solve_lp(), substitute_equalities(), tab_equalities(), tab_for_lexmin(), tab_for_shifted_cone(), tab_shift_cone(), test_affine_hull(), test_affine_hull_case(), test_application_case(), test_chambers(), test_coalesce_union(), test_compute_divs(), test_construction_1(), test_construction_2(), test_convex_hull_case(), test_div(), test_drop_unused_parameters(), test_dual(), test_elimination(), test_empty_projection(), test_factorize(), test_gist(), test_gist_fail(), test_intersect_1(), test_lift(), test_ma_conversion(), test_min_special(), test_min_special2(), test_partial_lexmin(), test_plain_unshifted_simple_hull_special(), test_read(), test_recession_cone(), test_sample(), test_simple_hull(), test_simplify_1(), test_simplify_2(), test_universe(), test_various_simple_hull(), test_vertices(), to_parameter_domain(), transform_column(), triangulate(), try_extract_mod(), unit_box_base_points(), unwrapped_guarded_poly_bound(), update_count(), update_enforced(), update_ineq(), update_ineq_free(), update_values(), uset_affine_hull(), uset_affine_hull_bounded(), uset_convex_hull(), uset_convex_hull_unbounded(), uset_convex_hull_wrap(), uset_convex_hull_wrap_bounded(), uset_gist(), uset_gist_compressed(), uset_gist_full(), uset_gist_uncompressed(), uset_simple_hull(), uset_unshifted_simple_hull_from_basic_set_list(), uset_unshifted_simple_hull_from_constraints(), valid_direction(), valid_direction_lp(), vertex_coordinate(), vertex_is_integral(), vertex_on_facet(), vertices_0D(), vertices_empty(), vertices_from_list(), wrap_constraints(), and zero_sample().

◆ ISL_BASIC_SET_ALL_EQUALITIES

#define ISL_BASIC_SET_ALL_EQUALITIES   (1 << 7)

Definition at line 54 of file isl_map_private.h.

Referenced by isl_basic_set_preimage().

◆ ISL_BASIC_SET_EMPTY

#define ISL_BASIC_SET_EMPTY   (1 << 1)

◆ ISL_BASIC_SET_FINAL

#define ISL_BASIC_SET_FINAL   (1 << 0)

◆ isl_basic_set_list

#define isl_basic_set_list   isl_basic_map_list

◆ ISL_BASIC_SET_NO_IMPLICIT

#define ISL_BASIC_SET_NO_IMPLICIT   (1 << 2)

◆ ISL_BASIC_SET_NO_REDUNDANT

#define ISL_BASIC_SET_NO_REDUNDANT   (1 << 3)

◆ ISL_BASIC_SET_NORMALIZED_DIVS

#define ISL_BASIC_SET_NORMALIZED_DIVS   (1 << 6)

Definition at line 53 of file isl_map_private.h.

Referenced by isl_basic_set_preimage().

◆ ISL_BASIC_SET_RATIONAL

#define ISL_BASIC_SET_RATIONAL   (1 << 4)

Definition at line 51 of file isl_map_private.h.

Referenced by isl_tab_from_recession_cone(), and tab_for_shifted_cone().

◆ ISL_BASIC_SET_REDUCED_COEFFICIENTS

#define ISL_BASIC_SET_REDUCED_COEFFICIENTS   (1 << 8)

Definition at line 55 of file isl_map_private.h.

◆ ISL_BASIC_SET_SORTED

#define ISL_BASIC_SET_SORTED   (1 << 5)

Definition at line 52 of file isl_map_private.h.

Referenced by isl_basic_map_swap_vars(), and isl_basic_set_preimage().

◆ ISL_MAP_DISJOINT

◆ ISL_MAP_NORMALIZED

◆ isl_maybe_isl_basic_set

#define isl_maybe_isl_basic_set   isl_maybe_isl_basic_map

Definition at line 14 of file isl_map_private.h.

Referenced by inter_coefficients(), and intra_coefficients().

◆ isl_set

#define isl_set   isl_map

Definition at line 15 of file isl_map_private.h.

Referenced by __isl_subclass(), __isl_subclass(), add_bound(), add_bound_from_constraint(), add_bounds(), add_constraint(), add_domain(), add_fold(), add_guarded_poly(), add_implied_guards(), add_intermediate_piece(), add_lineality(), add_list(), add_loop_types(), add_n(), add_node(), add_node(), add_non_trivial_lineality(), add_pw_multi_aff_from_domain(), add_same_guard(), add_selected_wraps(), add_selected_wraps_around_facet(), add_split_on(), add_to_guard_list(), add_valid_wraps_around_facet(), add_wrap(), add_wraps(), add_wraps_around_facet(), addNumBasicSets(), polly::IslNodeBuilder::addParameters(), polly::ScopBuilder::addRecordedAssumptions(), polly::ScopBuilder::addUserAssumptions(), aff_constant_is_negative(), after_in_context(), all_intermediate_sources(), all_later_sources(), all_sources(), ast_expr_from_pw_aff(), ast_graft_list_fuse(), ast_node_insert_if(), base_compute_divs(), basic_map_partial_lexopt(), basic_map_partial_lexopt_base(), basic_map_partial_lexopt_base_pw_multi_aff(), basic_map_partial_lexopt_base_sol(), basic_map_partial_lexopt_pw_multi_aff(), basic_map_partial_lexopt_symm_core(), before_for(), bernstein_coefficients_cell(), bernstein_coefficients_factors(), bernstein_coefficients_full_recursive(), bind_id(), box_closure(), box_closure_on_domain(), box_closure_with_identity(), build_ast_from_context(), build_ast_from_domain(), build_ast_from_extension(), build_ast_from_guard(), polly::ScopBuilder::buildConditionSets(), polly::ScopBuilder::buildConditionSets(), polly::ScopBuilder::buildConditionSets(), polly::ScopBuilder::buildUnsignedConditionSets(), polly::Dependences::calculateDependences(), call_create_leaf(), can_be_split_off(), can_wrap_in_facet(), check_eq_adj_eq(), check_exactness_omega(), check_single_expr_min(), check_solution(), check_solution(), cocoa_fig_1_right_graph(), coefficients_entry(), collect_bounds(), collectInfo(), combined_lineality_space(), common_constraints(), composability(), compress_node(), compressed_multiplicative_call(), compute_atomic_domain(), compute_class_domains(), compute_divs(), compute_domains(), compute_domains_init_options(), compute_facet(), compute_mem_based_dependences(), compute_partial_domains(), compute_schedule_with_context(), compute_separate_domain(), compute_size(), compute_sizes(), compute_sizes_and_max(), compute_unroll_domains(), compute_val_based_dependences(), construct_ast_from_union_map(), construct_component(), construct_compressed_id(), construct_constraints(), convex_hull_0d(), convex_hull_1d(), convex_hull_pair(), convex_hull_pair_pointed(), isl::set::copy(), isl::set::copy(), coscheduled_source(), create_node(), create_node_scaled(), dim_is_fixed(), distance_is_bounded(), do_unroll(), do_unroll_iteration(), drop_coalescing_constraints(), polly::dumpExpanded(), polly::dumpPw(), equal_on_domain(), equate_params(), isl::union_set::every_set(), exact_bound(), explicit_bounds(), extend(), extend_domain(), extend_max(), extend_min(), extends(), extends_max(), extends_min(), extract_coefficients(), extract_disjunction(), extract_hull(), extract_loop_type(), extract_node(), extract_pending(), extract_single_piece(), find_unroll_lower_bound(), fix_inactive(), fixed_box_as_map(), floyd_warshall(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), isl::set_list::foreach(), foreach_iteration(), foreach_lifted_subset(), foreach_orthant(), isl::pw_aff::foreach_piece(), isl::pw_multi_aff::foreach_piece(), foreach_point(), isl::union_set::foreach_set(), gen_bin_set_op(), generate_code_in_space(), generate_code_set(), generate_component(), generate_domain(), generate_name(), generate_shifted_component_only_after(), generate_shifted_component_parts(), generate_shifted_component_tree(), generate_shifted_component_tree_base(), generate_shifted_component_tree_part(), generate_shifted_component_tree_separate(), generate_shifted_component_tree_unroll(), isl::set::get(), get_expanded_n_div(), getWidthExpValOnDomain(), gist(), gist_guards(), graft_alloc(), guarded_fold(), has_any(), has_bounded_distances(), has_pure_outer_disjunction(), has_single_value(), has_singular_src_or_dst(), has_spurious_elements(), hoist_guard(), hoist_out_of_context(), identity_upma(), implicit_bounds(), importAccesses(), incremental_closure(), incremental_on_entire_domain(), init_n_maxvar(), initial_facet_constraint(), initial_hull(), insert_dummy_tags(), insert_if(), insert_if_node(), insert_pending_guard_nodes(), inter_coefficients(), intermediate_sources(), intersect_constraints(), intersect_explicit_domain(), intersect_stride_constraint(), intra_coefficients(), is_acyclic(), is_adj_ineq_extension(), is_bound(), is_isolate(), is_isolate_loop_type_option(), is_loop_type_option(), isl_aff_add_on_domain(), isl_aff_eq_set(), isl_aff_ge_set(), isl_aff_gist(), isl_aff_gist_params(), isl_aff_gt_set(), isl_aff_le_set(), isl_aff_lt_set(), isl_aff_ne_set(), isl_aff_unbind_params_insert_domain(), ISL_ARG_CHILD(), isl_ast_build_aff_is_nonneg(), isl_ast_build_alloc(), isl_ast_build_compute_gist(), isl_ast_build_detect_strides(), isl_ast_build_eliminate(), isl_ast_build_eliminate_divs(), isl_ast_build_eliminate_inner(), isl_ast_build_expr_from_basic_set(), isl_ast_build_expr_from_set(), isl_ast_build_expr_from_set_internal(), isl_ast_build_extract_isolated(), isl_ast_build_from_context(), isl_ast_build_get_domain(), isl_ast_build_get_generated(), isl_ast_build_get_isolated(), isl_ast_build_get_option_domain(), isl_ast_build_get_pending(), isl_ast_build_get_stride_constraint(), isl_ast_build_include_stride(), isl_ast_build_init(), isl_ast_build_map_to_iterator(), isl_ast_build_product(), isl_ast_build_replace_pending_by_guard(), isl_ast_build_restrict(), isl_ast_build_restrict_generated(), isl_ast_build_restrict_internal(), isl_ast_build_set_loop_bounds(), isl_ast_build_specialize(), isl_ast_graft_add_guard(), isl_ast_graft_alloc(), isl_ast_graft_alloc_from_children(), isl_ast_graft_get_guard(), isl_ast_graft_list_extract_hoistable_guard(), isl_ast_graft_list_gist_guards(), isl_ast_graft_list_insert_pending_guard_nodes(), isl_basic_map_expand_divs(), isl_basic_map_has_single_reference(), isl_basic_map_partial_lexmax(), isl_basic_map_partial_lexmax_pw_multi_aff(), isl_basic_map_partial_lexmin(), isl_basic_map_partial_lexmin_pw_multi_aff(), isl_basic_set_compute_divs(), isl_basic_set_lexmax(), isl_basic_set_lexmin(), isl_basic_set_lexmin_compute_divs(), isl_basic_set_lexopt(), isl_basic_set_list_from_set(), isl_basic_set_list_intersect(), isl_basic_set_list_union(), isl_basic_set_partial_lexmax(), isl_basic_set_partial_lexmax_pw_multi_aff(), isl_basic_set_partial_lexmin(), isl_basic_set_partial_lexmin_pw_multi_aff(), isl_basic_set_read_from_str(), isl_basic_set_to_set(), isl_basic_set_union(), isl_local_space_check_range(), isl_local_space_lift_set(), isl_map_affine_hull(), isl_map_align_params_set(), isl_map_apply_pw_qpolynomial_fold(), isl_map_bind_domain(), isl_map_bind_range(), isl_map_check_named_params(), isl_map_compatible_domain(), isl_map_compatible_range(), isl_map_convex_hull(), isl_map_deltas(), isl_map_domain(), isl_map_from_domain(), isl_map_from_domain_and_range(), isl_map_from_range(), isl_map_get_range_stride_info(), isl_map_gist_domain(), isl_map_gist_params(), isl_map_gist_range(), isl_map_has_equal_space(), isl_map_intersect_domain(), isl_map_intersect_domain_wrapped_domain(), isl_map_intersect_multi_pw_aff_explicit_domain(), isl_map_intersect_params(), isl_map_intersect_range(), isl_map_intersect_range_wrapped_domain(), isl_map_is_translation(), isl_map_lexmax_pw_multi_aff(), isl_map_params(), isl_map_partial_lexmax(), isl_map_partial_lexmin(), isl_map_partial_lexopt_aligned(), isl_map_partial_lexopt_aligned_pw_multi_aff(), isl_map_project_out_all_params(), isl_map_range(), isl_map_set_has_equal_params(), isl_map_set_tuple_is_equal(), isl_map_subtract_domain(), isl_map_subtract_range(), isl_map_underlying_set(), isl_map_wrap(), isl_morph_set(), isl_multi_aff_add_on_domain(), isl_multi_aff_as_set(), isl_multi_aff_gist(), isl_multi_aff_gist_params(), isl_multi_aff_lex_ge_set(), isl_multi_aff_lex_gt_set(), isl_multi_aff_lex_gte_set(), isl_multi_aff_lex_gte_set_0d(), isl_multi_aff_lex_le_set(), isl_multi_aff_lex_lt_set(), isl_multi_aff_move_dims(), isl_multi_aff_order_at(), isl_multi_pw_aff_apply_pw_aff_aligned(), isl_multi_pw_aff_as_set(), isl_multi_pw_aff_bind(), isl_multi_pw_aff_domain(), isl_multi_pw_aff_from_pw_multi_aff(), isl_multi_pw_aff_gist(), isl_multi_pw_aff_gist_params(), isl_multi_pw_aff_intersect_domain(), isl_multi_pw_aff_intersect_explicit_domain_product(), isl_multi_pw_aff_intersect_params(), isl_multi_pw_aff_move_dims(), isl_multi_union_pw_aff_apply_pw_aff(), isl_multi_union_pw_aff_gist_params(), isl_multi_union_pw_aff_has_non_trivial_domain(), isl_multi_union_pw_aff_intersect_params(), isl_multi_union_pw_aff_intersect_range(), isl_obj_set_add(), isl_obj_set_copy(), isl_obj_set_free(), isl_obj_set_print(), isl_options_get_ast_build_allow_or(), isl_options_get_schedule_carry_self_first(), isl_options_get_tile_shift_point_loops(), isl_point_to_set(), isl_poly_mul(), isl_printer_print_set(), isl_pw_aff_alloc(), isl_pw_aff_as_aff(), isl_pw_aff_bind_domain_wrapped_domain(), isl_pw_aff_bind_id(), isl_pw_aff_cond(), isl_pw_aff_domain(), isl_pw_aff_dump(), isl_pw_aff_eq_set(), isl_pw_aff_every_piece(), isl_pw_aff_foreach_piece(), isl_pw_aff_ge_set(), isl_pw_aff_gist(), isl_pw_aff_gist_params(), isl_pw_aff_gt_set(), isl_pw_aff_intersect_domain(), isl_pw_aff_intersect_domain_wrapped_domain(), isl_pw_aff_intersect_domain_wrapped_range(), isl_pw_aff_intersect_params(), isl_pw_aff_le_set(), isl_pw_aff_list_eq_set(), isl_pw_aff_list_ge_set(), isl_pw_aff_list_gt_set(), isl_pw_aff_list_le_set(), isl_pw_aff_list_lt_set(), isl_pw_aff_list_ne_set(), isl_pw_aff_list_opt(), isl_pw_aff_lt_set(), isl_pw_aff_ne_set(), isl_pw_aff_non_zero_set(), isl_pw_aff_nonneg_set(), isl_pw_aff_order_map(), isl_pw_aff_param_on_domain_id(), isl_pw_aff_params(), isl_pw_aff_pos_set(), isl_pw_aff_select(), isl_pw_aff_subtract_domain(), isl_pw_aff_tdiv_q(), isl_pw_aff_val_on_domain(), isl_pw_aff_zero_set(), isl_pw_multi_aff_alloc(), isl_pw_multi_aff_as_multi_aff(), isl_pw_multi_aff_as_set(), isl_pw_multi_aff_domain(), isl_pw_multi_aff_empty(), isl_pw_multi_aff_every_piece(), isl_pw_multi_aff_foreach_piece(), isl_pw_multi_aff_from_domain(), isl_pw_multi_aff_from_multi_pw_aff_0D(), isl_pw_multi_aff_from_pw_aff(), isl_pw_multi_aff_from_set(), isl_pw_multi_aff_gist(), isl_pw_multi_aff_gist_params(), isl_pw_multi_aff_intersect_domain(), isl_pw_multi_aff_intersect_domain_wrapped_domain(), isl_pw_multi_aff_intersect_domain_wrapped_range(), isl_pw_multi_aff_intersect_params(), isl_pw_multi_aff_multi_val_on_domain(), isl_pw_multi_aff_product(), isl_pw_multi_aff_substitute(), isl_pw_multi_aff_subtract_domain(), isl_pw_multi_aff_to_str(), isl_pw_qpolynomial_add_piece(), isl_pw_qpolynomial_alloc(), isl_pw_qpolynomial_domain(), isl_pw_qpolynomial_every_piece(), isl_pw_qpolynomial_fold_alloc(), isl_pw_qpolynomial_fold_covers(), isl_pw_qpolynomial_fold_domain(), isl_pw_qpolynomial_fold_every_piece(), isl_pw_qpolynomial_fold_fix_val(), isl_pw_qpolynomial_fold_fold(), isl_pw_qpolynomial_fold_foreach_lifted_piece(), isl_pw_qpolynomial_fold_foreach_piece(), isl_pw_qpolynomial_fold_gist(), isl_pw_qpolynomial_fold_gist_params(), isl_pw_qpolynomial_fold_intersect_domain(), isl_pw_qpolynomial_fold_intersect_domain_wrapped_domain(), isl_pw_qpolynomial_fold_intersect_domain_wrapped_range(), isl_pw_qpolynomial_fold_intersect_params(), isl_pw_qpolynomial_fold_min(), isl_pw_qpolynomial_fold_morph_domain(), isl_pw_qpolynomial_fold_peek_base_at(), isl_pw_qpolynomial_fold_subtract_domain(), isl_pw_qpolynomial_foreach_lifted_piece(), isl_pw_qpolynomial_foreach_piece(), isl_pw_qpolynomial_from_pw_aff(), isl_pw_qpolynomial_gist(), isl_pw_qpolynomial_gist_params(), isl_pw_qpolynomial_intersect_domain(), isl_pw_qpolynomial_intersect_domain_wrapped_domain(), isl_pw_qpolynomial_intersect_domain_wrapped_range(), isl_pw_qpolynomial_intersect_params(), isl_pw_qpolynomial_mul(), isl_pw_qpolynomial_project_out(), isl_pw_qpolynomial_subtract_domain(), isl_qpolynomial_add_on_domain(), isl_qpolynomial_aff_sign(), isl_qpolynomial_cst_bound(), isl_qpolynomial_fold_add_on_domain(), isl_qpolynomial_fold_fold_on_domain(), isl_qpolynomial_fold_gist(), isl_qpolynomial_fold_gist_params(), isl_qpolynomial_fold_opt_on_domain(), isl_qpolynomial_gist(), isl_qpolynomial_gist_params(), isl_qpolynomial_opt_on_domain(), isl_qpolynomial_sign(), isl_restriction_input(), isl_restriction_output(), isl_sched_graph_domain(), isl_schedule_band_get_ast_isolate_option(), isl_schedule_band_replace_ast_build_option(), isl_schedule_constraints_get_context(), isl_schedule_constraints_set_context(), isl_schedule_constraints_to_str(), isl_schedule_gist_domain_params(), isl_schedule_insert_context(), isl_schedule_insert_guard(), isl_schedule_node_band_get_ast_isolate_option(), isl_schedule_node_context_get_context(), isl_schedule_node_domain_gist_params(), isl_schedule_node_group(), isl_schedule_node_guard_get_guard(), isl_schedule_node_insert_context(), isl_schedule_node_insert_guard(), isl_schedule_tree_band_get_ast_isolate_option(), isl_schedule_tree_band_split(), isl_schedule_tree_context_get_context(), isl_schedule_tree_from_context(), isl_schedule_tree_from_guard(), isl_schedule_tree_guard_get_guard(), isl_schedule_tree_guard_get_guard(), isl_schedule_tree_insert_context(), isl_schedule_tree_insert_guard(), isl_set_add_basic_set(), isl_set_add_basic_set_equality(), isl_set_add_constraint(), isl_set_add_dims(), isl_set_affine_hull(), isl_set_align_divs(), isl_set_align_params(), isl_set_alloc_space(), isl_set_apply(), isl_set_apply_pw_qpolynomial_fold(), isl_set_as_pw_multi_aff(), isl_set_basic_set_check_equal_space(), isl_set_basic_set_check_equal_space(), isl_set_bind(), isl_set_bounded_simple_hull(), isl_set_box_from_points(), isl_set_check_is_set(), isl_set_check_range(), isl_set_check_range(), isl_set_coalesce(), isl_set_coalesce_preserve(), isl_set_coefficients(), isl_set_combined_lineality_space(), isl_set_complement(), isl_set_compute_divs(), isl_set_contains_point(), isl_set_convex_hull(), isl_set_copy(), isl_set_count(), isl_set_count_upto(), isl_set_count_val(), isl_set_cow(), isl_set_detect_equalities(), isl_set_dim(), isl_set_dim_has_any_lower_bound(), isl_set_dim_has_any_upper_bound(), isl_set_dim_has_lower_bound(), isl_set_dim_has_upper_bound(), isl_set_dim_is_bounded(), isl_set_dim_max(), isl_set_dim_max_val(), isl_set_dim_min(), isl_set_dim_min_val(), isl_set_dim_residue_class(), isl_set_dim_residue_class_val(), isl_set_drop(), isl_set_drop_constraints_involving_dims(), isl_set_drop_constraints_not_involving_dims(), isl_set_drop_unused_params(), isl_set_dump(), isl_set_eliminate(), isl_set_eliminate_dims(), isl_set_empty(), isl_set_equate(), isl_set_every_basic_set(), isl_set_find_dim_by_id(), isl_set_find_dim_by_name(), isl_set_fix(), isl_set_fix_dim_si(), isl_set_fix_si(), isl_set_fix_val(), isl_set_flat_product(), isl_set_flatten(), isl_set_flatten_map(), isl_set_follows_at(), isl_set_foreach_basic_set(), isl_set_foreach_orthant(), isl_set_foreach_point(), isl_set_free(), isl_set_from_basic_set(), isl_set_from_multi_aff(), isl_set_from_multi_pw_aff(), isl_set_from_params(), isl_set_from_point(), isl_set_from_pw_aff(), isl_set_from_pw_multi_aff(), isl_set_from_union_set(), isl_set_get_basic_set_list(), isl_set_get_ctx(), isl_set_get_dim_id(), isl_set_get_dim_name(), isl_set_get_hash(), isl_set_get_lattice_tile(), isl_set_get_plain_multi_val_if_fixed(), isl_set_get_simple_fixed_box_hull(), isl_set_get_space(), isl_set_get_stride(), isl_set_get_stride_info(), isl_set_get_tuple_id(), isl_set_get_tuple_name(), isl_set_gist(), isl_set_gist_basic_set(), isl_set_gist_params(), isl_set_gist_params_basic_set(), isl_set_grow(), isl_set_has_dim_id(), isl_set_has_dim_name(), isl_set_has_equal_space(), isl_set_has_rational(), isl_set_has_tuple_id(), isl_set_has_tuple_name(), isl_set_identity(), isl_set_indicator_function(), isl_set_insert_dims(), isl_set_insert_domain(), isl_set_intersect(), isl_set_intersect_factor_domain(), isl_set_intersect_factor_range(), isl_set_intersect_params(), isl_set_involves_dims(), isl_set_involves_locals(), isl_set_is_bounded(), isl_set_is_box(), isl_set_is_disjoint(), isl_set_is_empty(), isl_set_is_equal(), isl_set_is_params(), isl_set_is_rational(), isl_set_is_singleton(), isl_set_is_strict_subset(), isl_set_is_subset(), isl_set_is_wrapping(), isl_set_lex_ge_set(), isl_set_lex_gt_set(), isl_set_lex_le_set(), isl_set_lex_lt_set(), isl_set_lexmax(), isl_set_lexmax_pw_multi_aff(), isl_set_lexmin(), isl_set_lexmin_pw_multi_aff(), isl_set_lift(), isl_set_list_union(), isl_set_local_affine_hull(), isl_set_lower_bound(), isl_set_lower_bound_multi_pw_aff(), isl_set_lower_bound_multi_val(), isl_set_lower_bound_si(), isl_set_lower_bound_val(), isl_set_make_disjoint(), isl_set_max_multi_pw_aff(), isl_set_max_val(), isl_set_min_multi_pw_aff(), isl_set_min_val(), isl_set_move_dims(), isl_set_n_basic_set(), isl_set_n_dim(), isl_set_n_param(), isl_set_nat_universe(), isl_set_neg(), isl_set_normalize(), isl_set_opt(), isl_set_opt_aligned(), isl_set_opt_val(), isl_set_overlaps(), isl_set_param_pw_aff_on_domain_id(), isl_set_params(), isl_set_partial_lexmax(), isl_set_partial_lexmin(), isl_set_peek_space(), isl_set_plain_cmp(), isl_set_plain_get_val_if_fixed(), isl_set_plain_gist_basic_set(), isl_set_plain_is_disjoint(), isl_set_plain_is_empty(), isl_set_plain_is_equal(), isl_set_plain_is_universe(), isl_set_plain_unshifted_simple_hull(), isl_set_polyhedral_hull(), isl_set_preimage(), isl_set_preimage_multi_aff(), isl_set_preimage_multi_pw_aff(), isl_set_preimage_pw_multi_aff(), isl_set_print_internal(), isl_set_print_omega(), isl_set_print_polylib(), isl_set_product(), isl_set_project_onto_map(), isl_set_project_out(), isl_set_project_out_all_params(), isl_set_project_out_param_id(), isl_set_project_out_param_id_list(), isl_set_pw_aff_on_domain_val(), isl_set_pw_multi_aff_on_domain_multi_val(), isl_set_read_from_file(), isl_set_read_from_str(), isl_set_realign(), isl_set_remove_dims(), isl_set_remove_divs(), isl_set_remove_divs_involving_dims(), isl_set_remove_empty_parts(), isl_set_remove_redundancies(), isl_set_remove_unknown_divs(), isl_set_reset_space(), isl_set_reset_tuple_id(), isl_set_reset_user(), isl_set_sample(), isl_set_sample_point(), isl_set_scan(), isl_set_set_dim_id(), isl_set_set_dim_name(), isl_set_set_rational(), isl_set_set_tuple_id(), isl_set_set_tuple_name(), isl_set_simple_hull(), isl_set_size(), isl_set_solutions(), isl_set_solve_lp(), isl_set_space_has_equal_params(), isl_set_split_dims(), isl_set_substitute(), isl_set_subtract(), isl_set_sum(), isl_set_to_str(), isl_set_to_union_set(), isl_set_translation(), isl_set_tuple_dim(), isl_set_unbind_params(), isl_set_unbind_params_insert_domain(), isl_set_union(), isl_set_union_disjoint(), isl_set_universe(), isl_set_unshifted_simple_hull(), isl_set_unshifted_simple_hull_from_set_list(), isl_set_unwrap(), isl_set_upper_bound(), isl_set_upper_bound_multi_pw_aff(), isl_set_upper_bound_multi_val(), isl_set_upper_bound_si(), isl_set_upper_bound_val(), isl_set_wrap_facet(), isl_set_wrapped_domain_map(), isl_space_universe_set(), isl_stream_read_ast_graft(), isl_stream_read_schedule_constraints(), isl_stream_read_set(), isl_stream_read_with_params_multi_pw_aff(), isl_stream_read_with_params_union_pw_aff(), isl_stream_read_with_params_union_pw_multi_aff(), isl_tab_basic_map_partial_lexopt(), isl_tab_basic_map_partial_lexopt_pw_multi_aff(), isl_term_get_exp(), isl_union_map_dim(), isl_union_map_gist_params(), isl_union_map_intersect_params(), isl_union_map_params(), isl_union_pw_aff_gist_params(), isl_union_pw_aff_intersect_params(), isl_union_pw_aff_max_val(), isl_union_pw_multi_aff_gist_params(), isl_union_pw_multi_aff_intersect_params(), isl_union_pw_qpolynomial_fold_gist_params(), isl_union_pw_qpolynomial_fold_intersect_params(), isl_union_pw_qpolynomial_gist_params(), isl_union_pw_qpolynomial_intersect_params(), isl_union_set_add_set(), isl_union_set_as_set(), isl_union_set_every_set(), isl_union_set_extract_set(), isl_union_set_foreach_set(), isl_union_set_from_set(), isl_union_set_gist_params(), isl_union_set_intersect_params(), isl_union_set_is_params(), isl_union_set_params(), isolate(), isolate_final(), isolate_initial(), polly::Dependences::isParallel(), last_later_source(), last_source(), less(), list_add_guard(), list_cmp(), loop_types(), lower_bounds(), main(), isl::set::manage, isl::set::manage_copy, map_from_tuple(), map_intersect_domains(), map_intersect_set(), map_simple_hull(), map_unshifted_simple_hull_from_basic_map_list(), polly::IslNodeBuilder::materializeParameters(), merge(), merge_lists(), modulo_affine_hull(), modulo_lineality(), MULTI(), MULTI(), mupa_intersect_range_0D(), nan_on_domain_set(), need_split_set(), not(), obj_read_body(), obj_read_poly(), obj_read_poly_or_fold(), only_intersects_first(), polly::operator<<(), parameter_compute_divs(), piece_opt(), plain_injective_on_range_wrap(), plain_pw_multi_aff_from_map(), polly::IslNodeBuilder::preloadInvariantLoad(), polly::IslNodeBuilder::preloadUnconditionally(), print_disjuncts_set(), print_pw_aff_c(), print_set_c(), project_out_fixed(), proto_hull(), pw_aff_gte_set(), pw_aff_list_set(), pw_aff_locus(), pw_aff_max(), pw_aff_min(), pw_aff_on_domain(), pw_aff_val_on_domain(), pw_multi_aff_from_map_stride(), pw_multi_aff_multi_val_on_domain(), pw_multi_aff_set_pw_aff(), q_closure(), qpolynomial_bound_on_domain_range(), qpolynomial_fold_covers_on_domain(), read_aff_domain(), read_conditional_aff(), read_conditional_multi_aff(), read_conditional_multi_pw_aff(), read_context(), read_guard(), read_multi_union_pw_aff_core(), read_params(), read_pw_aff_with_dom(), read_union_pw_aff_el(), read_union_pw_aff_with_dom(), read_universe_params(), refine_generic(), refine_generic_bounds(), refine_generic_split(), isl::set::release(), remove_redundant_lower_bounds(), replace_by_nan(), replace_list_by_nan(), restricted_partial_lexmax(), S(), S(), scan_one(), separate_domain(), separate_schedule_domains(), isl::set::set(), set_append_equalities(), set_bound_multi_pw_aff(), set_bound_multi_val(), set_bounds(), set_check_equal(), set_detect_stride(), set_dim_opt(), set_div(), set_div_slice(), set_enforced_from_list(), set_enforced_from_set(), set_for_cond_from_set(), set_for_node_expressions(), set_from_map(), set_from_updated_bmap(), set_is_equal(), set_lower(), set_max_constant_term(), set_minimum(), set_parameter_preimage(), set_plug_in_parameters(), set_product_entry(), set_single(), set_to_map(), set_upper(), setup_groups(), SF(), SF(), SF(), SF(), SF(), SF(), SF(), SF(), SF(), SF(), SF(), SF(), sh_data_alloc(), single_is_subset(), single_valued_on_domain(), solutions_entry(), split(), split_div(), split_domain(), split_domain_pma(), split_periods(), steal_from_cst(), store_guard(), test_aff(), test_affine_hull(), test_ast_build(), test_ast_gen1(), test_ast_gen2(), test_ast_gen3(), test_ast_gen4(), test_ast_gen5(), test_bin_locus_ma(), test_bind_aff(), test_bind_map_domain(), test_bind_pa(), test_bind_set(), test_bound_space(), test_bounded(), test_box_hull(), test_coalesce_intersection(), test_coalesce_set(), test_coalesce_special3(), test_coalesce_union(), test_compute_divs(), test_convex_hull_algo(), test_convex_hull_case(), test_dim_max(), test_dim_max_1(), test_dim_max_2(), test_disjoint(), test_div(), test_drop_unused_parameters(), test_equal(), test_eval_1(), test_eval_2(), test_eval_aff(), test_gist(), test_intersect_2(), test_lexmin(), test_min(), test_min_special(), test_multi_pw_aff_1(), test_mupa_set(), test_one_schedule(), test_output_set(), test_padded_schedule(), test_parse_mpa(), test_parse_mupa(), test_plain_unshifted_simple_hull_special(), test_pointer(), test_product(), test_pwqp(), test_pwqp_gist(), test_residue_class(), test_set_conversion(), test_simple_hull(), test_subset(), test_subset_duplicate_integer_divisions(), test_subtract_empty(), test_unbind_set(), test_various_simple_hull(), to_polynomial_on_orthant(), try_wrap_in_facets(), unbind_params_insert_domain(), union_floyd_warshall_on_list(), update_n_div(), update_values(), upper_bounds(), use_upper_bound_list(), uset_convex_hull(), uset_convex_hull_unbounded(), uset_convex_hull_wrap(), uset_convex_hull_wrap_bounded(), uset_is_bound(), uset_simple_hull(), uset_unshifted_simple_hull_from_basic_set_list(), uset_unshifted_simple_hull_from_constraints(), verify_point(), polly::SCEVAffinator::visit(), wrap_constraints(), wrap_in_facet(), wrap_in_facets(), and polly::IslNodeBuilder::~IslNodeBuilder().

◆ ISL_SET_DISJOINT

#define ISL_SET_DISJOINT   (1 << 0)

Definition at line 100 of file isl_map_private.h.

Referenced by set_minimum(), sol_map_init(), and sol_pma_init().

◆ isl_set_list

◆ ISL_SET_NORMALIZED

#define ISL_SET_NORMALIZED   (1 << 1)

Definition at line 101 of file isl_map_private.h.

Referenced by isl_set_preimage(), and map_preimage_multi_aff().

Function Documentation

◆ isl_basic_map_add_div_constraint()

__isl_give isl_basic_map * isl_basic_map_add_div_constraint ( __isl_take isl_basic_map * bmap,
unsigned div,
int sign )

Definition at line 5610 of file isl_map.c.

References __isl_give, __isl_take, add_lower_div_constraint(), and add_upper_div_constraint().

Referenced by eliminate_unit_div().

◆ isl_basic_map_add_div_constraints()

◆ isl_basic_map_add_eq()

◆ isl_basic_map_add_ineq()

◆ isl_basic_map_add_known_div_constraints()

◆ isl_basic_map_align_divs()

◆ isl_basic_map_alloc()

__isl_give isl_basic_map * isl_basic_map_alloc ( isl_ctx * ctx,
unsigned nparam,
unsigned in,
unsigned out,
unsigned extra,
unsigned n_eq,
unsigned n_ineq )

◆ isl_basic_map_alloc_div()

◆ isl_basic_map_alloc_equality()

◆ isl_basic_map_alloc_inequality()

◆ isl_basic_map_alloc_space()

◆ isl_basic_map_applies_range()

◆ isl_basic_map_check_equal_space()

◆ isl_basic_map_check_range()

◆ isl_basic_map_compatible_domain()

◆ isl_basic_map_compatible_range()

◆ isl_basic_map_constraint_cmp()

int isl_basic_map_constraint_cmp ( __isl_keep isl_basic_map * bmap,
isl_int * c1,
isl_int * c2 )

◆ isl_basic_map_contains()

◆ isl_basic_map_contains_point()

◆ isl_basic_map_cow()

__isl_give isl_basic_map * isl_basic_map_cow ( __isl_take isl_basic_map * bmap)

Definition at line 2052 of file isl_map.c.

References __isl_give, __isl_take, isl_basic_map_dup(), ISL_BASIC_MAP_REDUCED_COEFFICIENTS, ISL_BASIC_SET_FINAL, and ISL_F_CLR.

Referenced by add_known_div_constraints(), add_sub_vars(), align_context_divs(), basic_map_bound(), basic_map_bound_si(), basic_map_collect_diff(), basic_replace_space_by_local_space(), compute_divs(), drop_equalities(), drop_inequalities(), drop_unrelated_constraints(), extend(), get_aff(), insert_bounds_on_div_from_ineq(), insert_div_rows(), isl_basic_map_add_eq(), isl_basic_map_add_ineq(), isl_basic_map_align_divs(), isl_basic_map_curry(), isl_basic_map_drop(), isl_basic_map_drop_constraints_involving(), isl_basic_map_drop_constraints_not_involving_dims(), isl_basic_map_eliminate_vars(), isl_basic_map_expand_divs(), isl_basic_map_fix_pos(), isl_basic_map_fix_pos_si(), isl_basic_map_image_is_bounded(), isl_basic_map_insert_div(), isl_basic_map_intersect(), isl_basic_map_intersect_domain(), isl_basic_map_intersect_range(), isl_basic_map_mark_div_unknown(), isl_basic_map_neg(), isl_basic_map_plain_affine_hull(), isl_basic_map_preimage_vars(), isl_basic_map_project_out(), isl_basic_map_reduce_coefficients(), isl_basic_map_restore_space(), isl_basic_map_reverse(), isl_basic_map_set_rational(), isl_basic_map_swap_vars(), isl_basic_map_transform_dims(), isl_basic_map_uncurry(), isl_basic_map_underlying_set(), isl_basic_map_zip(), isl_basic_set_cow(), isl_tab_track_bmap(), select_shared_equalities(), select_shared_inequalities(), set_eq_and_try_again(), SF(), split_aff(), and tab_insert_divs().

◆ isl_basic_map_detect_inequality_pairs()

__isl_give isl_basic_map * isl_basic_map_detect_inequality_pairs ( __isl_take isl_basic_map * bmap,
int * progress )

◆ isl_basic_map_div_is_known()

◆ isl_basic_map_div_is_marked_unknown()

◆ isl_basic_map_divs_known()

◆ isl_basic_map_drop()

◆ isl_basic_map_drop_constraints_involving()

◆ isl_basic_map_drop_constraints_involving_unknown_divs()

◆ isl_basic_map_drop_div()

◆ isl_basic_map_drop_equality()

◆ isl_basic_map_drop_inequality()

◆ isl_basic_map_drop_redundant_divs()

◆ isl_basic_map_drop_unrelated_constraints()

◆ isl_basic_map_eliminate_pure_unit_divs()

__isl_give isl_basic_map * isl_basic_map_eliminate_pure_unit_divs ( __isl_take isl_basic_map * bmap)

Definition at line 1510 of file isl_map_simplify.c.

References __isl_give, __isl_take, eliminate_selected_unit_divs(), and is_pure_unit_div().

Referenced by fuse().

◆ isl_basic_map_eliminate_vars()

◆ isl_basic_map_equal_div_expr_except_constant()

isl_bool isl_basic_map_equal_div_expr_except_constant ( __isl_keep isl_basic_map * bmap1,
int pos1,
__isl_keep isl_basic_map * bmap2,
int pos2 )

◆ isl_basic_map_equal_div_expr_part()

isl_bool isl_basic_map_equal_div_expr_part ( __isl_keep isl_basic_map * bmap1,
int pos1,
__isl_keep isl_basic_map * bmap2,
int pos2,
unsigned first,
unsigned n )

◆ isl_basic_map_expand_divs()

__isl_give isl_basic_map * isl_basic_map_expand_divs ( __isl_take isl_basic_set * bmap,
__isl_take isl_mat * div,
int * exp )

◆ isl_basic_map_extend()

◆ isl_basic_map_extend_constraints()

◆ isl_basic_map_finalize()

__isl_give isl_basic_map * isl_basic_map_finalize ( __isl_take isl_basic_map * bmap)

Definition at line 1678 of file isl_map_simplify.c.

References __isl_give, __isl_take, isl_basic_map_mark_final(), and remove_redundant_divs().

Referenced by basic_map_bound(), basic_map_bound_si(), basic_map_collect_diff(), basic_map_read_polylib(), basic_replace_space_by_local_space(), box_closure_on_domain(), equate_parameter_to_length(), equator(), fuse(), get_aff(), greator(), isl_basic_map_add_known_div_constraints(), isl_basic_map_apply_range(), isl_basic_map_deltas_map(), isl_basic_map_detect_equalities(), isl_basic_map_domain_map(), isl_basic_map_domain_product(), isl_basic_map_drop(), isl_basic_map_eliminate(), isl_basic_map_equal(), isl_basic_map_fix_pos(), isl_basic_map_fix_pos_si(), isl_basic_map_floordiv(), isl_basic_map_from_aff2(), isl_basic_map_from_constraint_matrices(), isl_basic_map_from_qpolynomial(), isl_basic_map_insert_dims(), isl_basic_map_intersect(), isl_basic_map_intersect_domain(), isl_basic_map_intersect_range(), isl_basic_map_less_at(), isl_basic_map_less_or_equal_at(), isl_basic_map_more_at(), isl_basic_map_more_or_equal_at(), isl_basic_map_move_dims(), isl_basic_map_neg(), isl_basic_map_overlying_set(), isl_basic_map_plain_affine_hull(), isl_basic_map_plain_gist(), isl_basic_map_plain_unshifted_simple_hull(), isl_basic_map_preimage_multi_aff(), isl_basic_map_product(), isl_basic_map_project_out(), isl_basic_map_range_map(), isl_basic_map_range_product(), isl_basic_map_realign(), isl_basic_map_remove_divs(), isl_basic_map_reset_space(), isl_basic_map_set_dim_name(), isl_basic_map_set_rational(), isl_basic_map_set_to_empty(), isl_basic_map_set_tuple_id(), isl_basic_map_set_tuple_name(), isl_basic_map_sum(), isl_basic_map_swap_vars(), isl_basic_map_underlying_set(), isl_basic_map_universe(), isl_basic_map_wrap(), isl_basic_set_finalize(), isl_map_affine_hull(), isl_map_oppose(), map_intersect_add_constraint(), map_simple_hull(), path_along_delta(), path_along_steps(), set_path_length(), SF(), update_basic_maps(), var_equal(), var_less(), var_less_or_equal(), var_more(), and var_more_or_equal().

◆ isl_basic_map_first_unknown_div()

int isl_basic_map_first_unknown_div ( __isl_keep isl_basic_map * bmap)

◆ isl_basic_map_fix()

◆ isl_basic_map_free_div()

isl_stat isl_basic_map_free_div ( __isl_keep isl_basic_map * bmap,
unsigned n )

Definition at line 1938 of file isl_map.c.

References __isl_keep, isl_assert, isl_stat_error, isl_stat_ok, and n.

Referenced by isl_basic_map_drop_core(), and isl_basic_map_set_to_empty().

◆ isl_basic_map_free_equality()

◆ isl_basic_map_free_inequality()

◆ isl_basic_map_from_local_space()

◆ isl_basic_map_from_multi_aff2()

◆ isl_basic_map_gauss()

◆ isl_basic_map_gauss5()

◆ isl_basic_map_get_divs()

◆ isl_basic_map_get_hash()

◆ isl_basic_map_has_single_reference()

isl_bool isl_basic_map_has_single_reference ( __isl_keep isl_basic_map * bmap)

◆ isl_basic_map_implicit_equalities()

◆ isl_basic_map_inequality_to_equality()

◆ isl_basic_map_insert_div()

◆ isl_basic_map_is_div_constraint()

◆ isl_basic_map_is_transformation()

isl_bool isl_basic_map_is_transformation ( __isl_keep isl_basic_map * bmap)

◆ isl_basic_map_list_align_divs_to_basic_map()

__isl_give isl_basic_map_list * isl_basic_map_list_align_divs_to_basic_map ( __isl_take isl_basic_map_list * list,
__isl_keep isl_basic_map * bmap )

◆ isl_basic_map_list_underlying_set()

__isl_give isl_basic_set_list * isl_basic_map_list_underlying_set ( __isl_take isl_basic_map_list * list)

◆ isl_basic_map_mark_div_unknown()

◆ isl_basic_map_mark_final()

◆ isl_basic_map_may_be_set()

isl_bool isl_basic_map_may_be_set ( __isl_keep isl_basic_map * bmap)

Definition at line 5998 of file isl_map.c.

References __isl_keep, isl_bool_error, and isl_space_may_be_set().

Referenced by isl_stream_read_basic_set().

◆ isl_basic_map_n_equality()

◆ isl_basic_map_n_inequality()

◆ isl_basic_map_normalize_constraints()

◆ isl_basic_map_offset()

unsigned isl_basic_map_offset ( __isl_keep isl_basic_map * bmap,
enum isl_dim_type type )

Definition at line 177 of file isl_map.c.

References __isl_keep, isl_basic_map_var_offset(), isl_dim_cst, isl_dim_div, isl_dim_in, isl_dim_out, isl_dim_param, and type.

Referenced by add_constraints(), basic_map_bound(), basic_map_bound_si(), basic_map_dim_is_bounded(), better_div_constraint(), bmap_eq_involves_unknown_divs(), check_for_div_constraints(), div_involves_vars(), div_may_involve_output(), drop_irrelevant_constraints(), drop_more_redundant_divs(), eliminate_divs_eq(), eliminate_divs_ineq(), equator(), extract_aff_from_equality(), find_modulo_constraint_pair(), fix_constant_divs(), fix_cst_lower(), greator(), has_coef_one(), increment(), insert_div_rows(), int_between_bounds(), isl_basic_map_div_is_known(), isl_basic_map_drop_constraints_involving_dims(), isl_basic_map_drop_constraints_involving_unknown_divs(), isl_basic_map_drop_constraints_not_involving_dims(), isl_basic_map_drop_core(), isl_basic_map_drop_redundant_divs(), isl_basic_map_eliminate(), isl_basic_map_equalities_matrix(), isl_basic_map_fix(), isl_basic_map_fix_si(), isl_basic_map_fix_val(), isl_basic_map_from_aff2(), isl_basic_map_from_constraint_matrices(), isl_basic_map_has_defining_equality(), isl_basic_map_inequalities_matrix(), isl_basic_map_involves_dims(), isl_basic_map_is_div_constraint(), isl_basic_map_neg(), isl_basic_map_output_defining_equality(), isl_basic_map_plain_is_fixed(), isl_basic_map_remove_dims(), isl_basic_map_remove_divs_involving_dims(), isl_basic_map_reverse(), isl_basic_map_transform_dims(), isl_basic_map_zip(), isl_basic_set_offset(), isl_dim_map_div(), isl_dim_map_extend(), isl_map_oppose(), isl_map_remove_dims(), lower_bound_is_cst(), move_last(), next_is_opposite(), ok_to_set_div_from_bound(), print_constraints(), pw_multi_aff_from_map_check_div(), pw_multi_aff_from_map_check_strides(), pw_multi_aff_from_map_div(), pw_multi_aff_from_map_stride(), set_div_from_eq(), set_div_from_lower_bound(), and single_unknown().

◆ isl_basic_map_order_divs()

◆ isl_basic_map_output_defining_equality()

◆ isl_basic_map_overlying_set()

◆ isl_basic_map_peek_space()

◆ isl_basic_map_plain_affine_hull()

◆ isl_basic_map_plain_cmp()

◆ isl_basic_map_plain_is_equal()

◆ isl_basic_map_plain_is_non_empty()

◆ isl_basic_map_plain_is_single_valued()

◆ isl_basic_map_reduce_coefficients()

◆ isl_basic_map_remove_duplicate_constraints()

◆ isl_basic_map_reset()

◆ isl_basic_map_reset_space()

◆ isl_basic_map_set_div_expr_constant_num_si_inplace()

__isl_give isl_basic_map * isl_basic_map_set_div_expr_constant_num_si_inplace ( __isl_take isl_basic_map * bmap,
int div,
int value )

◆ isl_basic_map_set_rational()

◆ isl_basic_map_set_to_empty()

◆ isl_basic_map_shift_div()

◆ isl_basic_map_simplify()

◆ isl_basic_map_sort_constraints()

◆ isl_basic_map_sort_divs()

◆ isl_basic_map_swap_div()

◆ isl_basic_map_transform_dims()

◆ isl_basic_map_underlying_set()

◆ isl_basic_map_var_offset()

◆ isl_basic_set_add_eq()

◆ isl_basic_set_add_ineq()

__isl_give isl_basic_set * isl_basic_set_add_ineq ( __isl_take isl_basic_set * bset,
isl_int * ineq )

◆ isl_basic_set_alloc()

◆ isl_basic_set_alloc_div()

int isl_basic_set_alloc_div ( __isl_keep isl_basic_set * bset)

Definition at line 1883 of file isl_map.c.

References __isl_keep, bset_to_bmap(), isl_basic_map_alloc_div(), and isl_basic_set.

Referenced by farkas(), and isl_basic_set_lineality_space().

◆ isl_basic_set_alloc_equality()

◆ isl_basic_set_alloc_inequality()

◆ isl_basic_set_alloc_space()

◆ isl_basic_set_check_equal_space()

isl_stat isl_basic_set_check_equal_space ( __isl_keep isl_basic_set * bset1,
__isl_keep isl_basic_set * bset2 )

References __isl_keep, and isl_basic_set.

◆ isl_basic_set_check_no_locals()

◆ isl_basic_set_check_no_params()

◆ isl_basic_set_check_range()

isl_stat isl_basic_set_check_range ( __isl_keep isl_basic_set * bset,
enum isl_dim_type type,
unsigned first,
unsigned n )

◆ isl_basic_set_contains()

◆ isl_basic_set_count_upto()

◆ isl_basic_set_cow()

◆ isl_basic_set_dim_residue_class()

◆ isl_basic_set_drop()

__isl_give isl_basic_set * isl_basic_set_drop ( __isl_take isl_basic_set * bset,
enum isl_dim_type type,
unsigned first,
unsigned n )

◆ isl_basic_set_drop_constraints_involving()

__isl_give isl_basic_set * isl_basic_set_drop_constraints_involving ( __isl_take isl_basic_set * bset,
unsigned first,
unsigned n )

◆ isl_basic_set_drop_constraints_involving_unknown_divs()

__isl_give isl_basic_set * isl_basic_set_drop_constraints_involving_unknown_divs ( __isl_take isl_basic_set * bset)

◆ isl_basic_set_drop_dims()

__isl_give isl_basic_set * isl_basic_set_drop_dims ( __isl_take isl_basic_set * bset,
unsigned first,
unsigned n )

◆ isl_basic_set_drop_inequality()

int isl_basic_set_drop_inequality ( __isl_keep isl_basic_set * bset,
unsigned pos )

◆ isl_basic_set_dup()

◆ isl_basic_set_eliminate_vars()

__isl_give isl_basic_set * isl_basic_set_eliminate_vars ( __isl_take isl_basic_set * bset,
unsigned pos,
unsigned n )

◆ isl_basic_set_eq_is_stride()

◆ isl_basic_set_expand_divs()

__isl_give isl_basic_set * isl_basic_set_expand_divs ( __isl_take isl_basic_set * bset,
__isl_take isl_mat * div,
int * exp )

◆ isl_basic_set_extend()

__isl_give isl_basic_set * isl_basic_set_extend ( __isl_take isl_basic_set * base,
unsigned extra,
unsigned n_eq,
unsigned n_ineq )

◆ isl_basic_set_extend_constraints()

◆ isl_basic_set_extract_equalities()

◆ isl_basic_set_finalize()

◆ isl_basic_set_first_unknown_div()

int isl_basic_set_first_unknown_div ( __isl_keep isl_basic_set * bset)

Definition at line 8017 of file isl_map.c.

References __isl_keep, isl_basic_map_first_unknown_div(), and isl_basic_set.

Referenced by isl_context_alloc().

◆ isl_basic_set_fix()

__isl_give isl_basic_set * isl_basic_set_fix ( __isl_take isl_basic_set * bset,
enum isl_dim_type type,
unsigned pos,
isl_int value )

◆ isl_basic_set_free_equality()

__isl_give isl_basic_set * isl_basic_set_free_equality ( __isl_take isl_basic_set * bset,
unsigned n )

◆ isl_basic_set_free_inequality()

__isl_give isl_basic_set * isl_basic_set_free_inequality ( __isl_take isl_basic_set * bset,
unsigned n )

◆ isl_basic_set_from_local_space()

◆ isl_basic_set_from_underlying_set()

__isl_give isl_basic_set * isl_basic_set_from_underlying_set ( __isl_take isl_basic_set * bset,
__isl_take isl_basic_set * like )

◆ isl_basic_set_gauss()

◆ isl_basic_set_get_divs()

◆ isl_basic_set_lineality_space()

◆ isl_basic_set_list_union()

◆ isl_basic_set_n_equality()

◆ isl_basic_set_n_inequality()

◆ isl_basic_set_normalize_constraints()

__isl_give isl_basic_set * isl_basic_set_normalize_constraints ( __isl_take isl_basic_set * bset)

◆ isl_basic_set_offset()

◆ isl_basic_set_peek_space()

◆ isl_basic_set_plain_affine_hull()

__isl_give isl_basic_set * isl_basic_set_plain_affine_hull ( __isl_take isl_basic_set * bset)

Definition at line 984 of file isl_affine_hull.c.

References __isl_give, __isl_take, isl_basic_map_plain_affine_hull(), and isl_basic_set.

Referenced by uset_gist().

◆ isl_basic_set_plain_dim_is_fixed()

isl_bool isl_basic_set_plain_dim_is_fixed ( __isl_keep isl_basic_set * bset,
unsigned dim,
isl_int * val )

◆ isl_basic_set_preimage()

◆ isl_basic_set_recession_cone()

◆ isl_basic_set_reset_space()

◆ isl_basic_set_set_integral()

◆ isl_basic_set_set_rational()

◆ isl_basic_set_set_to_empty()

◆ isl_basic_set_simplify()

◆ isl_basic_set_sort_constraints()

__isl_give isl_basic_set * isl_basic_set_sort_constraints ( __isl_take isl_basic_set * bset)

◆ isl_basic_set_sort_divs()

◆ isl_basic_set_space_has_equal_params()

isl_bool isl_basic_set_space_has_equal_params ( __isl_keep isl_basic_set * bset,
__isl_keep isl_space * space )

◆ isl_basic_set_tighten_outward()

◆ isl_basic_set_transform_dims()

__isl_give isl_basic_set * isl_basic_set_transform_dims ( __isl_take isl_basic_set * bset,
enum isl_dim_type type,
unsigned first,
__isl_take isl_mat * trans )

Definition at line 14467 of file isl_map.c.

References __isl_give, __isl_take, isl_basic_map_transform_dims(), isl_basic_set, and type.

◆ isl_basic_set_underlying_set()

◆ isl_basic_set_var_offset()

isl_size isl_basic_set_var_offset ( __isl_keep isl_basic_set * bset,
enum isl_dim_type type )

◆ isl_basic_set_vars_get_sign()

◆ isl_inequality_negate()

◆ isl_map_add_basic_map()

◆ isl_map_align_divs_internal()

◆ isl_map_align_divs_to_basic_map_list()

◆ isl_map_align_params_bin()

◆ isl_map_align_params_map_map_and_test()

◆ isl_map_align_params_set()

◆ isl_map_alloc_space()

◆ isl_map_basic_map_check_equal_space()

isl_stat isl_map_basic_map_check_equal_space ( __isl_keep isl_map * map,
__isl_keep isl_basic_map * bmap )

◆ isl_map_check_equal_space()

isl_stat isl_map_check_equal_space ( __isl_keep isl_map * map1,
__isl_keep isl_map * map2 )

◆ isl_map_check_named_params()

◆ isl_map_check_transformation()

◆ isl_map_compatible_domain()

◆ isl_map_compatible_range()

◆ isl_map_cow()

◆ isl_map_divs_known()

◆ isl_map_drop()

◆ isl_map_drop_constraints_involving_unknown_divs()

◆ isl_map_dup()

◆ isl_map_eliminate()

__isl_give isl_map * isl_map_eliminate ( __isl_take isl_map * map,
enum isl_dim_type type,
unsigned first,
unsigned n )

Definition at line 2526 of file isl_map.c.

Referenced by isl_set_eliminate().

◆ isl_map_from_multi_aff_internal()

◆ isl_map_from_pw_aff_internal()

◆ isl_map_from_pw_multi_aff_internal()

◆ isl_map_grow()

◆ isl_map_has_equal_params()

◆ isl_map_has_rational()

isl_bool isl_map_has_rational ( __isl_keep isl_map * map)

◆ isl_map_has_space()

isl_bool isl_map_has_space ( __isl_keep isl_map * map,
__isl_keep isl_space * space )

References __isl_keep, and map.

◆ isl_map_has_space_tuples()

isl_bool isl_map_has_space_tuples ( __isl_keep isl_map * map,
__isl_keep isl_space * space )

Definition at line 8749 of file isl_map.c.

References __isl_keep, isl_map_peek_space(), isl_space_has_equal_tuples(), and map.

Referenced by has_space_tuples().

◆ isl_map_inline_foreach_basic_map()

◆ isl_map_is_params()

isl_bool isl_map_is_params ( __isl_keep isl_map * map)

Definition at line 1281 of file isl_map.c.

References __isl_keep, isl_bool_error, isl_space_is_params(), and map.

◆ isl_map_is_rational()

◆ isl_map_is_set()

isl_bool isl_map_is_set ( __isl_keep isl_map * map)

◆ isl_map_may_be_set()

int isl_map_may_be_set ( __isl_keep isl_map * map)

Definition at line 6091 of file isl_map.c.

References __isl_keep, isl_space_may_be_set(), and map.

Referenced by isl_stream_read_set(), and obj_read().

◆ isl_map_order_divs()

__isl_give isl_map * isl_map_order_divs ( __isl_take isl_map * map)

◆ isl_map_peek_space()

◆ isl_map_plain_gist()

◆ isl_map_plain_gist_basic_map()

◆ isl_map_plain_is_fixed()

isl_bool isl_map_plain_is_fixed ( __isl_keep isl_map * map,
enum isl_dim_type type,
unsigned pos,
isl_int * val )

◆ isl_map_project_onto()

__isl_give isl_map * isl_map_project_onto ( __isl_take isl_map * map,
enum isl_dim_type type,
unsigned first,
unsigned n )

◆ isl_map_realign()

◆ isl_map_remove_empty_parts()

◆ isl_map_remove_obvious_duplicates()

◆ isl_map_reset()

◆ isl_map_reset_equal_dim_space()

◆ isl_map_reset_space()

◆ isl_map_set_rational()

__isl_give isl_map * isl_map_set_rational ( __isl_take isl_map * map)

◆ isl_map_sort_divs()

__isl_give isl_map * isl_map_sort_divs ( __isl_take isl_map * map)

◆ isl_map_space_has_equal_params()

◆ isl_map_space_tuple_is_equal()

isl_bool isl_map_space_tuple_is_equal ( __isl_keep isl_map * map,
enum isl_dim_type type1,
__isl_keep isl_space * space,
enum isl_dim_type type2 )

◆ isl_map_tuple_is_equal()

◆ isl_map_underlying_set()

◆ isl_set_add_basic_set()

◆ isl_set_alloc_space()

◆ isl_set_basic_set_check_equal_space()

isl_stat isl_set_basic_set_check_equal_space ( __isl_keep isl_set * set,
__isl_keep isl_basic_set * bset )

References __isl_keep, isl_basic_set, isl_set, and set.

◆ isl_set_check_range()

isl_stat isl_set_check_range ( __isl_keep isl_set * set,
enum isl_dim_type type,
unsigned first,
unsigned n )

References __isl_keep, isl_set, n, set, and type.

◆ isl_set_combined_lineality_space()

◆ isl_set_contains_point()

isl_bool isl_set_contains_point ( __isl_keep isl_set * set,
__isl_keep isl_point * point )

Definition at line 668 of file isl_point.c.

References __isl_keep, isl_map_contains_point(), isl_set, point, set, and set_to_map.

Referenced by FN(), and scan_one().

◆ isl_set_count_upto()

◆ isl_set_cow()

◆ isl_set_dim_residue_class()

◆ isl_set_drop()

__isl_give isl_set * isl_set_drop ( __isl_take isl_set * set,
enum isl_dim_type type,
unsigned first,
unsigned n )

◆ isl_set_eliminate()

__isl_give isl_set * isl_set_eliminate ( __isl_take isl_set * set,
enum isl_dim_type type,
unsigned first,
unsigned n )

Definition at line 2556 of file isl_map.c.

Referenced by isl_set_eliminate_dims().

◆ isl_set_every_basic_set()

isl_bool isl_set_every_basic_set ( __isl_keep isl_set * set,
isl_bool(* test )(__isl_keep isl_basic_set *bset, void *user),
void * user )

Definition at line 11294 of file isl_map.c.

References __isl_keep, isl_basic_set, isl_bool_error, isl_bool_true, isl_set, set, test, and user.

Referenced by isl_set_involves_locals().

◆ isl_set_fix()

__isl_give isl_set * isl_set_fix ( __isl_take isl_set * set,
enum isl_dim_type type,
unsigned pos,
isl_int value )

Definition at line 6660 of file isl_map.c.

References __isl_give, __isl_take, isl_map_fix(), isl_set, pos(), set, set_from_map(), set_to_map, and type.

Referenced by FN(), and set_plug_in_parameters().

◆ isl_set_foreach_orthant()

isl_stat isl_set_foreach_orthant ( __isl_keep isl_set * set,
isl_stat(* fn )(__isl_take isl_set *orthant, int *signs, void *user),
void * user )

◆ isl_set_gist_params_basic_set()

◆ isl_set_grow()

__isl_give isl_set * isl_set_grow ( __isl_take isl_set * set,
int n )

Definition at line 3477 of file isl_map.c.

References __isl_give, __isl_take, isl_map_grow(), isl_set, n, set, set_from_map(), and set_to_map.

Referenced by sol_map_add_empty(), and sol_pma_add_empty().

◆ isl_set_has_rational()

isl_bool isl_set_has_rational ( __isl_keep isl_set * set)

Definition at line 1254 of file isl_map.c.

References __isl_keep, isl_map_has_rational(), isl_set, and set.

Referenced by pw_aff_locus().

◆ isl_set_is_rational()

isl_bool isl_set_is_rational ( __isl_keep isl_set * set)

Definition at line 1181 of file isl_map.c.

References __isl_keep, isl_map_is_rational(), isl_set, and set.

Referenced by isl_map_from_pw_multi_aff_internal().

◆ isl_set_normalize()

__isl_give isl_set * isl_set_normalize ( __isl_take isl_set * set)

◆ isl_set_peek_space()

◆ isl_set_plain_gist_basic_set()

◆ isl_set_preimage()

◆ isl_set_realign()

__isl_give isl_set * isl_set_realign ( __isl_take isl_set * set,
__isl_take isl_reordering * r )

Definition at line 12467 of file isl_map.c.

References __isl_give, __isl_take, isl_map_realign(), isl_set, set, set_from_map(), and set_to_map.

Referenced by FN().

◆ isl_set_remove_empty_parts()

__isl_give isl_set * isl_set_remove_empty_parts ( __isl_take isl_set * set)

Definition at line 9855 of file isl_map.c.

References __isl_give, __isl_take, isl_map_remove_empty_parts(), isl_set, set, set_from_map(), and set_to_map.

Referenced by convex_hull_1d().

◆ isl_set_set_rational()

◆ isl_set_space_has_equal_params()

isl_bool isl_set_space_has_equal_params ( __isl_keep isl_set * set,
__isl_keep isl_space * space )

Definition at line 12582 of file isl_map.c.

References __isl_keep, isl_map_space_has_equal_params(), isl_set, set, and set_to_map.

Referenced by isl_set_opt().

◆ isl_set_substitute()

◆ isl_set_wrap_facet()