#include <isl/id_type.h>
#include <isl/map_type.h>
#include <isl/aff_type.h>
#include <isl/list.h>
#include <isl/mat.h>
#include <isl/point.h>
#include <isl/local_space.h>
#include <isl/val_type.h>
#include <isl/stdint.h>
#include <isl/stride_info.h>
#include <isl/fixed_box.h>

Functions
isl_size	isl_basic_set_n_dim (__isl_keep isl_basic_set *bset)

isl_size	isl_basic_set_n_param (__isl_keep isl_basic_set *bset)

isl_size	isl_basic_set_total_dim (__isl_keep const isl_basic_set *bset)

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

isl_size	isl_set_n_dim (__isl_keep isl_set *set)

isl_size	isl_set_n_param (__isl_keep isl_set *set)

__isl_export isl_size	isl_set_tuple_dim (__isl_keep isl_set *set)

isl_size	isl_set_dim (__isl_keep isl_set *set, enum isl_dim_type type)

isl_ctx *	isl_basic_set_get_ctx (__isl_keep isl_basic_set *bset)

isl_ctx *	isl_set_get_ctx (__isl_keep isl_set *set)

__isl_give isl_space *	isl_basic_set_get_space (__isl_keep isl_basic_set *bset)

__isl_export __isl_give isl_space *	isl_set_get_space (__isl_keep isl_set *set)

__isl_give isl_set *	isl_set_reset_space (__isl_take isl_set set, __isl_take isl_space space)

__isl_give isl_aff *	isl_basic_set_get_div (__isl_keep isl_basic_set *bset, int pos)

__isl_give isl_local_space *	isl_basic_set_get_local_space (__isl_keep isl_basic_set *bset)

const char *	isl_basic_set_get_tuple_name (__isl_keep isl_basic_set *bset)

isl_bool	isl_set_has_tuple_name (__isl_keep isl_set *set)

const char *	isl_set_get_tuple_name (__isl_keep isl_set *set)

__isl_give isl_basic_set *	isl_basic_set_set_tuple_name (__isl_take isl_basic_set set, const char s)

__isl_give isl_set *	isl_set_set_tuple_name (__isl_take isl_set set, const char s)

const char *	isl_basic_set_get_dim_name (__isl_keep isl_basic_set *bset, enum isl_dim_type type, unsigned pos)

__isl_give isl_basic_set *	isl_basic_set_set_dim_name (__isl_take isl_basic_set bset, enum isl_dim_type type, unsigned pos, const char s)

isl_bool	isl_set_has_dim_name (__isl_keep isl_set *set, enum isl_dim_type type, unsigned pos)

const char *	isl_set_get_dim_name (__isl_keep isl_set *set, enum isl_dim_type type, unsigned pos)

__isl_give isl_set *	isl_set_set_dim_name (__isl_take isl_set set, enum isl_dim_type type, unsigned pos, const char s)

__isl_give isl_id *	isl_basic_set_get_dim_id (__isl_keep isl_basic_set *bset, enum isl_dim_type type, unsigned pos)

__isl_give isl_basic_set *	isl_basic_set_set_tuple_id (__isl_take isl_basic_set bset, __isl_take isl_id id)

__isl_give isl_set *	isl_set_set_dim_id (__isl_take isl_set set, enum isl_dim_type type, unsigned pos, __isl_take isl_id id)

isl_bool	isl_set_has_dim_id (__isl_keep isl_set *set, enum isl_dim_type type, unsigned pos)

__isl_give isl_id *	isl_set_get_dim_id (__isl_keep isl_set *set, enum isl_dim_type type, unsigned pos)

__isl_give isl_set *	isl_set_set_tuple_id (__isl_take isl_set set, __isl_take isl_id id)

__isl_give isl_set *	isl_set_reset_tuple_id (__isl_take isl_set *set)

isl_bool	isl_set_has_tuple_id (__isl_keep isl_set *set)

__isl_give isl_id *	isl_set_get_tuple_id (__isl_keep isl_set *set)

__isl_give isl_set *	isl_set_reset_user (__isl_take isl_set *set)

int	isl_set_find_dim_by_id (__isl_keep isl_set set, enum isl_dim_type type, __isl_keep isl_id id)

int	isl_set_find_dim_by_name (__isl_keep isl_set set, enum isl_dim_type type, const char name)

int	isl_basic_set_is_rational (__isl_keep isl_basic_set *bset)

__isl_null isl_basic_set *	isl_basic_set_free (__isl_take isl_basic_set *bset)

__isl_give isl_basic_set *	isl_basic_set_copy (__isl_keep isl_basic_set *bset)

__isl_give isl_basic_set *	isl_basic_set_empty (__isl_take isl_space *space)

__isl_give isl_basic_set *	isl_basic_set_universe (__isl_take isl_space *space)

__isl_give isl_basic_set *	isl_basic_set_nat_universe (__isl_take isl_space *space)

__isl_give isl_basic_set *	isl_basic_set_positive_orthant (__isl_take isl_space *space)

void	isl_basic_set_print_internal (__isl_keep isl_basic_set bset, FILE out, int indent)

__isl_export __isl_give isl_basic_set *	isl_basic_set_intersect (__isl_take isl_basic_set bset1, __isl_take isl_basic_set bset2)

__isl_export __isl_give isl_basic_set *	isl_basic_set_intersect_params (__isl_take isl_basic_set bset1, __isl_take isl_basic_set bset2)

__isl_export __isl_give isl_basic_set *	isl_basic_set_apply (__isl_take isl_basic_set bset, __isl_take isl_basic_map bmap)

__isl_give isl_basic_set *	isl_basic_set_preimage_multi_aff (__isl_take isl_basic_set bset, __isl_take isl_multi_aff ma)

__isl_export __isl_give isl_basic_set *	isl_basic_set_affine_hull (__isl_take isl_basic_set *bset)

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

__isl_export __isl_give isl_basic_set *	isl_basic_set_sample (__isl_take isl_basic_set *bset)

__isl_export __isl_give isl_basic_set *	isl_basic_set_detect_equalities (__isl_take isl_basic_set *bset)

__isl_give isl_basic_set *	isl_basic_set_remove_redundancies (__isl_take isl_basic_set *bset)

__isl_give isl_set *	isl_set_remove_redundancies (__isl_take isl_set *set)

__isl_give isl_basic_set *	isl_basic_set_list_intersect (__isl_take struct isl_basic_set_list *list)

__isl_give isl_set *	isl_set_list_union (__isl_take isl_set_list *list)

__isl_give isl_basic_set *	isl_basic_set_read_from_file (isl_ctx ctx, FILE input)

__isl_constructor __isl_give isl_basic_set *	isl_basic_set_read_from_str (isl_ctx ctx, const char str)

__isl_give isl_set *	isl_set_read_from_file (isl_ctx ctx, FILE input)

__isl_constructor __isl_give isl_set *	isl_set_read_from_str (isl_ctx ctx, const char str)

void	isl_basic_set_dump (__isl_keep isl_basic_set *bset)

void	isl_set_dump (__isl_keep isl_set *set)

__isl_give isl_printer *	isl_printer_print_basic_set (__isl_take isl_printer printer, __isl_keep isl_basic_set bset)

__isl_give isl_printer *	isl_printer_print_set (__isl_take isl_printer printer, __isl_keep isl_set map)

__isl_give isl_basic_set *	isl_basic_set_fix_si (__isl_take isl_basic_set *bset, enum isl_dim_type type, unsigned pos, int value)

__isl_give isl_basic_set *	isl_basic_set_fix_val (__isl_take isl_basic_set bset, enum isl_dim_type type, unsigned pos, __isl_take isl_val v)

__isl_give isl_set *	isl_set_fix_si (__isl_take isl_set *set, enum isl_dim_type type, unsigned pos, int value)

__isl_give isl_set *	isl_set_lower_bound_si (__isl_take isl_set *set, enum isl_dim_type type, unsigned pos, int value)

__isl_give isl_basic_set *	isl_basic_set_lower_bound_val (__isl_take isl_basic_set bset, enum isl_dim_type type, unsigned pos, __isl_take isl_val value)

__isl_give isl_set *	isl_set_lower_bound_val (__isl_take isl_set set, enum isl_dim_type type, unsigned pos, __isl_take isl_val value)

__isl_give isl_set *	isl_set_upper_bound_si (__isl_take isl_set *set, enum isl_dim_type type, unsigned pos, int value)

__isl_give isl_basic_set *	isl_basic_set_upper_bound_val (__isl_take isl_basic_set bset, enum isl_dim_type type, unsigned pos, __isl_take isl_val value)

__isl_give isl_set *	isl_set_upper_bound_val (__isl_take isl_set set, enum isl_dim_type type, unsigned pos, __isl_take isl_val value)

__isl_overload __isl_give isl_set *	isl_set_lower_bound_multi_val (__isl_take isl_set set, __isl_take isl_multi_val lower)

__isl_overload __isl_give isl_set *	isl_set_upper_bound_multi_val (__isl_take isl_set set, __isl_take isl_multi_val upper)

__isl_overload __isl_give isl_set *	isl_set_lower_bound_multi_pw_aff (__isl_take isl_set set, __isl_take isl_multi_pw_aff lower)

__isl_overload __isl_give isl_set *	isl_set_upper_bound_multi_pw_aff (__isl_take isl_set set, __isl_take isl_multi_pw_aff upper)

__isl_give isl_set *	isl_set_equate (__isl_take isl_set *set, enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2)

__isl_export isl_bool	isl_basic_set_is_equal (__isl_keep isl_basic_set bset1, __isl_keep isl_basic_set bset2)

isl_bool	isl_basic_set_is_disjoint (__isl_keep isl_basic_set bset1, __isl_keep isl_basic_set bset2)

__isl_give isl_set *	isl_basic_set_partial_lexmin (__isl_take isl_basic_set bset, __isl_take isl_basic_set dom, __isl_give isl_set **empty)

__isl_give isl_set *	isl_basic_set_partial_lexmax (__isl_take isl_basic_set bset, __isl_take isl_basic_set dom, __isl_give isl_set **empty)

__isl_give isl_set *	isl_set_partial_lexmin (__isl_take isl_set set, __isl_take isl_set dom, __isl_give isl_set **empty)

__isl_give isl_set *	isl_set_partial_lexmax (__isl_take isl_set set, __isl_take isl_set dom, __isl_give isl_set **empty)

__isl_export __isl_give isl_set *	isl_basic_set_lexmin (__isl_take isl_basic_set *bset)

__isl_export __isl_give isl_set *	isl_basic_set_lexmax (__isl_take isl_basic_set *bset)

__isl_export __isl_give isl_set *	isl_set_lexmin (__isl_take isl_set *set)

__isl_export __isl_give isl_set *	isl_set_lexmax (__isl_take isl_set *set)

__isl_give isl_pw_multi_aff *	isl_basic_set_partial_lexmin_pw_multi_aff (__isl_take isl_basic_set bset, __isl_take isl_basic_set dom, __isl_give isl_set **empty)

__isl_give isl_pw_multi_aff *	isl_basic_set_partial_lexmax_pw_multi_aff (__isl_take isl_basic_set bset, __isl_take isl_basic_set dom, __isl_give isl_set **empty)

__isl_export __isl_give isl_pw_multi_aff *	isl_set_lexmin_pw_multi_aff (__isl_take isl_set *set)

__isl_export __isl_give isl_pw_multi_aff *	isl_set_lexmax_pw_multi_aff (__isl_take isl_set *set)

__isl_export __isl_give isl_multi_pw_aff *	isl_set_min_multi_pw_aff (__isl_take isl_set *set)

__isl_export __isl_give isl_multi_pw_aff *	isl_set_max_multi_pw_aff (__isl_take isl_set *set)

__isl_export __isl_give isl_set *	isl_basic_set_union (__isl_take isl_basic_set bset1, __isl_take isl_basic_set bset2)

int	isl_basic_set_compare_at (__isl_keep isl_basic_set bset1, __isl_keep isl_basic_set bset2, int pos)

int	isl_set_follows_at (__isl_keep isl_set set1, __isl_keep isl_set set2, int pos)

__isl_export __isl_give isl_basic_set *	isl_basic_set_params (__isl_take isl_basic_set *bset)

__isl_give isl_basic_set *	isl_basic_set_from_params (__isl_take isl_basic_set *bset)

__isl_export __isl_give isl_set *	isl_set_params (__isl_take isl_set *set)

__isl_give isl_set *	isl_set_from_params (__isl_take isl_set *set)

__isl_export __isl_give isl_set *	isl_set_bind (__isl_take isl_set set, __isl_take isl_multi_id tuple)

__isl_export __isl_give isl_set *	isl_set_unbind_params (__isl_take isl_set set, __isl_take isl_multi_id tuple)

__isl_export __isl_give isl_map *	isl_set_unbind_params_insert_domain (__isl_take isl_set set, __isl_take isl_multi_id domain)

isl_stat	isl_basic_set_dims_get_sign (__isl_keep isl_basic_set bset, enum isl_dim_type type, unsigned pos, unsigned n, int signs)

isl_bool	isl_basic_set_plain_is_universe (__isl_keep isl_basic_set *bset)

isl_bool	isl_basic_set_is_universe (__isl_keep isl_basic_set *bset)

isl_bool	isl_basic_set_plain_is_empty (__isl_keep isl_basic_set *bset)

__isl_export isl_bool	isl_basic_set_is_empty (__isl_keep isl_basic_set *bset)

isl_bool	isl_basic_set_is_bounded (__isl_keep isl_basic_set *bset)

__isl_export isl_bool	isl_basic_set_is_subset (__isl_keep isl_basic_set bset1, __isl_keep isl_basic_set bset2)

isl_bool	isl_basic_set_plain_is_equal (__isl_keep isl_basic_set bset1, __isl_keep isl_basic_set bset2)

__isl_export __isl_give isl_set *	isl_set_empty (__isl_take isl_space *space)

__isl_export __isl_give isl_set *	isl_set_universe (__isl_take isl_space *space)

__isl_export __isl_give isl_set *	isl_space_universe_set (__isl_take isl_space *space)

__isl_give isl_set *	isl_set_nat_universe (__isl_take isl_space *space)

__isl_give isl_set *	isl_set_copy (__isl_keep isl_set *set)

__isl_null isl_set *	isl_set_free (__isl_take isl_set *set)

__isl_export __isl_give isl_set *	isl_basic_set_to_set (__isl_take isl_basic_set *bset)

__isl_constructor __isl_give isl_set *	isl_set_from_basic_set (__isl_take isl_basic_set *bset)

__isl_export __isl_give isl_basic_set *	isl_set_sample (__isl_take isl_set *set)

__isl_export __isl_give isl_point *	isl_basic_set_sample_point (__isl_take isl_basic_set *bset)

__isl_export __isl_give isl_point *	isl_set_sample_point (__isl_take isl_set *set)

__isl_export __isl_give isl_set *	isl_set_detect_equalities (__isl_take isl_set *set)

__isl_export __isl_give isl_basic_set *	isl_set_affine_hull (__isl_take isl_set *set)

__isl_give isl_basic_set *	isl_set_convex_hull (__isl_take isl_set *set)

__isl_export __isl_give isl_basic_set *	isl_set_polyhedral_hull (__isl_take isl_set *set)

__isl_give isl_basic_set *	isl_set_simple_hull (__isl_take isl_set *set)

__isl_export __isl_give isl_basic_set *	isl_set_unshifted_simple_hull (__isl_take isl_set *set)

__isl_give isl_basic_set *	isl_set_plain_unshifted_simple_hull (__isl_take isl_set *set)

__isl_give isl_basic_set *	isl_set_unshifted_simple_hull_from_set_list (__isl_take isl_set set, __isl_take isl_set_list list)

__isl_give isl_basic_set *	isl_set_bounded_simple_hull (__isl_take isl_set *set)

__isl_give isl_set *	isl_set_union_disjoint (__isl_take isl_set set1, __isl_take isl_set set2)

__isl_export __isl_give isl_set *	isl_set_union (__isl_take isl_set set1, __isl_take isl_set set2)

__isl_export __isl_give isl_set *	isl_set_product (__isl_take isl_set set1, __isl_take isl_set set2)

__isl_give isl_basic_set *	isl_basic_set_flat_product (__isl_take isl_basic_set bset1, __isl_take isl_basic_set bset2)

__isl_give isl_set *	isl_set_flat_product (__isl_take isl_set set1, __isl_take isl_set set2)

__isl_export __isl_give isl_set *	isl_set_intersect (__isl_take isl_set set1, __isl_take isl_set set2)

__isl_export __isl_give isl_set *	isl_set_intersect_params (__isl_take isl_set set, __isl_take isl_set params)

__isl_give isl_set *	isl_set_intersect_factor_domain (__isl_take isl_set set, __isl_take isl_set domain)

__isl_give isl_set *	isl_set_intersect_factor_range (__isl_take isl_set set, __isl_take isl_set range)

__isl_export __isl_give isl_set *	isl_set_subtract (__isl_take isl_set set1, __isl_take isl_set set2)

__isl_export __isl_give isl_set *	isl_set_complement (__isl_take isl_set *set)

__isl_export __isl_give isl_set *	isl_set_apply (__isl_take isl_set set, __isl_take isl_map map)

__isl_overload __isl_give isl_set *	isl_set_preimage_multi_aff (__isl_take isl_set set, __isl_take isl_multi_aff ma)

__isl_overload __isl_give isl_set *	isl_set_preimage_pw_multi_aff (__isl_take isl_set set, __isl_take isl_pw_multi_aff pma)

__isl_overload __isl_give isl_set *	isl_set_preimage_multi_pw_aff (__isl_take isl_set set, __isl_take isl_multi_pw_aff mpa)

__isl_give isl_set *	isl_set_fix_val (__isl_take isl_set set, enum isl_dim_type type, unsigned pos, __isl_take isl_val v)

__isl_give isl_set *	isl_set_fix_dim_si (__isl_take isl_set *set, unsigned dim, int value)

__isl_give isl_basic_set *	isl_basic_set_insert_dims (__isl_take isl_basic_set *bset, enum isl_dim_type type, unsigned pos, unsigned n)

__isl_give isl_set *	isl_set_insert_dims (__isl_take isl_set *set, enum isl_dim_type type, unsigned pos, unsigned n)

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

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

__isl_give isl_basic_set *	isl_basic_set_move_dims (__isl_take isl_basic_set *bset, enum isl_dim_type dst_type, unsigned dst_pos, enum isl_dim_type src_type, unsigned src_pos, unsigned n)

__isl_give isl_set *	isl_set_move_dims (__isl_take isl_set *set, enum isl_dim_type dst_type, unsigned dst_pos, enum isl_dim_type src_type, unsigned src_pos, unsigned n)

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

__isl_overload __isl_give isl_set *	isl_set_project_out_param_id (__isl_take isl_set set, __isl_take isl_id id)

__isl_overload __isl_give isl_set *	isl_set_project_out_param_id_list (__isl_take isl_set set, __isl_take isl_id_list list)

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

__isl_export __isl_give isl_set *	isl_set_project_out_all_params (__isl_take isl_set *set)

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

__isl_give isl_basic_set *	isl_basic_set_remove_divs (__isl_take isl_basic_set *bset)

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

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

__isl_give isl_set *	isl_set_eliminate_dims (__isl_take isl_set *set, unsigned first, unsigned n)

__isl_give isl_set *	isl_set_remove_dims (__isl_take isl_set *bset, enum isl_dim_type type, unsigned first, unsigned n)

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

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

__isl_give isl_basic_set *	isl_basic_set_remove_unknown_divs (__isl_take isl_basic_set *bset)

__isl_give isl_set *	isl_set_remove_unknown_divs (__isl_take isl_set *set)

__isl_give isl_set *	isl_set_remove_divs (__isl_take isl_set *set)

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

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

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

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

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

__isl_export isl_bool	isl_set_involves_locals (__isl_keep isl_set *set)

isl_bool	isl_basic_set_involves_dims (__isl_keep isl_basic_set *bset, enum isl_dim_type type, unsigned first, unsigned n)

isl_bool	isl_set_involves_dims (__isl_keep isl_set *set, enum isl_dim_type type, unsigned first, unsigned n)

void	isl_set_print_internal (__isl_keep isl_set set, FILE out, int indent)

isl_bool	isl_set_plain_is_empty (__isl_keep isl_set *set)

isl_bool	isl_set_plain_is_universe (__isl_keep isl_set *set)

isl_bool	isl_set_is_params (__isl_keep isl_set *set)

__isl_export isl_bool	isl_set_is_empty (__isl_keep isl_set *set)

isl_bool	isl_set_is_bounded (__isl_keep isl_set *set)

__isl_export isl_bool	isl_set_is_subset (__isl_keep isl_set set1, __isl_keep isl_set set2)

__isl_export isl_bool	isl_set_is_strict_subset (__isl_keep isl_set set1, __isl_keep isl_set set2)

__isl_export isl_bool	isl_set_is_equal (__isl_keep isl_set set1, __isl_keep isl_set set2)

__isl_export isl_bool	isl_set_is_disjoint (__isl_keep isl_set set1, __isl_keep isl_set set2)

__isl_export isl_bool	isl_set_is_singleton (__isl_keep isl_set *set)

isl_bool	isl_set_is_box (__isl_keep isl_set *set)

isl_bool	isl_set_has_equal_space (__isl_keep isl_set set1, __isl_keep isl_set set2)

__isl_give isl_set *	isl_set_sum (__isl_take isl_set set1, __isl_take isl_set set2)

__isl_give isl_basic_set *	isl_basic_set_neg (__isl_take isl_basic_set *bset)

__isl_give isl_set *	isl_set_neg (__isl_take isl_set *set)

__isl_give isl_set *	isl_set_make_disjoint (__isl_take isl_set *set)

__isl_give isl_set *	isl_basic_set_compute_divs (__isl_take isl_basic_set *bset)

__isl_give isl_set *	isl_set_compute_divs (__isl_take isl_set *set)

ISL_DEPRECATED __isl_give isl_set *	isl_set_align_divs (__isl_take isl_set *set)

__isl_export __isl_give isl_multi_val *	isl_set_get_plain_multi_val_if_fixed (__isl_keep isl_set *set)

__isl_give isl_val *	isl_set_plain_get_val_if_fixed (__isl_keep isl_set *set, enum isl_dim_type type, unsigned pos)

isl_bool	isl_set_dim_is_bounded (__isl_keep isl_set *set, enum isl_dim_type type, unsigned pos)

isl_bool	isl_set_dim_has_lower_bound (__isl_keep isl_set *set, enum isl_dim_type type, unsigned pos)

isl_bool	isl_set_dim_has_upper_bound (__isl_keep isl_set *set, enum isl_dim_type type, unsigned pos)

isl_bool	isl_set_dim_has_any_lower_bound (__isl_keep isl_set *set, enum isl_dim_type type, unsigned pos)

isl_bool	isl_set_dim_has_any_upper_bound (__isl_keep isl_set *set, enum isl_dim_type type, unsigned pos)

__isl_export __isl_give isl_basic_set *	isl_basic_set_gist (__isl_take isl_basic_set bset, __isl_take isl_basic_set context)

__isl_give isl_set *	isl_set_gist_basic_set (__isl_take isl_set set, __isl_take isl_basic_set context)

__isl_export __isl_give isl_set *	isl_set_gist (__isl_take isl_set set, __isl_take isl_set context)

__isl_export __isl_give isl_set *	isl_set_gist_params (__isl_take isl_set set, __isl_take isl_set context)

isl_stat	isl_set_dim_residue_class_val (__isl_keep isl_set set, int pos, __isl_give isl_val modulo, __isl_give isl_val *residue)

__isl_give isl_stride_info *	isl_set_get_stride_info (__isl_keep isl_set *set, int pos)

__isl_export __isl_give isl_val *	isl_set_get_stride (__isl_keep isl_set *set, int pos)

__isl_export __isl_give isl_fixed_box *	isl_set_get_lattice_tile (__isl_keep isl_set *set)

__isl_export __isl_give isl_fixed_box *	isl_set_get_simple_fixed_box_hull (__isl_keep isl_set *set)

__isl_export __isl_give isl_set *	isl_set_coalesce (__isl_take isl_set *set)

int	isl_set_plain_cmp (__isl_keep isl_set set1, __isl_keep isl_set set2)

isl_bool	isl_set_plain_is_equal (__isl_keep isl_set set1, __isl_keep isl_set set2)

isl_bool	isl_set_plain_is_disjoint (__isl_keep isl_set set1, __isl_keep isl_set set2)

uint32_t	isl_set_get_hash (__isl_keep isl_set *set)

__isl_export isl_size	isl_set_n_basic_set (__isl_keep isl_set *set)

__isl_export isl_stat	isl_set_foreach_basic_set (__isl_keep isl_set set, isl_stat(fn)(__isl_take isl_basic_set bset, void user), void *user)

__isl_give isl_basic_set_list *	isl_set_get_basic_set_list (__isl_keep isl_set *set)

__isl_export isl_stat	isl_set_foreach_point (__isl_keep isl_set set, isl_stat(fn)(__isl_take isl_point pnt, void user), void *user)

__isl_give isl_val *	isl_set_count_val (__isl_keep isl_set *set)

__isl_constructor __isl_give isl_basic_set *	isl_basic_set_from_point (__isl_take isl_point *pnt)

__isl_export __isl_give isl_set *	isl_point_to_set (__isl_take isl_point *pnt)

__isl_constructor __isl_give isl_set *	isl_set_from_point (__isl_take isl_point *pnt)

__isl_give isl_basic_set *	isl_basic_set_box_from_points (__isl_take isl_point pnt1, __isl_take isl_point pnt2)

__isl_give isl_set *	isl_set_box_from_points (__isl_take isl_point pnt1, __isl_take isl_point pnt2)

__isl_give isl_basic_set *	isl_basic_set_lift (__isl_take isl_basic_set *bset)

__isl_give isl_set *	isl_set_lift (__isl_take isl_set *set)

__isl_give isl_map *	isl_set_lex_le_set (__isl_take isl_set set1, __isl_take isl_set set2)

__isl_give isl_map *	isl_set_lex_lt_set (__isl_take isl_set set1, __isl_take isl_set set2)

__isl_give isl_map *	isl_set_lex_ge_set (__isl_take isl_set set1, __isl_take isl_set set2)

__isl_give isl_map *	isl_set_lex_gt_set (__isl_take isl_set set1, __isl_take isl_set set2)

int	isl_set_size (__isl_keep isl_set *set)

__isl_give isl_basic_set *	isl_basic_set_align_params (__isl_take isl_basic_set bset, __isl_take isl_space model)

__isl_give isl_set *	isl_set_align_params (__isl_take isl_set set, __isl_take isl_space model)

__isl_give isl_basic_set *	isl_basic_set_drop_unused_params (__isl_take isl_basic_set *bset)

__isl_give isl_set *	isl_set_drop_unused_params (__isl_take isl_set *set)

__isl_give isl_mat *	isl_basic_set_equalities_matrix (__isl_keep isl_basic_set *bset, enum isl_dim_type c1, enum isl_dim_type c2, enum isl_dim_type c3, enum isl_dim_type c4)

__isl_give isl_mat *	isl_basic_set_inequalities_matrix (__isl_keep isl_basic_set *bset, enum isl_dim_type c1, enum isl_dim_type c2, enum isl_dim_type c3, enum isl_dim_type c4)

__isl_give isl_basic_set *	isl_basic_set_from_constraint_matrices (__isl_take isl_space space, __isl_take isl_mat eq, __isl_take isl_mat *ineq, enum isl_dim_type c1, enum isl_dim_type c2, enum isl_dim_type c3, enum isl_dim_type c4)

__isl_give isl_basic_set *	isl_basic_set_from_multi_aff (__isl_take isl_multi_aff *ma)

__isl_export __isl_give isl_set *	isl_multi_aff_as_set (__isl_take isl_multi_aff *ma)

__isl_give isl_set *	isl_set_from_multi_aff (__isl_take isl_multi_aff *ma)

__isl_give isl_mat *	isl_basic_set_reduced_basis (__isl_keep isl_basic_set *bset)

__isl_give isl_basic_set *	isl_basic_set_coefficients (__isl_take isl_basic_set *bset)

__isl_give isl_basic_set_list *	isl_basic_set_list_coefficients (__isl_take isl_basic_set_list *list)

__isl_give isl_basic_set *	isl_set_coefficients (__isl_take isl_set *set)

__isl_give isl_basic_set *	isl_basic_set_solutions (__isl_take isl_basic_set *bset)

__isl_give isl_basic_set *	isl_set_solutions (__isl_take isl_set *set)

__isl_give isl_pw_aff *	isl_set_dim_max (__isl_take isl_set *set, int pos)

__isl_give isl_pw_aff *	isl_set_dim_min (__isl_take isl_set *set, int pos)

__isl_give char *	isl_basic_set_to_str (__isl_keep isl_basic_set *bset)

__isl_give char *	isl_set_to_str (__isl_keep isl_set *set)

Function Documentation

◆ isl_basic_set_add_dims()

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

Definition at line 4132 of file isl_map.c.

References isl_assert, isl_basic_map_add_dims(), isl_basic_set_free(), isl_dim_in, n, and type.

Referenced by isl_aff_substitute_equalities(), isl_basic_map_gist(), isl_basic_set_preimage(), isl_local_space_lift_basic_set(), isl_qpolynomial_substitute_equalities(), path_along_delta(), and SF().

◆ isl_basic_set_affine_hull()

__isl_export __isl_give isl_basic_set * isl_basic_set_affine_hull ( __isl_take isl_basic_set * bset )

Definition at line 1002 of file isl_affine_hull.c.

References bset_from_bmap(), bset_to_bmap(), and isl_basic_map_affine_hull().

Referenced by isl::basic_set::affine_hull(), induced_lineality_space(), test_affine_hull_case(), and uset_gist().

◆ isl_basic_set_align_params()

__isl_give isl_basic_set * isl_basic_set_align_params	(	__isl_take isl_basic_set *	bset,
		__isl_take isl_space *	model
	)

Definition at line 12591 of file isl_map.c.

References isl_basic_map_align_params().

Referenced by isl_ast_graft_enforce(), isl_basic_set_opt_lp_val(), and update_enforced().

◆ isl_basic_set_apply()

__isl_export __isl_give isl_basic_set * isl_basic_set_apply	(	__isl_take isl_basic_set *	bset,
		__isl_take isl_basic_map *	bmap
	)

Definition at line 4805 of file isl_map.c.

References bset_from_bmap(), bset_to_bmap(), isl_basic_map_apply_range(), isl_basic_map_check_compatible_domain(), isl_basic_map_free(), and isl_basic_set_free().

Referenced by isl::basic_set::apply(), foreach_iteration(), and test_application_case().

◆ isl_basic_set_box_from_points()

__isl_give isl_basic_set * isl_basic_set_box_from_points	(	__isl_take isl_point *	pnt1,
		__isl_take isl_point *	pnt2
	)

Definition at line 723 of file isl_point.c.

References isl_assert, isl_basic_set_alloc_inequality(), isl_basic_set_alloc_space(), isl_basic_set_empty(), isl_basic_set_finalize(), isl_basic_set_free(), isl_basic_set_from_point(), isl_dim_all, isl_int_clear, isl_int_fdiv_q, isl_int_init, isl_int_is_pos, isl_int_mul, isl_int_neg, isl_int_set, isl_int_set_si, isl_int_submul, isl_point_dim(), isl_point_free(), isl_point_is_void(), isl_seq_clr(), isl_space_copy(), isl_space_is_equal(), t, and total().

Referenced by ISL_ARG_CHOICE(), and isl_set_box_from_points().

◆ isl_basic_set_coefficients()

__isl_give isl_basic_set * isl_basic_set_coefficients ( __isl_take isl_basic_set * bset )

Definition at line 839 of file isl_farkas.c.

References basic_set_coefficients(), isl_basic_set_free(), isl_basic_set_get_space(), isl_basic_set_reset_space(), isl_die, isl_error_invalid, and isl_space_coefficients().

Referenced by coefficients_wrap(), isl_set_coefficients(), and test_dual().

◆ isl_basic_set_compare_at()

int isl_basic_set_compare_at	(	__isl_keep isl_basic_set *	bset1,
		__isl_keep isl_basic_set *	bset2,
		int	pos
	)

Definition at line 9932 of file isl_map.c.

References basic_set_maximal_difference_at(), cmp(), isl_int_clear, isl_int_init, isl_int_is_neg, isl_int_is_pos, isl_lp_empty, isl_lp_ok, isl_lp_unbounded, pos(), and res.

◆ isl_basic_set_compute_divs()

__isl_give isl_set * isl_basic_set_compute_divs ( __isl_take isl_basic_set * bset )

Definition at line 8119 of file isl_map.c.

References bset_to_bmap(), isl_basic_map_compute_divs(), and set_from_map().

Referenced by equal_on_domain(), and test_compute_divs().

◆ isl_basic_set_copy()

__isl_give isl_basic_set * isl_basic_set_copy ( __isl_keep isl_basic_set * bset )

Definition at line 1465 of file isl_map.c.

References bset_from_bmap(), bset_to_bmap(), and isl_basic_map_copy().

Referenced by add_chamber(), add_implied_guards(), add_node(), add_nodes(), add_split_on(), add_vertex(), basic_map_partial_lexopt_base_sol(), basic_set_opt(), bernstein_coefficients_cell(), call_on_simplex(), compute_carrying_sol_coef(), context_gbr_detect_equalities(), convex_hull_pair(), convex_hull_pair_pointed(), isl::basic_set::copy(), copy_nodes(), create_node_scaled(), create_todo(), detect_implicit_equality_constraints(), domain_follows_at_depth(), equal_on_domain(), extend(), extract_pending(), factor_sample(), FN(), foreach_bound_pair(), foreach_lifted_subset(), foreach_lower_bound(), foreach_upper_bound(), gbr_get_sample(), gbr_sample(), get_size_bounds(), harmonize_divs_with_hulls(), has_sign(), initial_solution(), inter_coefficients(), intra_coefficients(), isl_aff_substitute_equalities_lifted(), ISL_ARG_CHOICE(), isl_ast_build_expr_from_set_internal(), isl_ast_build_set_loop_bounds(), isl_ast_build_set_pending_generated(), isl_ast_graft_get_enforced(), isl_basic_map_gist(), isl_basic_set_coefficients_factor(), isl_basic_set_compute_vertices(), isl_basic_set_count_upto(), isl_basic_set_dim_residue_class(), isl_basic_set_foreach_bound_pair(), isl_basic_set_full_compression(), isl_basic_set_has_defining_inequalities(), isl_basic_set_opt(), isl_basic_set_opt_lp_val(), isl_basic_set_opt_lp_val_aligned(), isl_basic_set_sample_with_cone(), isl_cell_get_domain(), isl_context_lex_alloc(), isl_factorizer_alloc(), isl_factorizer_every_factor_basic_set(), isl_map_affine_hull(), isl_morph_basic_set(), isl_morph_compose(), isl_morph_dup(), isl_morph_empty(), isl_morph_identity(), isl_morph_set(), isl_multi_aff_substitute_equalities(), isl_qpolynomial_as_polynomial_on_domain(), isl_set_coefficients(), isl_set_combined_lineality_space(), isl_set_foreach_basic_set(), isl_set_foreach_point(), isl_set_get_basic_set_list(), isl_set_sample_point(), isl_set_scan(), isl_set_solutions(), isl_vertex_get_domain(), isl_vertex_get_expr(), isl_vertices_foreach_cell(), isl_vertices_foreach_disjoint_cell(), join_initial(), main(), map_intersect_set(), modulo_affine_hull(), multiplicative_call_factor_pw_qpolynomial(), parametric_constant_never_positive(), scan_one(), set_dim_extent(), set_largest_lower_bound(), set_smallest_upper_bound(), set_up_substitutions(), SF(), shared_outer(), sol_map_add_empty(), solve_ilp_search(), solve_ilp_with_eq(), solve_lp(), substitute_equalities(), test_sample(), uset_affine_hull(), uset_convex_hull(), uset_convex_hull_wrap_bounded(), uset_gist(), uset_gist_full(), valid_direction(), vertices_0D(), vertices_empty(), and vertices_from_list().

◆ isl_basic_set_detect_equalities()

__isl_export __isl_give isl_basic_set * isl_basic_set_detect_equalities ( __isl_take isl_basic_set * bset )

Definition at line 950 of file isl_affine_hull.c.

References bset_from_bmap(), bset_to_bmap(), and isl_basic_map_detect_equalities().

Referenced by isl::basic_set::detect_equalities(), isl_basic_set_full_compression(), main(), multiplicative_call_base(), unwrapped_guarded_poly_bound(), and uset_gist().

◆ isl_basic_set_dim()

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

Definition at line 201 of file isl_map.c.

References isl_basic_map_dim(), and type.

Referenced by add_adjacent_points(), add_bound(), add_bound_constant_constraints(), add_bound_from_constraint(), add_bounds(), add_delta_constraints(), add_larger_bound_constraint(), add_lineality(), add_param_sum_constraint(), add_sum_constraint(), add_var_sum_constraint(), add_vertex(), affine_hull(), affine_hull_with_cone(), alloc_groups(), base_compute_divs(), basic_guarded_poly_bound(), basic_set_coefficients(), basic_set_maximal_difference_at(), basic_set_parameter_preimage(), basic_set_sample(), bernstein_coefficients_base(), bernstein_coefficients_full_recursive(), compress_variables(), construct_column(), convex_hull_pair(), convex_hull_pair_elim(), copy_equalities(), isl::basic_set::dim(), drop_irrelevant_constraints(), drop_irrelevant_constraints_marked(), extract_ineq(), factor_sample(), factored_sample(), farkas(), first_parameter_equality(), gbr_init_shifted(), gbr_sample(), get_div_purity(), has_any_defining_equality(), has_sign(), hash_basic_set(), homogeneous_map(), induced_lineality_space(), ineq_for_div(), initial_hull(), inter_dim_map(), intra_dim_map(), is_internal(), ISL_ARG_CHOICE(), isl_basic_map_detect_equalities(), isl_basic_map_intersect_domain(), isl_basic_map_intersect_range(), isl_basic_map_overlying_set(), isl_basic_set_check_no_locals(), isl_basic_set_check_no_params(), isl_basic_set_coefficients_factor(), isl_basic_set_compute_vertices(), isl_basic_set_dim_residue_class(), isl_basic_set_eq_is_stride(), isl_basic_set_extract_equalities(), isl_basic_set_factorizer(), isl_basic_set_follows_at(), isl_basic_set_from_vec(), isl_basic_set_has_defining_inequalities(), isl_basic_set_involves_locals(), isl_basic_set_is_box(), isl_basic_set_lineality_space(), isl_basic_set_multiplicative_call(), isl_basic_set_n_dim(), isl_basic_set_n_param(), isl_basic_set_opt(), isl_basic_set_opt_lp_val_aligned(), isl_basic_set_parameter_compression(), isl_basic_set_params(), isl_basic_set_plain_dim_is_fixed(), isl_basic_set_reduce_using_equalities(), isl_basic_set_reduced_basis(), isl_basic_set_sample_with_cone(), isl_basic_set_scan(), isl_basic_set_scan_samples(), isl_basic_set_size(), isl_basic_set_solve_ilp(), isl_basic_set_variable_compression(), isl_basic_set_vars_get_sign(), isl_cell_foreach_simplex(), isl_context_alloc(), isl_factorizer_every_factor_basic_set(), isl_factorizer_groups(), isl_morph_basic_set(), isl_morph_dom_dim(), isl_morph_dom_params(), isl_morph_empty(), isl_morph_identity(), isl_morph_ran_dim(), isl_morph_ran_params(), isl_morph_set(), isl_qpolynomial_bound_on_domain_bernstein(), isl_set_bounded_simple_hull(), isl_tab_from_recession_cone(), main(), modulo_lineality(), monotonicity(), move_parameters(), node_add_coefficient_constraints(), 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(), purity(), qpolynomial_bound_on_domain_range(), return_with_identity(), round_up_in_cone(), sample_bounded(), SF(), shift_cone(), sol_push_sol_mat(), solve_ilp_with_eq(), tab_for_lexmin(), tab_for_shifted_cone(), test_affine_hull(), test_elimination(), to_parameter_domain(), transform_column(), triangulate(), unit_box_base_points(), update_enforced(), uset_affine_hull(), uset_affine_hull_bounded(), uset_convex_hull_unbounded(), uset_gist(), valid_direction(), valid_direction_lp(), vertex_coordinate(), vertex_is_integral(), wrap_constraints(), and zero_sample().

◆ isl_basic_set_dims_get_sign()

isl_stat isl_basic_set_dims_get_sign	(	__isl_keep isl_basic_set *	bset,
		enum isl_dim_type	type,
		unsigned	pos,
		unsigned	n,
		int *	signs
	)

Definition at line 11652 of file isl_map.c.

References isl_basic_set_check_range(), isl_basic_set_vars_get_sign(), isl_stat_error, n, pos(), and type.

Referenced by basic_guarded_poly_bound().

◆ isl_basic_set_drop_constraints_involving_dims()

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

Definition at line 3146 of file isl_map.c.

References isl_basic_map_drop_constraints_involving_dims(), n, and type.

Referenced by isl_ast_build_set_pending_generated().

◆ isl_basic_set_drop_constraints_not_involving_dims()

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

Definition at line 3113 of file isl_map.c.

References isl_basic_map_drop_constraints_not_involving_dims(), n, and type.

Referenced by add_implied_guards(), and isl_ast_build_set_pending_generated().

◆ isl_basic_set_drop_unused_params()

__isl_give isl_basic_set * isl_basic_set_drop_unused_params ( __isl_take isl_basic_set * bset )

Definition at line 12657 of file isl_map.c.

References bset_from_bmap(), bset_to_bmap(), and isl_basic_map_drop_unused_params().

Referenced by test_drop_unused_parameters().

◆ isl_basic_set_dump()

void isl_basic_set_dump ( __isl_keep isl_basic_set * bset )

Referenced by isl_morph_print_internal().

◆ isl_basic_set_eliminate()

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

Definition at line 1852 of file isl_map_simplify.c.

References isl_basic_map_eliminate(), n, and type.

Referenced by update_enforced().

◆ isl_basic_set_empty()

__isl_give isl_basic_set * isl_basic_set_empty ( __isl_take isl_space * space )

Definition at line 6275 of file isl_map.c.

References isl_basic_set_alloc_space(), and isl_basic_set_set_to_empty().

Referenced by aff_nonneg_basic_set(), aff_pos_basic_set(), aff_zero_basic_set(), convex_hull_0d(), graft_extend_body(), isl_ast_graft_list_extract_shared_enforced(), isl_basic_set_box_from_points(), isl_basic_set_from_point(), isl_morph_empty(), isl_set_combined_lineality_space(), replace_by_empty(), and unit_box_base_points().

◆ isl_basic_set_equalities_matrix()

__isl_give isl_mat * isl_basic_set_equalities_matrix	(	__isl_keep isl_basic_set *	bset,
		enum isl_dim_type	c1,
		enum isl_dim_type	c2,
		enum isl_dim_type	c3,
		enum isl_dim_type	c4
	)

Definition at line 13040 of file isl_map.c.

References bset_to_bmap(), c1, c2, isl_basic_map_equalities_matrix(), and isl_dim_in.

◆ isl_basic_set_fix_si()

__isl_give isl_basic_set * isl_basic_set_fix_si	(	__isl_take isl_basic_set *	bset,
		enum isl_dim_type	type,
		unsigned	pos,
		int	value
	)

Definition at line 6541 of file isl_map.c.

References bset_from_bmap(), bset_to_bmap(), isl_basic_map_fix_si(), pos(), and type.

Referenced by isl::basic_set::fix_si(), and test_div().

◆ isl_basic_set_fix_val()

__isl_give isl_basic_set * isl_basic_set_fix_val	(	__isl_take isl_basic_set *	bset,
		enum isl_dim_type	type,
		unsigned	pos,
		__isl_take isl_val *	v
	)

Definition at line 6535 of file isl_map.c.

References isl_basic_map_fix_val(), pos(), and type.

Referenced by isl::basic_set::fix_val().

◆ isl_basic_set_flat_product()

__isl_give isl_basic_set * isl_basic_set_flat_product	(	__isl_take isl_basic_set *	bset1,
		__isl_take isl_basic_set *	bset2
	)

Definition at line 10762 of file isl_map.c.

References isl_basic_map_flat_range_product().

◆ isl_basic_set_free()

__isl_null isl_basic_set * isl_basic_set_free ( __isl_take isl_basic_set * bset )

Definition at line 1523 of file isl_map.c.

References bset_to_bmap(), and isl_basic_map_free().

Referenced by add_adjacent_points(), add_bound(), add_bound_from_constraint(), add_bounds(), add_constraints_dim_map(), 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(), affine_hull(), affine_hull_with_cone(), base_compute_divs(), basic_guarded_fold(), basic_guarded_poly_bound(), basic_set_append_equalities(), basic_set_coefficients(), basic_set_opt(), basic_set_parameter_preimage(), basic_set_sample(), bernstein_coefficients_base(), bernstein_coefficients_factors(), bernstein_coefficients_full_recursive(), box_closure_on_domain(), check_pairwise_disjoint(), check_solution(), clear_node(), collect_inequalities(), combine_initial_into_second(), common_constraints(), compress_variables(), compressed_guarded_poly_bound(), compressed_multiplicative_call(), compute_chambers(), compute_facet(), construct_extended_path(), convex_hull_pair(), convex_hull_pair_elim(), convex_hull_pair_pointed(), copy_equalities(), create_node_scaled(), drop_irrelevant_constraints(), drop_irrelevant_constraints_marked(), empty_sample(), equalities_in_underlying_set(), extend(), extend_affine_hull(), extract_node(), factored_sample(), farkas(), find_unroll_lower_bound(), FN(), foreach_bound_pair(), foreach_lower_bound(), foreach_upper_bound(), free_chamber_list(), free_todo(), free_vertex_list(), gbr_sample(), get_size_bounds(), graft_alloc(), guarded_poly_bound(), harmonize_divs(), homogeneous_map(), induced_lineality_space(), initial_facet_constraint(), initial_hull(), initial_solution(), interval_sample(), isl_aff_substitute_equalities(), isl_aff_substitute_equalities_lifted(), ISL_ARG_CHOICE(), isl_ast_build_compute_gist_basic_set(), isl_ast_build_expr_from_basic_set(), isl_ast_build_set_loop_bounds(), isl_ast_build_set_pending_generated(), isl_ast_build_specialize_basic_set(), isl_ast_graft_enforce(), isl_ast_graft_free(), isl_ast_graft_set_enforced(), isl_basic_map_detect_equalities(), isl_basic_map_intersect_domain(), isl_basic_map_intersect_range(), isl_basic_map_overlying_set(), isl_basic_map_remove_shifted_constraints(), isl_basic_set_add_dims(), isl_basic_set_apply(), isl_basic_set_bound_val(), isl_basic_set_box_from_points(), isl_basic_set_coefficients(), isl_basic_set_compute_vertices(), isl_basic_set_dim_residue_class(), isl_basic_set_foreach_bound_pair(), isl_basic_set_from_vec(), isl_basic_set_full_compression(), isl_basic_set_lift(), isl_basic_set_lineality_space(), isl_basic_set_list_union(), isl_basic_set_multiplicative_call(), isl_basic_set_opt(), isl_basic_set_opt_lp_val(), isl_basic_set_opt_lp_val_aligned(), isl_basic_set_params(), isl_basic_set_positive_orthant(), isl_basic_set_preimage(), isl_basic_set_recession_cone(), isl_basic_set_reduce_using_equalities(), isl_basic_set_remove_equalities(), isl_basic_set_sample_with_cone(), isl_basic_set_scan(), isl_basic_set_scan_samples(), isl_basic_set_solutions(), isl_basic_set_tighten_outward(), isl_basic_set_unwrap(), isl_cell_alloc(), isl_cell_free(), isl_coefficients_product_data_clear(), isl_factorizer_every_factor_basic_set(), isl_factorizer_free(), isl_local_space_lift_basic_set(), isl_local_space_substitute_equalities(), isl_map_convex_hull(), isl_morph_alloc(), isl_morph_basic_set(), isl_morph_free(), isl_multi_aff_substitute_equalities(), isl_qpolynomial_bound_on_domain_bernstein(), isl_qpolynomial_fold_substitute_equalities(), isl_qpolynomial_substitute_equalities(), isl_qpolynomial_substitute_equalities_lifted(), isl_sched_graph_free(), isl_set_bounded_simple_hull(), isl_set_wrap_facet(), isl_stream_read_ast_graft(), isl_tab_basic_set_non_trivial_lexmin(), isl_tab_detect_equalities(), isl_tab_lexmin_from_basic_set(), isl_vertices_free(), lower_dim_vertices(), lower_dim_vertices_free(), main(), modulo_affine_hull(), modulo_lineality(), move_parameters(), multiplicative_call_base(), neg_halfspace(), nonneg_halfspace(), opt_at(), parameter_compute_divs(), parametric_constant_never_positive(), path_along_delta(), plug_in(), plug_in_parameters(), project_onto_involved(), propagate_on_bound_pair(), propagate_on_domain(), rational_sample(), replace_by_empty(), return_with_identity(), round_up_in_cone(), sample_bounded(), scan_0D(), select_minimum(), set_detect_stride(), set_dim_extent(), set_div_slice(), set_minimum(), set_minimum_pa(), set_up_substitutions(), setup_carry_lp(), setup_lp(), SF(), shift_cone(), sol_add(), sol_free(), sol_map_add(), sol_map_add_empty(), sol_map_init(), sol_pma_add_empty(), sol_pma_init(), sol_push_sol(), sol_push_sol_mat(), solve_ilp_with_eq(), test_affine_hull(), test_affine_hull_case(), test_application_case(), test_chambers(), 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_special2(), 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(), try_extract_mod(), unit_box_base_points(), unwrapped_guarded_poly_bound(), update_count(), update_enforced(), update_ineq(), update_ineq_free(), uset_affine_hull(), uset_affine_hull_bounded(), uset_convex_hull(), uset_convex_hull_unbounded(), uset_gist(), uset_gist_compressed(), uset_gist_full(), uset_simple_hull(), uset_unshifted_simple_hull_from_basic_set_list(), uset_unshifted_simple_hull_from_constraints(), valid_direction(), valid_direction_lp(), wrap_constraints(), zero_sample(), and isl::basic_set::~basic_set().

◆ isl_basic_set_from_constraint_matrices()

__isl_give isl_basic_set * isl_basic_set_from_constraint_matrices	(	__isl_take isl_space *	space,
		__isl_take isl_mat *	eq,
		__isl_take isl_mat *	ineq,
		enum isl_dim_type	c1,
		enum isl_dim_type	c2,
		enum isl_dim_type	c3,
		enum isl_dim_type	c4
	)

Definition at line 13056 of file isl_map.c.

References bset_from_bmap(), c1, c2, isl_basic_map_from_constraint_matrices(), and isl_dim_in.

◆ isl_basic_set_from_multi_aff()

__isl_give isl_basic_set * isl_basic_set_from_multi_aff ( __isl_take isl_multi_aff * ma )

Definition at line 198 of file isl_aff_map.c.

References basic_map_from_multi_aff(), bset_from_bmap(), check_input_is_set(), and ma.

Referenced by test_ma_conversion().

◆ isl_basic_set_from_params()

__isl_give isl_basic_set * isl_basic_set_from_params ( __isl_take isl_basic_set * bset )

Definition at line 5936 of file isl_map.c.

References isl_basic_set_get_space(), isl_basic_set_reset_space(), and isl_space_set_from_params().

◆ isl_basic_set_from_point()

__isl_constructor __isl_give isl_basic_set * isl_basic_set_from_point ( __isl_take isl_point * pnt )

Definition at line 674 of file isl_point.c.

References isl_basic_set_empty(), isl_basic_set_from_underlying_set(), isl_basic_set_from_vec(), isl_point_free(), isl_space_copy(), and isl_vec_copy().

Referenced by isl::basic_set::basic_set(), isl_basic_set_box_from_points(), and isl_set_from_point().

◆ isl_basic_set_get_ctx()

isl_ctx * isl_basic_set_get_ctx ( __isl_keep isl_basic_set * bset )

Definition at line 386 of file isl_map.c.

Referenced by add_bound_from_constraint(), add_inter_constraints(), add_intra_constraints(), alloc_groups(), basic_guarded_poly_bound(), can_intersect(), compressed_guarded_poly_bound(), compute_chambers(), convex_hull_pair_pointed(), isl::basic_set::ctx(), extract_ineq(), factored_sample(), farkas(), init_lexmin_data(), is_internal(), isl_ast_graft_get_ctx(), isl_basic_map_check_compatible_domain(), isl_basic_map_check_compatible_range(), isl_basic_set_bound_val(), isl_basic_set_check_no_locals(), isl_basic_set_check_no_params(), isl_basic_set_dim_residue_class(), isl_basic_set_extract_equalities(), isl_basic_set_parameter_compression(), isl_basic_set_print_internal(), isl_basic_set_sample_with_cone(), isl_basic_set_scan_samples(), isl_factorizer_get_ctx(), isl_morph_get_ctx(), isl_tab_lexmin_from_basic_set(), non_neg_lexmin(), opt_at(), propagate_on_domain(), sample_bounded(), and uset_gist_full().

◆ isl_basic_set_get_dim_id()

__isl_give isl_id * isl_basic_set_get_dim_id	(	__isl_keep isl_basic_set *	bset,
		enum isl_dim_type	type,
		unsigned	pos
	)

Definition at line 979 of file isl_map.c.

References isl_space_get_dim_id(), pos(), and type.

◆ isl_basic_set_get_dim_name()

const char * isl_basic_set_get_dim_name	(	__isl_keep isl_basic_set *	bset,
		enum isl_dim_type	type,
		unsigned	pos
	)

Definition at line 880 of file isl_map.c.

References isl_space_get_dim_name(), pos(), and type.

◆ isl_basic_set_get_div()

__isl_give isl_aff * isl_basic_set_get_div	(	__isl_keep isl_basic_set *	bset,
		int	pos
	)

Definition at line 13543 of file isl_map.c.

References isl_basic_map_get_div(), and pos().

Referenced by isl::basic_set::div().

◆ isl_basic_set_get_local_space()

__isl_give isl_local_space * isl_basic_set_get_local_space ( __isl_keep isl_basic_set * bset )

Definition at line 523 of file isl_map.c.

References isl_basic_map_get_local_space().

Referenced by sol_push_sol_mat().

◆ isl_basic_set_get_space()

__isl_give isl_space * isl_basic_set_get_space ( __isl_keep isl_basic_set * bset )

Definition at line 421 of file isl_map.c.

References bset_to_bmap(), and isl_basic_map_get_space().

Referenced by add_implied_guards(), add_nodes(), add_non_trivial_lineality(), basic_map_partial_lexopt_symm_core(), bernstein_coefficients_base(), bernstein_coefficients_cell(), coef_var_offset(), compressed_multiplicative_call(), constant_on_domain(), convex_hull_pair(), convex_hull_pair_pointed(), copy_equalities(), guarded_poly_bound(), induced_lineality_space(), isl_ast_graft_enforce(), isl_basic_map_from_range(), isl_basic_set_coefficients(), isl_basic_set_coefficients_morphed_product(), isl_basic_set_from_params(), isl_basic_set_lift(), isl_basic_set_lineality_space(), isl_basic_set_list_union(), isl_basic_set_opt_lp_val(), isl_basic_set_params(), isl_basic_set_sample_point(), isl_basic_set_solutions(), isl_factorizer_groups(), isl_morph_basic_set(), isl_morph_set(), lp_add_inter(), lp_add_intra(), main(), path_along_delta(), replace_by_empty(), SF(), shift_cone(), sol_map_init(), sol_pma_init(), isl::basic_set::space(), unit_box_base_points(), update_enforced(), and uset_affine_hull().

◆ isl_basic_set_get_tuple_name()

const char * isl_basic_set_get_tuple_name ( __isl_keep isl_basic_set * bset )

Definition at line 864 of file isl_map.c.

References isl_dim_set, and isl_space_get_tuple_name().

◆ isl_basic_set_gist()

__isl_export __isl_give isl_basic_set * isl_basic_set_gist	(	__isl_take isl_basic_set *	bset,
		__isl_take isl_basic_set *	context
	)

Definition at line 3733 of file isl_map_simplify.c.

References bset_from_bmap(), bset_to_bmap(), context, and isl_basic_map_gist().

Referenced by isl::basic_set::gist(), isl_ast_build_compute_gist_basic_set(), isl_ast_build_expr_from_set_internal(), test_gist(), and test_gist_fail().

◆ isl_basic_set_inequalities_matrix()

__isl_give isl_mat * isl_basic_set_inequalities_matrix	(	__isl_keep isl_basic_set *	bset,
		enum isl_dim_type	c1,
		enum isl_dim_type	c2,
		enum isl_dim_type	c3,
		enum isl_dim_type	c4
	)

Definition at line 13048 of file isl_map.c.

References bset_to_bmap(), c1, c2, isl_basic_map_inequalities_matrix(), and isl_dim_in.

◆ isl_basic_set_insert_dims()

__isl_give isl_basic_set * isl_basic_set_insert_dims	(	__isl_take isl_basic_set *	bset,
		enum isl_dim_type	type,
		unsigned	pos,
		unsigned	n
	)

Definition at line 4114 of file isl_map.c.

References isl_basic_map_insert_dims(), n, pos(), and type.

◆ isl_basic_set_intersect()

__isl_export __isl_give isl_basic_set * isl_basic_set_intersect	(	__isl_take isl_basic_set *	bset1,
		__isl_take isl_basic_set *	bset2
	)

◆ isl_basic_set_intersect_params()

__isl_export __isl_give isl_basic_set * isl_basic_set_intersect_params	(	__isl_take isl_basic_set *	bset1,
		__isl_take isl_basic_set *	bset2
	)

Definition at line 3777 of file isl_map.c.

References isl_basic_set_intersect().

Referenced by isl::basic_set::intersect_params(), and isl_set_gist_params_basic_set().

◆ isl_basic_set_involves_dims()

isl_bool isl_basic_set_involves_dims	(	__isl_keep isl_basic_set *	bset,
		enum isl_dim_type	type,
		unsigned	first,
		unsigned	n
	)

Definition at line 2980 of file isl_map.c.

References isl_basic_map_involves_dims(), n, and type.

Referenced by project_onto_involved().

◆ isl_basic_set_is_bounded()

isl_bool isl_basic_set_is_bounded ( __isl_keep isl_basic_set * bset )

Definition at line 810 of file isl_convex_hull.c.

References isl_basic_set_plain_is_empty(), isl_bool_error, isl_bool_true, isl_tab_cone_is_bounded(), isl_tab_free(), and isl_tab_from_recession_cone().

Referenced by compressed_guarded_poly_bound(), convex_hull_pair(), isl::basic_set::is_bounded(), isl_basic_map_image_is_bounded(), isl_basic_set_multiplicative_call(), and isl_set_is_bounded().

◆ isl_basic_set_is_disjoint()

isl_bool isl_basic_set_is_disjoint	(	__isl_keep isl_basic_set *	bset1,
		__isl_keep isl_basic_set *	bset2
	)

Definition at line 4071 of file isl_map_simplify.c.

References isl_basic_map_is_disjoint().

Referenced by add_nodes(), and check_pairwise_disjoint().

◆ isl_basic_set_is_empty()

__isl_export isl_bool isl_basic_set_is_empty ( __isl_keep isl_basic_set * bset )

Definition at line 9458 of file isl_map.c.

References bset_to_bmap(), and isl_basic_map_is_empty().

Referenced by add_split_on(), constant_on_domain(), foreach_bound_pair(), foreach_lower_bound(), foreach_upper_bound(), isl::basic_set::is_empty(), parametric_constant_never_positive(), test_div(), test_empty_projection(), test_sample(), test_simple_hull(), test_simplify_1(), and uset_gist_full().

◆ isl_basic_set_is_equal()

__isl_export isl_bool isl_basic_set_is_equal	(	__isl_keep isl_basic_set *	bset1,
		__isl_keep isl_basic_set *	bset2
	)

Definition at line 9129 of file isl_map.c.

References bset_to_bmap(), and isl_basic_map_is_equal().

Referenced by isl::basic_set::is_equal(), test_affine_hull_case(), test_application_case(), test_construction_2(), test_convex_hull_case(), test_dual(), test_ma_conversion(), test_read(), test_recession_cone(), and test_various_simple_hull().

◆ isl_basic_set_is_rational()

int isl_basic_set_is_rational ( __isl_keep isl_basic_set * bset )

Definition at line 1186 of file isl_map.c.

References isl_basic_map_is_rational().

◆ isl_basic_set_is_subset()

__isl_export isl_bool isl_basic_set_is_subset	(	__isl_keep isl_basic_set *	bset1,
		__isl_keep isl_basic_set *	bset2
	)

Definition at line 9109 of file isl_map.c.

References isl_basic_map_is_subset().

Referenced by isl::basic_set::is_subset(), test_affine_hull(), and test_sample().

◆ isl_basic_set_is_universe()

isl_bool isl_basic_set_is_universe ( __isl_keep isl_basic_set * bset )

Definition at line 9353 of file isl_map.c.

References isl_basic_map_is_universe().

Referenced by test_universe().

◆ isl_basic_set_lexmax()

__isl_export __isl_give isl_set * isl_basic_set_lexmax ( __isl_take isl_basic_set * bset )

Definition at line 7401 of file isl_map.c.

References bset_to_bmap(), isl_basic_map_lexmax(), and set_from_map().

Referenced by isl::basic_set::lexmax().

◆ isl_basic_set_lexmin()

__isl_export __isl_give isl_set * isl_basic_set_lexmin ( __isl_take isl_basic_set * bset )

Definition at line 7396 of file isl_map.c.

References bset_to_bmap(), isl_basic_map_lexmin(), and set_from_map().

Referenced by isl::basic_set::lexmin().

◆ isl_basic_set_lift()

__isl_give isl_basic_set * isl_basic_set_lift ( __isl_take isl_basic_set * bset )

Definition at line 11336 of file isl_map.c.

References isl_basic_set_cow(), isl_basic_set_finalize(), isl_basic_set_free(), isl_basic_set_get_space(), isl_space_free(), and isl_space_lift().

Referenced by base_compute_divs(), isl_local_space_lift_basic_set(), isl_local_space_lift_set(), isl_local_space_lifting(), isl_set_lift(), and test_lift().

◆ isl_basic_set_list_coefficients()

__isl_give isl_basic_set_list * isl_basic_set_list_coefficients ( __isl_take isl_basic_set_list * list )

Definition at line 931 of file isl_farkas.c.

References coefficients_wrap().

Referenced by collect_inter_validity(), and collect_intra_validity().

◆ isl_basic_set_list_intersect()

__isl_give isl_basic_set * isl_basic_set_list_intersect ( __isl_take struct isl_basic_set_list * list )

◆ isl_basic_set_lower_bound_val()

__isl_give isl_basic_set * isl_basic_set_lower_bound_val	(	__isl_take isl_basic_set *	bset,
		enum isl_dim_type	type,
		unsigned	pos,
		__isl_take isl_val *	value
	)

Definition at line 7166 of file isl_map.c.

References isl_basic_set_bound_val(), pos(), and type.

Referenced by get_size_bounds(), and test_construction_2().

◆ isl_basic_set_move_dims()

__isl_give isl_basic_set * isl_basic_set_move_dims	(	__isl_take isl_basic_set *	bset,
		enum isl_dim_type	dst_type,
		unsigned	dst_pos,
		enum isl_dim_type	src_type,
		unsigned	src_pos,
		unsigned	n
	)

Definition at line 4311 of file isl_map.c.

References bset_from_bmap(), bset_to_bmap(), isl_basic_map_move_dims(), and n.

Referenced by basic_set_coefficients(), guarded_poly_bound(), has_sign(), isl_morph_basic_set(), move_parameters(), and to_parameter_domain().

◆ isl_basic_set_n_dim()

isl_size isl_basic_set_n_dim ( __isl_keep isl_basic_set * bset )

Definition at line 207 of file isl_map.c.

References isl_basic_set_dim(), and isl_dim_set.

◆ isl_basic_set_n_param()

isl_size isl_basic_set_n_param ( __isl_keep isl_basic_set * bset )

Definition at line 212 of file isl_map.c.

References isl_basic_set_dim(), and isl_dim_param.

◆ isl_basic_set_nat_universe()

__isl_give isl_basic_set * isl_basic_set_nat_universe ( __isl_take isl_space * space )

Definition at line 6322 of file isl_map.c.

References isl_basic_map_nat_universe().

◆ isl_basic_set_neg()

__isl_give isl_basic_set * isl_basic_set_neg ( __isl_take isl_basic_set * bset )

Definition at line 4968 of file isl_map.c.

References isl_basic_map_neg().

◆ isl_basic_set_params()

__isl_export __isl_give isl_basic_set * isl_basic_set_params ( __isl_take isl_basic_set * bset )

◆ isl_basic_set_partial_lexmax()

__isl_give isl_set * isl_basic_set_partial_lexmax	(	__isl_take isl_basic_set *	bset,
		__isl_take isl_basic_set *	dom,
		__isl_give isl_set **	empty
	)

Referenced by main().

◆ isl_basic_set_partial_lexmax_pw_multi_aff()

__isl_give isl_pw_multi_aff * isl_basic_set_partial_lexmax_pw_multi_aff	(	__isl_take isl_basic_set *	bset,
		__isl_take isl_basic_set *	dom,
		__isl_give isl_set **	empty
	)

Referenced by main().

◆ isl_basic_set_partial_lexmin()

__isl_give isl_set * isl_basic_set_partial_lexmin	(	__isl_take isl_basic_set *	bset,
		__isl_take isl_basic_set *	dom,
		__isl_give isl_set **	empty
	)

Referenced by main().

◆ isl_basic_set_partial_lexmin_pw_multi_aff()

__isl_give isl_pw_multi_aff * isl_basic_set_partial_lexmin_pw_multi_aff	(	__isl_take isl_basic_set *	bset,
		__isl_take isl_basic_set *	dom,
		__isl_give isl_set **	empty
	)

Referenced by main().

◆ isl_basic_set_plain_is_empty()

isl_bool isl_basic_set_plain_is_empty ( __isl_keep isl_basic_set * bset )

◆ isl_basic_set_plain_is_equal()

isl_bool isl_basic_set_plain_is_equal	(	__isl_keep isl_basic_set *	bset1,
		__isl_keep isl_basic_set *	bset2
	)

Definition at line 10423 of file isl_map.c.

References bset_to_bmap(), and isl_basic_map_plain_is_equal().

Referenced by harmonize_divs(), has_opposite(), and test_drop_unused_parameters().

◆ isl_basic_set_plain_is_universe()

isl_bool isl_basic_set_plain_is_universe ( __isl_keep isl_basic_set * bset )

Definition at line 9294 of file isl_map.c.

References isl_basic_map_plain_is_universe().

Referenced by convex_hull_pair(), isl_basic_map_intersect_range(), test_plain_unshifted_simple_hull_special(), test_simplify_2(), uset_convex_hull(), uset_convex_hull_unbounded(), and uset_gist_full().

◆ isl_basic_set_positive_orthant()

__isl_give isl_basic_set * isl_basic_set_positive_orthant ( __isl_take isl_space * space )

Definition at line 8909 of file isl_map.c.

References isl_basic_set_alloc_inequality(), isl_basic_set_alloc_space(), isl_basic_set_free(), isl_dim_all, isl_dim_param, isl_dim_set, isl_int_set_si, isl_seq_clr(), isl_space_dim(), isl_space_free(), and total().

Referenced by main().

◆ isl_basic_set_preimage_multi_aff()

__isl_give isl_basic_set * isl_basic_set_preimage_multi_aff	(	__isl_take isl_basic_set *	bset,
		__isl_take isl_multi_aff *	ma
	)

Definition at line 13906 of file isl_map.c.

References isl_basic_map_preimage_multi_aff(), isl_dim_set, and ma.

Referenced by create_node(), isl_ast_build_compute_gist_basic_set(), isl_ast_build_specialize_basic_set(), isl_ast_graft_preimage_multi_aff(), isl_basic_set_coefficients_morphed_product(), and isl_morph_basic_set().

◆ isl_basic_set_print_internal()

void isl_basic_set_print_internal	(	__isl_keep isl_basic_set *	bset,
		FILE *	out,
		int	indent
	)

Definition at line 3367 of file isl_map.c.

References isl_basic_set_get_ctx(), isl_printer_end_line(), isl_printer_free(), isl_printer_print_basic_set(), isl_printer_set_dump(), isl_printer_set_indent(), isl_printer_start_line(), isl_printer_to_file(), and p.

Referenced by isl_set_print_internal().

◆ isl_basic_set_project_out()

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

Definition at line 4568 of file isl_map.c.

References bset_from_bmap(), bset_to_bmap(), isl_basic_map_project_out(), n, and type.

Referenced by base_compute_divs(), hoist_out_of_context(), isl_basic_map_gist(), isl_basic_set_params(), path_along_delta(), isl::basic_set::project_out(), propagate_on_domain(), test_div(), and test_simplify_1().

◆ isl_basic_set_read_from_file()

__isl_give isl_basic_set * isl_basic_set_read_from_file	(	isl_ctx *	ctx,
		FILE *	input
	)

Definition at line 3296 of file isl_input.c.

References isl_basic_map::ctx, isl_stream_free(), isl_stream_new_file(), and isl_stream_read_basic_set().

Referenced by main(), test_affine_hull_case(), test_application_case(), test_convex_hull_case(), and test_read().

◆ isl_basic_set_read_from_str()

__isl_constructor __isl_give isl_basic_set * isl_basic_set_read_from_str	(	isl_ctx *	ctx,
		const char *	str
	)

◆ isl_basic_set_reduced_basis()

__isl_give isl_mat * isl_basic_set_reduced_basis ( __isl_keep isl_basic_set * bset )

Definition at line 316 of file basis_reduction_templ.c.

References isl_tab::basis, isl_basic_set_check_no_locals(), isl_basic_set_check_no_params(), isl_basic_set_dim(), isl_dim_all, isl_mat_copy(), isl_mat_free(), isl_mat_identity(), isl_mat_left_hermite(), isl_mat_lin_to_aff(), isl_mat_sub_alloc6(), isl_tab_compute_reduced_basis(), isl_tab_free(), isl_tab_from_basic_set(), isl_tab::n_var, and isl_tab::n_zero.

◆ isl_basic_set_remove_dims()

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

Definition at line 3319 of file isl_map.c.

References bset_from_bmap(), bset_to_bmap(), isl_basic_map_remove_dims(), n, and type.

Referenced by convex_hull_pair_elim(), isl_basic_set_foreach_bound_pair(), isl_morph_remove_dom_dims(), isl_morph_remove_ran_dims(), plug_in_parameters(), and round_up_in_cone().

◆ isl_basic_set_remove_divs()

__isl_give isl_basic_set * isl_basic_set_remove_divs ( __isl_take isl_basic_set * bset )

Definition at line 2587 of file isl_map.c.

References bset_from_bmap(), bset_to_bmap(), and isl_basic_map_remove_divs().

Referenced by extract_node(), farkas(), and try_extract_mod().

◆ isl_basic_set_remove_divs_involving_dims()

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

Definition at line 2891 of file isl_map.c.

References isl_basic_map_remove_divs_involving_dims(), n, and type.

◆ isl_basic_set_remove_redundancies()

__isl_give isl_basic_set * isl_basic_set_remove_redundancies ( __isl_take isl_basic_set * bset )

Definition at line 92 of file isl_convex_hull.c.

References bset_from_bmap(), bset_to_bmap(), and isl_basic_map_remove_redundancies().

Referenced by convex_hull_pair_elim(), create_node_scaled(), and multiplicative_call_base().

◆ isl_basic_set_remove_unknown_divs()

__isl_give isl_basic_set * isl_basic_set_remove_unknown_divs ( __isl_take isl_basic_set * bset )

Definition at line 3284 of file isl_map.c.

References isl_basic_map_remove_unknown_divs().

Referenced by hoist_out_of_context(), set_dim_extent(), and update_enforced().

◆ isl_basic_set_sample()

__isl_export __isl_give isl_basic_set * isl_basic_set_sample ( __isl_take isl_basic_set * bset )

Definition at line 1265 of file isl_sample.c.

References isl_basic_map_sample().

Referenced by isl::basic_set::sample(), and test_sample().

◆ isl_basic_set_sample_point()

__isl_export __isl_give isl_point * isl_basic_set_sample_point ( __isl_take isl_basic_set * bset )

Definition at line 1300 of file isl_sample.c.

References isl_basic_set_get_space(), isl_basic_set_sample_vec(), isl_basic_set_underlying_set(), and isl_point_alloc().

Referenced by ISL_ARG_CHOICE(), isl_set_sample_point(), isl_union_set_sample_point(), and isl::basic_set::sample_point().

◆ isl_basic_set_set_dim_name()

__isl_give isl_basic_set * isl_basic_set_set_dim_name	(	__isl_take isl_basic_set *	bset,
		enum isl_dim_type	type,
		unsigned	pos,
		const char *	s
	)

Definition at line 956 of file isl_map.c.

References bset_from_bmap(), bset_to_bmap(), isl_basic_map_set_dim_name(), pos(), and type.

◆ isl_basic_set_set_tuple_id()

__isl_give isl_basic_set * isl_basic_set_set_tuple_id	(	__isl_take isl_basic_set *	bset,
		__isl_take isl_id *	id
	)

Definition at line 728 of file isl_map.c.

References isl_basic_map_set_tuple_id(), and isl_dim_set.

Referenced by isl_morph_set_ran_tuple_id().

◆ isl_basic_set_set_tuple_name()

__isl_give isl_basic_set * isl_basic_set_set_tuple_name	(	__isl_take isl_basic_set *	set,
		const char *	s
	)

Definition at line 673 of file isl_map.c.

References isl_basic_map_set_tuple_name(), and isl_dim_set.

◆ isl_basic_set_solutions()

__isl_give isl_basic_set * isl_basic_set_solutions ( __isl_take isl_basic_set * bset )

Definition at line 866 of file isl_farkas.c.

References farkas(), isl_basic_set_free(), isl_basic_set_get_space(), isl_basic_set_reset_space(), isl_die, isl_error_invalid, and isl_space_solutions().

Referenced by isl_set_solutions(), and test_dual().

◆ isl_basic_set_to_set()

__isl_export __isl_give isl_set * isl_basic_set_to_set ( __isl_take isl_basic_set * bset )

Definition at line 3490 of file isl_map.c.

References isl_set_from_basic_set().

Referenced by isl::basic_set::to_set().

◆ isl_basic_set_to_str()

__isl_give char * isl_basic_set_to_str ( __isl_keep isl_basic_set * bset )

Referenced by isl::operator<<().

◆ isl_basic_set_total_dim()

isl_size isl_basic_set_total_dim ( __isl_keep const isl_basic_set * bset )

Definition at line 217 of file isl_map.c.

References const_bset_to_bmap(), and isl_basic_map_total_dim().

◆ isl_basic_set_union()

__isl_export __isl_give isl_set * isl_basic_set_union	(	__isl_take isl_basic_set *	bset1,
		__isl_take isl_basic_set *	bset2
	)

Definition at line 9483 of file isl_map.c.

References bset_to_bmap(), isl_basic_map_union(), and set_from_map().

Referenced by convex_hull_pair(), isl_set_split_dims(), test_coalesce_union(), test_convex_hull_case(), test_min_special(), isl::basic_set::unite(), and update_enforced().

◆ isl_basic_set_universe()

__isl_give isl_basic_set * isl_basic_set_universe ( __isl_take isl_space * space )

◆ isl_basic_set_upper_bound_val()

__isl_give isl_basic_set * isl_basic_set_upper_bound_val	(	__isl_take isl_basic_set *	bset,
		enum isl_dim_type	type,
		unsigned	pos,
		__isl_take isl_val *	value
	)

Definition at line 7175 of file isl_map.c.

References isl_basic_set_bound_val(), pos(), and type.

Referenced by get_size_bounds(), and test_construction_2().

◆ isl_multi_aff_as_set()

__isl_export __isl_give isl_set * isl_multi_aff_as_set ( __isl_take isl_multi_aff * ma )

Definition at line 253 of file isl_aff_map.c.

References isl_set_from_multi_aff(), and ma.

Referenced by isl::multi_aff::as_set().

◆ isl_point_to_set()

__isl_export __isl_give isl_set * isl_point_to_set ( __isl_take isl_point * pnt )

Definition at line 700 of file isl_point.c.

References isl_set_from_point().

Referenced by isl::point::to_set().

◆ isl_printer_print_basic_set()

__isl_give isl_printer * isl_printer_print_basic_set	(	__isl_take isl_printer *	printer,
		__isl_keep isl_basic_set *	bset
	)

Definition at line 1550 of file isl_output.c.

References basic_set_print_omega(), bset_print_constraints_polylib(), isl_assert, isl_basic_map_print_isl(), isl_basic_set_print_polylib(), ISL_FORMAT_EXT_POLYLIB, ISL_FORMAT_ISL, ISL_FORMAT_OMEGA, ISL_FORMAT_POLYLIB, ISL_FORMAT_POLYLIB_CONSTRAINTS, isl_printer_free(), and p.

Referenced by isl_basic_set_print_internal(), isl_printer_print_ast_graft(), and main().

◆ isl_printer_print_set()

__isl_give isl_printer * isl_printer_print_set	(	__isl_take isl_printer *	printer,
		__isl_keep isl_set *	map
	)

Definition at line 1572 of file isl_output.c.

References isl_assert, ISL_FORMAT_EXT_POLYLIB, ISL_FORMAT_ISL, ISL_FORMAT_LATEX, ISL_FORMAT_OMEGA, ISL_FORMAT_POLYLIB, isl_map_print_isl(), isl_map_print_latex(), isl_printer_free(), isl_set_print_omega(), isl_set_print_polylib(), p, set, and set_to_map.

Referenced by isl_obj_set_print(), isl_printer_print_ast_graft(), main(), and test_coalesce_special3().

◆ isl_set_add_dims()

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

Definition at line 4204 of file isl_map.c.

References isl_assert, isl_dim_in, isl_map_add_dims(), isl_set_free(), n, set, set_from_map(), set_to_map, and type.

Referenced by isl::set::add_dims(), isl_local_space_lift_set(), and q_closure().

◆ isl_set_affine_hull()

__isl_export __isl_give isl_basic_set * isl_set_affine_hull ( __isl_take isl_set * set )

Definition at line 1249 of file isl_affine_hull.c.

References bset_from_bmap(), isl_map_affine_hull(), set, and set_to_map.

Referenced by isl::set::affine_hull(), box_closure_on_domain(), convex_hull_pair(), extract_node(), FN(), initial_facet_constraint(), isl_aff_gist(), isl_map_convex_hull(), isl_qpolynomial_gist(), isl_set_combined_lineality_space(), set_detect_stride(), and test_affine_hull().

◆ isl_set_align_divs()

ISL_DEPRECATED __isl_give isl_set * isl_set_align_divs ( __isl_take isl_set * set )

Definition at line 9757 of file isl_map.c.

References isl_map_align_divs_internal(), set, set_from_map(), and set_to_map.

◆ isl_set_align_params()

__isl_give isl_set * isl_set_align_params	(	__isl_take isl_set *	set,
		__isl_take isl_space *	model
	)

Definition at line 12508 of file isl_map.c.

References isl_map_align_params(), and set.

Referenced by isl::set::align_params(), build_ast_from_context(), build_ast_from_guard(), FN(), gen_bin_set_op(), isl_ast_build_align_params(), isl_pw_aff_param_on_domain_id(), isl_schedule_constraints_align_params(), isl_schedule_tree_align_params(), and isl_set_opt().

◆ isl_set_apply()

__isl_export __isl_give isl_set * isl_set_apply	(	__isl_take isl_set *	set,
		__isl_take isl_map *	map
	)

Definition at line 9818 of file isl_map.c.

References isl_die, isl_error_invalid, isl_map_align_params_set(), isl_map_compatible_domain(), isl_map_free(), isl_map_intersect_domain(), isl_map_range(), isl_set_free(), isl_set_get_ctx(), map, and set.

Referenced by isl::set::apply(), generate_shifted_component_tree(), get_expanded_n_div(), and restricted_partial_lexmax().

◆ isl_set_bind()

__isl_export __isl_give isl_set * isl_set_bind	(	__isl_take isl_set *	set,
		__isl_take isl_multi_id *	tuple
	)

Definition at line 12709 of file isl_map.c.

References equate_params(), isl_set_get_space(), isl_set_reset_space(), isl_space_bind_set(), set, and tuple.

Referenced by isl::set::bind(), and test_bind_set().

◆ isl_set_bounded_simple_hull()

__isl_give isl_basic_set * isl_set_bounded_simple_hull ( __isl_take isl_set * set )

Definition at line 3081 of file isl_convex_hull.c.

References hull, isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_intersect(), isl_dim_all, isl_dim_param, isl_dim_set, isl_int_is_pos, isl_int_is_zero, isl_seq_first_non_zero(), isl_set_copy(), isl_set_free(), isl_set_remove_divs(), isl_set_simple_hull(), set, set_bounds(), and total().

◆ isl_set_box_from_points()

__isl_give isl_set * isl_set_box_from_points	(	__isl_take isl_point *	pnt1,
		__isl_take isl_point *	pnt2
	)

Definition at line 810 of file isl_point.c.

References isl_basic_set_box_from_points(), and isl_set_from_basic_set().

Referenced by ISL_ARG_CHILD().

◆ isl_set_coalesce()

__isl_export __isl_give isl_set * isl_set_coalesce ( __isl_take isl_set * set )

◆ isl_set_coefficients()

__isl_give isl_basic_set * isl_set_coefficients ( __isl_take isl_set * set )

Definition at line 892 of file isl_farkas.c.

References isl_basic_set_coefficients(), isl_basic_set_copy(), isl_basic_set_intersect(), isl_set_free(), isl_set_get_space(), isl_space_coefficients(), rational_universe(), and set.

Referenced by coefficients_entry(), inter_coefficients(), and intra_coefficients().

◆ isl_set_complement()

__isl_export __isl_give isl_set * isl_set_complement ( __isl_take isl_set * set )

Definition at line 941 of file isl_map_subtract.c.

References isl_map_complement(), and set.

Referenced by polly::ScopBuilder::addUserAssumptions(), isl::set::complement(), polly::SCEVAffinator::interpretAsUnsigned(), and isl_set_indicator_function().

◆ isl_set_compute_divs()

__isl_give isl_set * isl_set_compute_divs ( __isl_take isl_set * set )

Definition at line 8124 of file isl_map.c.

References isl_map_compute_divs(), set, set_from_map(), and set_to_map.

Referenced by add_domain(), add_node(), FN(), hoist_guard(), hoist_out_of_context(), isl_ast_build_expr_from_set(), isl_ast_build_from_context(), isl_ast_build_restrict_generated(), isl_ast_build_restrict_internal(), isl_ast_build_set_loop_bounds(), isl_ast_graft_unembed(), isl_set_foreach_point(), isl_set_scan(), polly::simplify(), and test_div().

◆ isl_set_convex_hull()

__isl_give isl_basic_set * isl_set_convex_hull ( __isl_take isl_set * set )

Definition at line 1975 of file isl_convex_hull.c.

References bset_from_bmap(), isl_map_convex_hull(), set, and set_to_map.

Referenced by isl::set::convex_hull(), set_bounds(), test_convex_hull_algo(), and test_convex_hull_case().

◆ isl_set_copy()

__isl_give isl_set * isl_set_copy ( __isl_keep isl_set * set )

Definition at line 1470 of file isl_map.c.

References set.

Referenced by add_intermediate_piece(), add_node(), add_to_guard_list(), polly::ScopBuilder::addUserAssumptions(), all_intermediate_sources(), basic_map_partial_lexopt_base(), basic_map_partial_lexopt_base_pw_multi_aff(), basic_map_partial_lexopt_symm_core(), bernstein_coefficients_cell(), box_closure_on_domain(), box_closure_with_identity(), build_ast_from_context(), build_ast_from_guard(), polly::ScopBuilder::buildConditionSets(), polly::Dependences::calculateDependences(), call_create_leaf(), check_solution(), cocoa_fig_1_right_graph(), coefficients_entry(), compute_atomic_domain(), compute_domains(), compute_domains_init_options(), compute_facet(), compute_mem_based_dependences(), compute_partial_domains(), compute_separate_domain(), compute_sizes(), compute_unroll_domains(), compute_val_based_dependences(), isl::set::copy(), copy_nodes(), create_node_scaled(), distance_is_bounded(), do_unroll_iteration(), equal_on_domain(), exact_bound(), extends(), extract_disjunction(), extract_hull(), extract_node(), find_unroll_lower_bound(), first_offset(), fixed_box_as_map(), FN(), foreach_iteration(), foreach_orthant(), generate_component(), generate_shifted_component_only_after(), generate_shifted_component_tree(), generate_shifted_component_tree_part(), get_expanded_n_div(), gist(), gist_guards(), gist_params_entry(), has_pure_outer_disjunction(), has_single_value(), incremental_closure(), incremental_on_entire_domain(), initial_facet_constraint(), insert_pending_guard_node(), insert_pending_guard_nodes(), polly::SCEVAffinator::interpretAsUnsigned(), intersect_params_entry(), is_isolate_loop_type_option(), isl_aff_add_on_domain(), ISL_ARG_CHILD(), isl_ast_build_aff_is_nonneg(), isl_ast_build_compute_gist(), isl_ast_build_compute_gist_aff(), isl_ast_build_compute_gist_basic_set(), isl_ast_build_compute_gist_map_domain(), isl_ast_build_compute_gist_pw_aff(), isl_ast_build_compute_gist_pw_multi_aff(), isl_ast_build_dup(), isl_ast_build_expr_from_set_internal(), isl_ast_build_from_context(), isl_ast_build_get_domain(), isl_ast_build_get_generated(), isl_ast_build_get_isolated(), isl_ast_build_get_pending(), isl_ast_build_include_stride(), isl_ast_build_init(), isl_ast_build_product(), isl_ast_build_replace_pending_by_guard(), isl_ast_build_restrict_generated(), isl_ast_build_set_loop_bounds(), isl_ast_graft_alloc_from_children(), isl_ast_graft_get_guard(), isl_ast_graft_list_extract_hoistable_guard(), isl_ast_graft_list_insert_pending_guard_nodes(), isl_flow_get_no_source(), isl_map_convex_hull(), isl_map_from_pw_aff_internal(), isl_map_from_pw_multi_aff_internal(), isl_map_partial_lexopt_aligned_pw_multi_aff(), isl_multi_aff_add_on_domain(), isl_multi_aff_lex_gte_set(), isl_multi_pw_aff_apply_pw_aff_aligned(), isl_multi_pw_aff_intersect_explicit_domain_product(), isl_multi_union_pw_aff_apply_pw_aff(), isl_obj_set_copy(), isl_pw_multi_aff_from_pw_aff(), isl_pw_multi_aff_get_at(), isl_pw_multi_aff_product(), isl_pw_multi_aff_substitute(), isl_pw_qpolynomial_fold_covers(), isl_pw_qpolynomial_fold_fold(), isl_pw_qpolynomial_fold_from_pw_qpolynomial(), isl_pw_qpolynomial_from_pw_aff(), isl_pw_qpolynomial_mul(), isl_pw_qpolynomial_to_polynomial(), isl_qpolynomial_add_on_domain(), isl_qpolynomial_fold_opt_on_domain(), isl_schedule_constraints_copy(), isl_schedule_constraints_get_context(), isl_schedule_tree_band_split(), isl_schedule_tree_context_get_context(), isl_schedule_tree_dup(), isl_schedule_tree_guard_get_guard(), isl_set_bounded_simple_hull(), isl_set_count_upto(), isl_set_foreach_orthant(), isl_set_foreach_point(), isl_set_indicator_function(), isl_set_opt(), isl_set_wrap_facet(), 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(), isolate_final(), isolate_initial(), list_add_guard(), merge(), plain_injective_on_range_wrap(), project_out_fixed(), pw_aff_gte_set(), pw_aff_locus(), pw_aff_max(), pw_aff_min(), pw_multi_aff_set_pw_aff(), q_closure(), read_union_pw_aff_with_dom(), remove_redundant_lower_bounds(), restricted_partial_lexmax(), scan_one(), separate_domain(), set_bounds(), set_detect_stride(), set_enforced_from_set(), set_for_cond_from_set(), set_product_entry(), solutions_entry(), split_div(), split_domain(), split_domain_pma(), polly::SCEVAffinator::takeNonNegativeAssumption(), test_coalesce_intersection(), test_coalesce_special3(), test_dim_max(), test_gist(), test_intersect_2(), test_lexmin(), test_one_schedule(), test_product(), test_set_conversion(), try_extract_mod(), update_values(), uset_convex_hull(), and verify_point().

◆ isl_set_count_val()

__isl_give isl_val * isl_set_count_val ( __isl_keep isl_set * set )

Definition at line 314 of file isl_scan.c.

References isl_set_count(), isl_set_get_ctx(), isl_val_cow(), isl_val_free(), isl_val_zero(), isl_val::n, and set.

◆ isl_set_detect_equalities()

__isl_export __isl_give isl_set * isl_set_detect_equalities ( __isl_take isl_set * set )

Definition at line 963 of file isl_affine_hull.c.

References isl_map_detect_equalities(), set, set_from_map(), and set_to_map.

Referenced by create_node_scaled(), isl::set::detect_equalities(), explicit_bounds(), and isl_ast_build_eliminate_inner().

◆ isl_set_dim()

isl_size isl_set_dim	(	__isl_keep isl_set *	set,
		enum isl_dim_type	type
	)

Definition at line 129 of file isl_map.c.

References isl_map_dim(), set, set_to_map, and type.

Referenced by add_node(), any_scheduled_after(), build_ast_from_guard(), check_exactness_omega(), common_constraints(), compute_domains(), compute_facet(), compute_sizes(), isl::set::dim(), drop_coalescing_constraints(), equal_independent_guards(), explicit_bounds(), extend(), extract_disjunction(), extract_node(), fix_inactive(), has_bounded_distances(), has_pure_outer_disjunction(), has_single_value(), hoist_guard(), init_n_maxvar(), initial_facet_constraint(), initial_hull(), is_acyclic(), is_loop_type_option(), ISL_ARG_CHILD(), isl_ast_build_dim(), isl_ast_build_eliminate_inner(), isl_ast_build_from_context(), isl_set_foreach_orthant(), isl_set_n_dim(), isl_set_n_param(), isl_set_tuple_dim(), isl_set_wrap_facet(), polly::IslNodeBuilder::materializeParameters(), plain_injective_on_range_wrap(), pw_aff_on_domain(), set_bounds(), set_parameter_preimage(), set_plug_in_parameters(), test_one_schedule(), uset_convex_hull(), uset_convex_hull_wrap_bounded(), uset_unshifted_simple_hull_from_basic_set_list(), uset_unshifted_simple_hull_from_constraints(), polly::SCEVAffinator::visitTruncateExpr(), and wrap_constraints().

◆ isl_set_dim_has_any_lower_bound()

isl_bool isl_set_dim_has_any_lower_bound	(	__isl_keep isl_set *	set,
		enum isl_dim_type	type,
		unsigned	pos
	)

Definition at line 11532 of file isl_map.c.

References has_any_bound(), isl_basic_map_dim_has_lower_bound(), pos(), set, and type.

Referenced by isl::set::dim_has_any_lower_bound().

◆ isl_set_dim_has_any_upper_bound()

isl_bool isl_set_dim_has_any_upper_bound	(	__isl_keep isl_set *	set,
		enum isl_dim_type	type,
		unsigned	pos
	)

Definition at line 11541 of file isl_map.c.

References has_any_bound(), isl_basic_map_dim_has_upper_bound(), pos(), set, and type.

◆ isl_set_dim_has_lower_bound()

isl_bool isl_set_dim_has_lower_bound	(	__isl_keep isl_set *	set,
		enum isl_dim_type	type,
		unsigned	pos
	)

Definition at line 11572 of file isl_map.c.

References has_bound(), isl_basic_map_dim_has_lower_bound(), pos(), set, and type.

◆ isl_set_dim_has_upper_bound()

isl_bool isl_set_dim_has_upper_bound	(	__isl_keep isl_set *	set,
		enum isl_dim_type	type,
		unsigned	pos
	)

Definition at line 11580 of file isl_map.c.

References has_bound(), isl_basic_map_dim_has_upper_bound(), pos(), set, and type.

Referenced by use_upper_bound_list().

◆ isl_set_dim_is_bounded()

isl_bool isl_set_dim_is_bounded	(	__isl_keep isl_set *	set,
		enum isl_dim_type	type,
		unsigned	pos
	)

Definition at line 11502 of file isl_map.c.

References isl_map_dim_is_bounded(), pos(), set, set_to_map, and type.

◆ isl_set_dim_max()

__isl_give isl_pw_aff * isl_set_dim_max	(	__isl_take isl_set *	set,
		int	pos
	)

Definition at line 7511 of file isl_map.c.

References pos(), set, and set_dim_opt().

Referenced by isl::set::dim_max(), isl_set_max_multi_pw_aff(), test_dim_max(), and test_dim_max_2().

◆ isl_set_dim_min()

__isl_give isl_pw_aff * isl_set_dim_min	(	__isl_take isl_set *	set,
		int	pos
	)

Definition at line 7519 of file isl_map.c.

References pos(), set, and set_dim_opt().

Referenced by isl::set::dim_min(), isl_set_min_multi_pw_aff(), polly::Dependences::isParallel(), test_dim_max(), and test_dim_max_1().

◆ isl_set_dim_residue_class_val()

isl_stat isl_set_dim_residue_class_val	(	__isl_keep isl_set *	set,
		int	pos,
		__isl_give isl_val **	modulo,
		__isl_give isl_val **	residue
	)

Definition at line 876 of file isl_equalities.c.

References isl_int_set_si, isl_set_dim_residue_class(), isl_set_get_ctx(), isl_stat_error, isl_stat_ok, isl_val_alloc(), isl_val_free(), pos(), and set.

Referenced by generate_component().

◆ isl_set_drop_constraints_involving_dims()

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

Definition at line 3214 of file isl_map.c.

References isl_map_drop_constraints_involving_dims(), n, set, and type.

Referenced by isl::set::drop_constraints_involving_dims(), and explicit_bounds().

◆ isl_set_drop_constraints_not_involving_dims()

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

Definition at line 3224 of file isl_map.c.

References isl_map_drop_constraints_not_involving_dims(), n, set, and type.

Referenced by has_pure_outer_disjunction().

◆ isl_set_drop_unused_params()

__isl_give isl_set * isl_set_drop_unused_params ( __isl_take isl_set * set )

Definition at line 12623 of file isl_map.c.

References isl_map_drop_unused_params(), set, set_from_map(), and set_to_map.

Referenced by test_drop_unused_parameters().

◆ isl_set_dump()

void isl_set_dump ( __isl_keep isl_set * set )

Referenced by isl_ast_build_dump().

◆ 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.

References isl_map_eliminate(), n, set, set_from_map(), set_to_map, and type.

Referenced by add_implied_guards(), isl::set::eliminate(), extract_disjunction(), fix_inactive(), hoist_guard(), isl_ast_build_eliminate_inner(), and isl_ast_build_set_loop_bounds().

◆ isl_set_eliminate_dims()

__isl_give isl_set * isl_set_eliminate_dims	(	__isl_take isl_set *	set,
		unsigned	first,
		unsigned	n
	)

Definition at line 2566 of file isl_map.c.

References isl_dim_set, isl_set_eliminate(), n, and set.

Referenced by set_bounds().

◆ isl_set_empty()

__isl_export __isl_give isl_set * isl_set_empty ( __isl_take isl_space * space )

Definition at line 6343 of file isl_map.c.

References ISL_MAP_DISJOINT, and isl_set_alloc_space().

Referenced by polly::ScopBuilder::buildConditionSets(), polly::ScopBuilder::buildDomains(), compute_domains(), compute_val_based_dependences(), do_unroll(), isl::set::empty(), FN(), generate_shifted_component_only_after(), isl_ast_graft_list_extract_hoistable_guard(), isl_multi_aff_lex_gte_set(), isl_multi_aff_lex_gte_set_0d(), isl_union_map_params(), pw_aff_locus(), separate_schedule_domains(), and test_ast_build().

◆ isl_set_equate()

__isl_give isl_set * isl_set_equate	(	__isl_take isl_set *	set,
		enum isl_dim_type	type1,
		int	pos1,
		enum isl_dim_type	type2,
		int	pos2
	)

Definition at line 13269 of file isl_map.c.

References isl_map_equate(), and set.

Referenced by equate_params().

◆ isl_set_find_dim_by_id()

int isl_set_find_dim_by_id	(	__isl_keep isl_set *	set,
		enum isl_dim_type	type,
		__isl_keep isl_id *	id
	)

Definition at line 1035 of file isl_map.c.

References isl_map_find_dim_by_id(), set, and type.

Referenced by equate_params(), and isl::set::find_dim_by_id().

◆ isl_set_find_dim_by_name()

int isl_set_find_dim_by_name	(	__isl_keep isl_set *	set,
		enum isl_dim_type	type,
		const char *	name
	)

Definition at line 1061 of file isl_map.c.

References isl_map_find_dim_by_name(), name, set, and type.

Referenced by generate_name().

◆ isl_set_fix_dim_si()

__isl_give isl_set * isl_set_fix_dim_si	(	__isl_take isl_set *	set,
		unsigned	dim,
		int	value
	)

Definition at line 6714 of file isl_map.c.

References isl_basic_map::dim, isl_dim_set, isl_map_fix_si(), set, set_from_map(), and set_to_map.

◆ isl_set_fix_si()

__isl_give isl_set * isl_set_fix_si	(	__isl_take isl_set *	set,
		enum isl_dim_type	type,
		unsigned	pos,
		int	value
	)

Definition at line 6634 of file isl_map.c.

References isl_map_fix_si(), pos(), set, set_from_map(), set_to_map, and type.

Referenced by check_exactness_omega(), extract_loop_type(), fix_inactive(), isl::set::fix_si(), FN(), is_acyclic(), polly::Dependences::isParallel(), test_div(), and test_one_schedule().

◆ isl_set_fix_val()

__isl_give isl_set * isl_set_fix_val	(	__isl_take isl_set *	set,
		enum isl_dim_type	type,
		unsigned	pos,
		__isl_take isl_val *	v
	)

Definition at line 6702 of file isl_map.c.

References isl_map_fix_val(), pos(), set, and type.

◆ isl_set_flat_product()

__isl_give isl_set * isl_set_flat_product	(	__isl_take isl_set *	set1,
		__isl_take isl_set *	set2
	)

Definition at line 10970 of file isl_map.c.

References isl_map_flat_range_product(), set1, and set2.

◆ isl_set_follows_at()

int isl_set_follows_at	(	__isl_keep isl_set *	set1,
		__isl_keep isl_set *	set2,
		int	pos
	)

Definition at line 10013 of file isl_map.c.

References f, isl_basic_set_follows_at(), pos(), set1, and set2.

Referenced by any_scheduled_after().

◆ isl_set_foreach_basic_set()

__isl_export isl_stat isl_set_foreach_basic_set	(	__isl_keep isl_set *	set,
		isl_stat()(__isl_take isl_basic_set bset, void *user)	fn,
		void *	user
	)

Definition at line 11277 of file isl_map.c.

References fn, isl_basic_set_copy(), isl_stat_error, isl_stat_ok, set, and user.

Referenced by ast_node_insert_if(), isl::set::foreach_basic_set(), guarded_fold(), isl_basic_set_list_from_set(), and qpolynomial_bound_on_domain_range().

◆ isl_set_foreach_point()

__isl_export isl_stat isl_set_foreach_point	(	__isl_keep isl_set *	set,
		isl_stat()(__isl_take isl_point pnt, void *user)	fn,
		void *	user
	)

Definition at line 576 of file isl_point.c.

References isl_foreach_point::callback, isl_foreach_point::dim, fn, foreach_point(), isl_basic_set_copy(), isl_basic_set_scan(), isl_set_compute_divs(), isl_set_copy(), isl_set_cow(), isl_set_free(), isl_set_get_space(), isl_set_make_disjoint(), isl_space_free(), isl_stat_error, isl_stat_ok, set, and user.

Referenced by check_solution(), compute_domains(), foreach_point(), isl::set::foreach_point(), and isl_qpolynomial_opt_on_domain().

◆ isl_set_free()

__isl_null isl_set * isl_set_free ( __isl_take isl_set * set )

Definition at line 3513 of file isl_map.c.

References isl_map_free(), and set.

Referenced by add_constraint(), add_implied_guards(), add_list(), add_n(), add_node(), add_same_guard(), polly::ScopBuilder::addLoopBoundsToHeaderDomain(), addNumBasicSets(), polly::IslNodeBuilder::addParameters(), polly::ScopBuilder::addUserAssumptions(), ast_expr_from_pw_aff(), ast_node_insert_if(), before_for(), box_closure_on_domain(), build_ast_from_guard(), polly::ScopBuilder::buildConditionSets(), polly::ScopBuilder::buildDomainsWithBranchConstraints(), can_wrap_in_facet(), check_eq_adj_eq(), check_exactness_omega(), check_solution(), clear_if_nodes(), clear_node(), collect_bounds(), compute_atomic_domain(), compute_class_domains(), compute_domains(), compute_facet(), compute_mem_based_dependences(), compute_partial_domains(), compute_size(), compute_sizes(), compute_sizes_and_max(), compute_unroll_domains(), compute_val_based_dependences(), construct_component(), convex_hull_0d(), convex_hull_1d(), create_node_scaled(), polly::IslNodeBuilder::createNewAccesses(), distance_is_bounded(), do_unroll(), drop_coalescing_constraints(), equate_params(), extends(), extract_disjunction(), extract_loop_type(), extract_node(), extract_single_piece(), fix_inactive(), floyd_warshall(), FN(), foreach_iteration(), foreach_lifted_subset(), foreach_orthant(), foreach_point(), gen_bin_set_op(), generate_code_set(), generate_component(), generate_components(), generate_shifted_component_only_after(), generate_shifted_component_tree(), generate_shifted_component_tree_base(), generate_shifted_component_tree_part(), polly::SCEVAffinator::getPwAff(), graft_alloc(), guarded_fold(), has_bounded_distances(), has_pure_outer_disjunction(), has_single_value(), has_singular_src_or_dst(), has_spurious_elements(), hoist_guard(), importAccesses(), incremental_closure(), incremental_on_entire_domain(), init_n_maxvar(), insert_if_node(), insert_pending_guard_nodes(), intermediate_sources(), intersect_stride_constraint(), is_acyclic(), is_adj_ineq_extension(), ISL_ARG_CHILD(), isl_ast_build_aff_is_nonneg(), isl_ast_build_compute_gist(), isl_ast_build_detect_strides(), isl_ast_build_eliminate_divs(), isl_ast_build_eliminate_inner(), isl_ast_build_expr_from_set(), isl_ast_build_expr_from_set_internal(), isl_ast_build_free(), isl_ast_build_from_context(), isl_ast_build_replace_pending_by_guard(), isl_ast_build_restrict(), isl_ast_build_restrict_generated(), isl_ast_build_restrict_internal(), isl_ast_build_specialize(), isl_ast_graft_free(), isl_ast_graft_list_gist_guards(), isl_ast_graft_list_insert_pending_guard_nodes(), isl_basic_set_list_from_set(), isl_flow_free(), isl_from_pw_aff_data_clear(), isl_local_space_lift_set(), isl_map_affine_hull(), isl_map_convex_hull(), isl_map_get_range_stride_info(), isl_map_intersect_domain(), isl_map_intersect_range(), isl_map_is_translation(), isl_map_partial_lexopt_aligned(), isl_map_partial_lexopt_aligned_pw_multi_aff(), isl_map_subtract_domain(), isl_map_subtract_range(), isl_morph_set(), isl_multi_union_pw_aff_has_non_trivial_domain(), isl_multi_union_pw_aff_intersect_range(), isl_obj_set_free(), isl_pw_multi_aff_substitute(), isl_pw_qpolynomial_fold_covers(), isl_pw_qpolynomial_fold_fold(), isl_pw_qpolynomial_mul(), isl_qpolynomial_fold_gist(), isl_qpolynomial_fold_opt_on_domain(), isl_qpolynomial_opt_on_domain(), isl_restriction_free(), isl_restriction_input(), isl_restriction_output(), isl_schedule_band_replace_ast_build_option(), isl_schedule_constraints_free(), isl_schedule_constraints_set_context(), isl_schedule_gist_domain_params(), isl_schedule_node_domain_gist_params(), isl_schedule_tree_band_split(), isl_schedule_tree_free(), isl_schedule_tree_from_context(), isl_schedule_tree_from_guard(), isl_set_add_basic_set_equality(), isl_set_add_dims(), isl_set_apply(), isl_set_bounded_simple_hull(), isl_set_coefficients(), isl_set_combined_lineality_space(), isl_set_foreach_point(), isl_set_lift(), isl_set_move_dims(), isl_set_opt(), isl_set_preimage(), isl_set_project_onto_map(), isl_set_sample_point(), isl_set_scan(), isl_set_solutions(), isl_set_split_dims(), isl_set_unbind_params(), isl_set_unbind_params_insert_domain(), isl_set_wrap_facet(), isl_stream_read_ast_graft(), isl_union_map_intersect_params(), isl_union_set_is_params(), polly::Dependences::isParallel(), main(), map_intersect_set(), polly::IslNodeBuilder::materializeValue(), merge(), modulo_affine_hull(), modulo_lineality(), MULTI(), obj_read_poly_or_fold(), piece_opt(), polly::IslNodeBuilder::preloadInvariantLoad(), project_out_fixed(), pw_aff_gte_set(), pw_multi_aff_set_pw_aff(), qpolynomial_bound_on_domain_range(), read_aff_domain(), 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_bounds(), remove_redundant_lower_bounds(), restricted_partial_lexmax(), scan_one(), separate_schedule_domains(), set_append_equalities(), set_div(), set_is_equal(), set_minimum(), set_parameter_preimage(), set_plug_in_parameters(), setup_groups(), SF(), single_is_subset(), sol_map_free(), sol_pma_free(), split_div(), split_domain(), split_domain_pma(), split_periods(), steal_from_cst(), store_guard(), test_bin_locus_ma(), test_bind_aff(), test_bind_map_domain(), test_bind_pa(), test_bind_set(), 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_dim_max(), test_disjoint(), test_div(), test_drop_unused_parameters(), test_equal(), test_gist(), test_intersect_2(), test_lexmin(), test_min(), test_min_special(), test_multi_pw_aff_1(), test_one_schedule(), test_output_set(), test_padded_schedule(), test_pointer(), test_product(), test_residue_class(), test_set_conversion(), test_subset(), test_subset_duplicate_integer_divisions(), test_subtract_empty(), test_unbind_set(), union_floyd_warshall_on_list(), update_n_div(), uset_convex_hull(), uset_convex_hull_unbounded(), uset_convex_hull_wrap(), uset_convex_hull_wrap_bounded(), uset_simple_hull(), uset_unshifted_simple_hull_from_basic_set_list(), uset_unshifted_simple_hull_from_constraints(), verify_point(), wrap_in_facets(), and isl::set::~set().

◆ isl_set_from_basic_set()

__isl_constructor __isl_give isl_set * isl_set_from_basic_set ( __isl_take isl_basic_set * bset )

Definition at line 3482 of file isl_map.c.

References isl_map_from_basic_map().

Referenced by add_guarded_poly(), add_implied_guards(), add_split_on(), bernstein_coefficients_cell(), bernstein_coefficients_factors(), bernstein_coefficients_full_recursive(), build_ast_from_context(), build_ast_from_domain(), build_ast_from_extension(), can_be_split_off(), coefficients_entry(), collect_bounds(), combined_lineality_space(), composability(), compute_atomic_domain(), compute_sizes(), compute_unroll_domains(), constant_on_domain(), do_unroll_iteration(), extends(), extract_disjunction(), extract_node(), extract_pending(), find_vertex(), foreach_lifted_subset(), foreach_orthant(), generate_code_in_space(), generate_domain(), generate_shifted_component_tree(), has_pure_outer_disjunction(), incremental_closure(), incremental_on_entire_domain(), insert_if(), intersect_constraints(), isl_aff_eq_set(), isl_aff_ge_set(), isl_aff_gt_set(), isl_aff_lt_set(), isl_ast_build_aff_is_nonneg(), isl_ast_build_expr_from_basic_set(), isl_ast_build_expr_from_set_internal(), isl_ast_build_get_stride_constraint(), isl_ast_build_set_loop_bounds(), isl_ast_build_set_pending_generated(), isl_ast_graft_list_extract_hoistable_guard(), isl_basic_set_to_set(), isl_local_space_lift_set(), isl_morph_set(), isl_qpolynomial_cst_bound(), isl_set_box_from_points(), isl_set_from_point(), parameter_compute_divs(), pw_aff_locus(), qpolynomial_bound_on_domain_range(), scan_one(), isl::set::set(), set_div_slice(), set_from_updated_bmap(), set_minimum_pa(), setup_groups(), sol_pma_add(), solutions_entry(), test_bind_aff(), test_convex_hull_algo(), and update_values().

◆ isl_set_from_multi_aff()

__isl_give isl_set * isl_set_from_multi_aff ( __isl_take isl_multi_aff * ma )

Definition at line 243 of file isl_aff_map.c.

References check_input_is_set(), isl_map_from_multi_aff_internal(), and ma.

Referenced by isl_multi_aff_as_set().

◆ isl_set_from_params()

__isl_give isl_set * isl_set_from_params ( __isl_take isl_set * set )

Definition at line 5955 of file isl_map.c.

References isl_set_get_space(), isl_set_reset_space(), isl_space_set_from_params(), and set.

◆ isl_set_from_point()

__isl_constructor __isl_give isl_set * isl_set_from_point ( __isl_take isl_point * pnt )

Definition at line 690 of file isl_point.c.

References isl_basic_set_from_point(), and isl_set_from_basic_set().

Referenced by compute_class_domains(), isl_point_to_set(), isl_union_set_from_point(), and isl::set::set().

◆ isl_set_get_basic_set_list()

__isl_give isl_basic_set_list * isl_set_get_basic_set_list ( __isl_keep isl_set * set )

Definition at line 11316 of file isl_map.c.

References isl_basic_set_copy(), isl_basic_set_list, isl_set_get_ctx(), and set.

Referenced by add_list(), isl::set::basic_set_list(), isl_ast_build_expr_from_set_internal(), and uset_convex_hull_unbounded().

◆ isl_set_get_ctx()

isl_ctx * isl_set_get_ctx ( __isl_keep isl_set * set )

Definition at line 396 of file isl_map.c.

References set.

Referenced by add_node(), construct_compressed_id(), isl::set::ctx(), find_unroll_lower_bound(), FN(), generate_code_set(), getWidthExpValOnDomain(), isl_ast_build_from_context(), isl_ast_build_get_ctx(), isl_basic_set_list_from_set(), isl_flow_get_ctx(), isl_map_subtract_domain(), isl_map_subtract_range(), isl_qpolynomial_fold_opt_on_domain(), isl_qpolynomial_opt_on_domain(), isl_restriction_get_ctx(), isl_restriction_input(), isl_restriction_output(), isl_schedule_tree_from_context(), isl_schedule_tree_from_guard(), isl_set_apply(), isl_set_check_is_set(), isl_set_coalesce_preserve(), isl_set_count_val(), isl_set_dim_residue_class_val(), isl_set_get_basic_set_list(), isl_set_project_onto_map(), isl_set_unbind_params(), list_cmp(), set_check_equal(), set_detect_stride(), set_is_equal(), set_max_constant_term(), set_parameter_preimage(), and uset_unshifted_simple_hull_from_basic_set_list().

◆ isl_set_get_dim_id()

__isl_give isl_id * isl_set_get_dim_id	(	__isl_keep isl_set *	set,
		enum isl_dim_type	type,
		unsigned	pos
	)

Definition at line 1003 of file isl_map.c.

References isl_map_get_dim_id(), pos(), set, and type.

Referenced by polly::ScopBuilder::addUserAssumptions(), isl::set::dim_id(), isl_ast_build_from_context(), and polly::IslNodeBuilder::materializeParameters().

◆ isl_set_get_dim_name()

const char * isl_set_get_dim_name	(	__isl_keep isl_set *	set,
		enum isl_dim_type	type,
		unsigned	pos
	)

Definition at line 902 of file isl_map.c.

References isl_space_get_dim_name(), pos(), set, and type.

Referenced by isl::set::dim_name().

◆ isl_set_get_hash()

uint32_t isl_set_get_hash ( __isl_keep isl_set * set )

Definition at line 11245 of file isl_map.c.

References isl_map_get_hash(), set, and set_to_map.

Referenced by FN().

◆ isl_set_get_lattice_tile()

__isl_export __isl_give isl_fixed_box * isl_set_get_lattice_tile ( __isl_keep isl_set * set )

Definition at line 496 of file isl_box.c.

References fixed_box_as_map(), isl_map_get_range_lattice_tile(), and set.

◆ isl_set_get_plain_multi_val_if_fixed()

__isl_export __isl_give isl_multi_val * isl_set_get_plain_multi_val_if_fixed ( __isl_keep isl_set * set )

Definition at line 10191 of file isl_map.c.

References isl_dim_set, isl_set_get_space(), isl_set_plain_get_val_if_fixed(), isl_space_drop_all_params(), n, and set.

Referenced by isl::set::plain_multi_val_if_fixed().

◆ isl_set_get_simple_fixed_box_hull()

__isl_export __isl_give isl_fixed_box * isl_set_get_simple_fixed_box_hull ( __isl_keep isl_set * set )

Definition at line 439 of file isl_box.c.

References fixed_box_as_map(), isl_map_get_range_simple_fixed_box_hull(), and set.

Referenced by isl::set::simple_fixed_box_hull(), and test_box_hull().

◆ isl_set_get_space()

__isl_export __isl_give isl_space * isl_set_get_space ( __isl_keep isl_set * set )

Definition at line 603 of file isl_map.c.

References isl_space_copy(), and set.

Referenced by add_constraint(), add_node(), build_ast_from_context(), polly::ScopBuilder::buildConditionSets(), polly::ScopBuilder::buildDomains(), collect_bounds(), compute_domains(), compute_separate_domain(), compute_size(), compute_sizes(), compute_val_based_dependences(), do_unroll(), FN(), foreach_lifted_subset(), foreach_orthant(), gen_bin_set_op(), generate_code_set(), generate_shifted_component_only_after(), generate_shifted_component_tree(), identity_upma(), isl_ast_build_from_context(), isl_ast_build_get_space(), isl_ast_build_replace_pending_by_guard(), isl_map_apply_pw_qpolynomial_fold(), isl_map_from_range(), isl_multi_union_pw_aff_intersect_range(), isl_pw_aff_param_on_domain_id(), isl_pw_aff_val_on_domain(), isl_pw_multi_aff_from_domain(), isl_pw_multi_aff_multi_val_on_domain(), isl_schedule_constraints_align_params(), isl_set_bind(), isl_set_coefficients(), isl_set_combined_lineality_space(), isl_set_flatten_map(), isl_set_foreach_point(), isl_set_from_params(), isl_set_get_plain_multi_val_if_fixed(), isl_set_gist_params_basic_set(), isl_set_identity(), isl_set_indicator_function(), isl_set_insert_domain(), isl_set_lex_ge_set(), isl_set_lex_gt_set(), isl_set_lex_le_set(), isl_set_lex_lt_set(), isl_set_lift(), isl_set_opt(), isl_set_sample_point(), isl_set_solutions(), isl_set_split_dims(), isl_set_substitute(), isl_set_translation(), isl_stream_read_with_params_union_pw_multi_aff(), polly::Dependences::isParallel(), list_cmp(), MULTI(), nan_on_domain_set(), polly::IslNodeBuilder::preloadInvariantLoad(), project_out_fixed(), pw_aff_gte_set(), pw_aff_on_domain(), pw_multi_aff_from_map_stride(), read_conditional_multi_pw_aff(), read_multi_union_pw_aff_core(), read_params(), read_pw_aff_with_dom(), refine_generic_bounds(), scan_one(), set_detect_stride(), set_div(), set_enforced_from_set(), set_parameter_preimage(), isl::set::space(), test_one_schedule(), union_floyd_warshall_on_list(), and uset_unshifted_simple_hull_from_constraints().

◆ isl_set_get_stride()

__isl_export __isl_give isl_val * isl_set_get_stride	(	__isl_keep isl_set *	set,
		int	pos
	)

Definition at line 349 of file isl_stride.c.

References pos(), set, set_detect_stride(), isl_detect_stride_data::stride, and isl_detect_stride_data::want_offset.

Referenced by isl::set::stride().

◆ isl_set_get_stride_info()

__isl_give isl_stride_info * isl_set_get_stride_info	(	__isl_keep isl_set *	set,
		int	pos
	)

Definition at line 335 of file isl_stride.c.

References isl_stride_info_alloc(), isl_detect_stride_data::offset, pos(), set, set_detect_stride(), isl_detect_stride_data::stride, and isl_detect_stride_data::want_offset.

Referenced by isl_ast_build_detect_strides(), and isl_map_get_range_stride_info().

◆ isl_set_get_tuple_id()

__isl_give isl_id * isl_set_get_tuple_id ( __isl_keep isl_set * set )

Definition at line 849 of file isl_map.c.

References isl_dim_set, isl_map_get_tuple_id(), and set.

Referenced by isl_set_wrapped_domain_map(), isolate_final(), isolate_initial(), and isl::set::tuple_id().

◆ isl_set_get_tuple_name()

const char * isl_set_get_tuple_name ( __isl_keep isl_set * set )

Definition at line 869 of file isl_map.c.

References isl_dim_set, isl_space_get_tuple_name(), and set.

Referenced by construct_compressed_id(), is_isolate(), is_loop_type_option(), and isl::set::tuple_name().

◆ isl_set_gist()

__isl_export __isl_give isl_set * isl_set_gist	(	__isl_take isl_set *	set,
		__isl_take isl_set *	context
	)

Definition at line 3756 of file isl_map_simplify.c.

References context, isl_map_gist(), set, set_from_map(), and set_to_map.

Referenced by add_domain(), add_intermediate_piece(), build_ast_from_guard(), extract_disjunction(), extract_pending(), isl::set::gist(), gist_guards(), insert_pending_guard_nodes(), isl_ast_build_compute_gist(), store_guard(), and test_gist().

◆ isl_set_gist_basic_set()

__isl_give isl_set * isl_set_gist_basic_set	(	__isl_take isl_set *	set,
		__isl_take isl_basic_set *	context
	)

Definition at line 3740 of file isl_map_simplify.c.

References bset_to_bmap(), context, isl_map_gist_basic_map(), set, set_from_map(), and set_to_map.

Referenced by FN(), and isl_set_gist_params_basic_set().

◆ isl_set_gist_params()

__isl_export __isl_give isl_set * isl_set_gist_params	(	__isl_take isl_set *	set,
		__isl_take isl_set *	context
	)

Definition at line 3799 of file isl_map_simplify.c.

References context, isl_map_gist_params(), and set.

Referenced by isl::set::gist_params(), and polly::IslNodeBuilder::preloadInvariantLoad().

◆ isl_set_has_dim_id()

isl_bool isl_set_has_dim_id	(	__isl_keep isl_set *	set,
		enum isl_dim_type	type,
		unsigned	pos
	)

Definition at line 997 of file isl_map.c.

References isl_map_has_dim_id(), pos(), set, and type.

Referenced by isl_ast_build_from_context().

◆ isl_set_has_dim_name()

isl_bool isl_set_has_dim_name	(	__isl_keep isl_set *	set,
		enum isl_dim_type	type,
		unsigned	pos
	)

Definition at line 910 of file isl_map.c.

References isl_bool_error, isl_space_has_dim_name(), pos(), set, and type.

◆ isl_set_has_equal_space()

isl_bool isl_set_has_equal_space	(	__isl_keep isl_set *	set1,
		__isl_keep isl_set *	set2
	)

Definition at line 9192 of file isl_map.c.

References isl_map_has_equal_space(), set1, set2, and set_to_map.

Referenced by isl::set::has_equal_space(), importAccesses(), and obj_add().

◆ isl_set_has_tuple_id()

isl_bool isl_set_has_tuple_id ( __isl_keep isl_set * set )

Definition at line 844 of file isl_map.c.

References isl_dim_set, isl_map_has_tuple_id(), and set.

Referenced by isl_set_wrapped_domain_map().

◆ isl_set_has_tuple_name()

isl_bool isl_set_has_tuple_name ( __isl_keep isl_set * set )

Definition at line 856 of file isl_map.c.

References isl_bool_error, isl_dim_set, isl_space_has_tuple_name(), and set.

Referenced by construct_compressed_id(), is_isolate(), and is_loop_type_option().

◆ isl_set_insert_dims()

__isl_give isl_set * isl_set_insert_dims	(	__isl_take isl_set *	set,
		enum isl_dim_type	type,
		unsigned	pos,
		unsigned	n
	)

Definition at line 4187 of file isl_map.c.

References isl_map_insert_dims(), n, pos(), set, and type.

Referenced by FN(), isl::set::insert_dims(), isl_ast_build_insert_dim(), and isl_multi_pw_aff_insert_explicit_domain_dims().

◆ isl_set_intersect()

__isl_export __isl_give isl_set * isl_set_intersect	(	__isl_take isl_set *	set1,
		__isl_take isl_set *	set2
	)

Definition at line 3965 of file isl_map.c.

References isl_map_intersect(), set1, set2, set_from_map(), and set_to_map.

Referenced by add_implied_guards(), polly::ScopBuilder::addRecordedAssumptions(), polly::ScopBuilder::addUserAssumptions(), build_ast_from_guard(), polly::ScopBuilder::buildConditionSets(), polly::ScopBuilder::buildUnsignedConditionSets(), compress_node(), compute_atomic_domain(), compute_partial_domains(), compute_separate_domain(), compute_unroll_domains(), construct_constraints(), create_node_scaled(), do_unroll_iteration(), exact_bound(), extends(), extract_pending(), FN(), foreach_iteration(), foreach_orthant(), generate_shifted_component_tree(), importAccesses(), insert_pending_guard_nodes(), isl::set::intersect(), intersect_stride_constraint(), ISL_ARG_CHILD(), isl_ast_build_aff_is_nonneg(), isl_ast_build_expr_from_set_internal(), isl_ast_build_include_stride(), isl_ast_build_restrict_generated(), isl_ast_build_restrict_internal(), isl_ast_build_set_loop_bounds(), isl_ast_build_set_pending_generated(), isl_ast_graft_list_extract_hoistable_guard(), isl_local_space_lift_set(), isl_map_partial_lexopt_aligned_pw_multi_aff(), isl_morph_set(), isl_multi_aff_lex_gte_set(), isl_pw_multi_aff_substitute(), isl_pw_qpolynomial_fold_covers(), isl_pw_qpolynomial_fold_fold(), isl_pw_qpolynomial_mul(), isl_set_split_dims(), polly::Dependences::isParallel(), pw_aff_gte_set(), pw_aff_list_set(), pw_aff_locus(), pw_aff_max(), pw_aff_min(), pw_multi_aff_set_pw_aff(), remove_redundant_lower_bounds(), replace_by_nan(), replace_list_by_nan(), restricted_partial_lexmax(), separate_domain(), set_div(), store_guard(), test_coalesce_intersection(), test_gist(), test_intersect_2(), test_lexmin(), and update_values().

◆ isl_set_intersect_factor_domain()

__isl_give isl_set * isl_set_intersect_factor_domain	(	__isl_take isl_set *	set,
		__isl_take isl_set *	domain
	)

Definition at line 8526 of file isl_map.c.

References domain, isl_dim_set, isl_map_intersect_factor(), isl_map_range_product(), isl_space_factor_range(), isl_intersect_factor_control::preserve_type, set, set_from_map(), and set_to_map.

Referenced by FN().

◆ isl_set_intersect_factor_range()

__isl_give isl_set * isl_set_intersect_factor_range	(	__isl_take isl_set *	set,
		__isl_take isl_set *	range
	)

Definition at line 8545 of file isl_map.c.

References isl_dim_set, isl_map_intersect_factor(), isl_map_reverse_range_product(), isl_space_factor_domain(), isl_intersect_factor_control::preserve_type, range, set, set_from_map(), and set_to_map.

Referenced by FN().

◆ isl_set_intersect_params()

__isl_export __isl_give isl_set * isl_set_intersect_params	(	__isl_take isl_set *	set,
		__isl_take isl_set *	params
	)

Definition at line 3982 of file isl_map.c.

References isl_map_intersect_params(), params, and set.

Referenced by polly::IslNodeBuilder::createNewAccesses(), FN(), importAccesses(), isl::set::intersect_params(), isl_aff_gist_params(), isl_ast_build_init(), isl_qpolynomial_fold_gist_params(), isl_qpolynomial_gist_params(), and map_from_tuple().

◆ isl_set_involves_dims()

isl_bool isl_set_involves_dims	(	__isl_keep isl_set *	set,
		enum isl_dim_type	type,
		unsigned	first,
		unsigned	n
	)

Definition at line 2986 of file isl_map.c.

References isl_map_involves_dims(), n, set, and type.

Referenced by equal_independent_guards(), FN(), isl::set::involves_dims(), isl_multi_pw_aff_involves_explicit_domain_dims(), and polly::IslNodeBuilder::materializeParameters().

◆ isl_set_involves_locals()

__isl_export isl_bool isl_set_involves_locals ( __isl_keep isl_set * set )

Definition at line 3014 of file isl_map.c.

References basic_set_no_locals(), isl_bool_not(), isl_set_every_basic_set(), and set.

Referenced by FN(), and isl::set::involves_locals().

◆ isl_set_is_bounded()

isl_bool isl_set_is_bounded ( __isl_keep isl_set * set )

Definition at line 850 of file isl_convex_hull.c.

References isl_basic_set_is_bounded(), isl_bool_error, isl_bool_true, and set.

Referenced by isl::set::is_bounded(), test_bounded(), uset_convex_hull(), and verify_point().

◆ isl_set_is_box()

isl_bool isl_set_is_box ( __isl_keep isl_set * set )

Definition at line 12116 of file isl_map.c.

References isl_basic_set_is_box(), isl_bool_error, isl_bool_false, and set.

◆ isl_set_is_disjoint()

__isl_export isl_bool isl_set_is_disjoint	(	__isl_keep isl_set *	set1,
		__isl_keep isl_set *	set2
	)

Definition at line 4085 of file isl_map_simplify.c.

References isl_map_is_disjoint(), set1, and set2.

Referenced by add_node(), FN(), isl::set::is_disjoint(), isl_ast_graft_list_merge(), isl_set_overlaps(), only_intersects_first(), and test_disjoint().

◆ isl_set_is_empty()

__isl_export isl_bool isl_set_is_empty ( __isl_keep isl_set * set )

◆ isl_set_is_equal()

__isl_export isl_bool isl_set_is_equal	(	__isl_keep isl_set *	set1,
		__isl_keep isl_set *	set2
	)

Definition at line 9083 of file isl_map.c.

References isl_map_is_equal(), set1, set2, and set_to_map.

Referenced by equal_independent_guards(), isl::set::is_equal(), isl_schedule_tree_plain_is_equal(), polly::IslNodeBuilder::preloadInvariantLoad(), scan_one(), set_is_equal(), test_bin_locus_ma(), test_coalesce_set(), test_coalesce_union(), test_convex_hull_algo(), test_dim_max(), test_equal(), test_gist(), test_lexmin(), test_multi_pw_aff_1(), test_one_schedule(), test_output_set(), and test_set_conversion().

◆ isl_set_is_params()

isl_bool isl_set_is_params ( __isl_keep isl_set * set )

Definition at line 1270 of file isl_map.c.

References isl_bool_error, isl_space_is_params(), and set.

Referenced by generate_code_in_space(), generate_code_set(), isl::set::is_params(), isl_ast_build_compute_gist(), isl_ast_build_compute_gist_pw_aff(), isl_ast_build_product(), isl_ast_build_restrict(), isl_set_check_is_set(), isl_set_unbind_params(), isl_union_set_is_params(), and read_pw_aff_with_dom().

◆ isl_set_is_singleton()

__isl_export isl_bool isl_set_is_singleton ( __isl_keep isl_set * set )

Definition at line 12023 of file isl_map.c.

References isl_map_is_single_valued(), set, and set_to_map.

Referenced by has_single_value(), isl::set::is_singleton(), and isl_map_is_translation().

◆ isl_set_is_strict_subset()

__isl_export isl_bool isl_set_is_strict_subset	(	__isl_keep isl_set *	set1,
		__isl_keep isl_set *	set2
	)

Definition at line 9275 of file isl_map.c.

References isl_map_is_strict_subset(), set1, set2, and set_to_map.

Referenced by isl::set::is_strict_subset().

◆ isl_set_is_subset()

__isl_export isl_bool isl_set_is_subset	(	__isl_keep isl_set *	set1,
		__isl_keep isl_set *	set2
	)

Definition at line 883 of file isl_map_subtract.c.

References isl_map_is_subset(), set1, set2, and set_to_map.

Referenced by ast_expr_from_pw_aff(), composability(), polly::IslNodeBuilder::createNewAccesses(), extends(), FN(), has_spurious_elements(), importAccesses(), insert_pending_guard_nodes(), isl::set::is_subset(), isl_pw_qpolynomial_fold_covers(), single_is_subset(), test_one_schedule(), test_subset(), and test_subset_duplicate_integer_divisions().

◆ isl_set_lex_ge_set()

__isl_give isl_map * isl_set_lex_ge_set	(	__isl_take isl_set *	set1,
		__isl_take isl_set *	set2
	)

Definition at line 5443 of file isl_map.c.

References isl_map_intersect_domain(), isl_map_intersect_range(), isl_map_lex_ge(), isl_set_get_space(), map, set1, and set2.

◆ isl_set_lex_gt_set()

__isl_give isl_map * isl_set_lex_gt_set	(	__isl_take isl_set *	set1,
		__isl_take isl_set *	set2
	)

Definition at line 5453 of file isl_map.c.

References isl_map_intersect_domain(), isl_map_intersect_range(), isl_map_lex_gt(), isl_set_get_space(), map, set1, and set2.

◆ isl_set_lex_le_set()

__isl_give isl_map * isl_set_lex_le_set	(	__isl_take isl_set *	set1,
		__isl_take isl_set *	set2
	)

Definition at line 5423 of file isl_map.c.

References isl_map_intersect_domain(), isl_map_intersect_range(), isl_map_lex_le(), isl_set_get_space(), map, set1, and set2.

Referenced by lex_le_set().

◆ isl_set_lex_lt_set()

__isl_give isl_map * isl_set_lex_lt_set	(	__isl_take isl_set *	set1,
		__isl_take isl_set *	set2
	)

Definition at line 5433 of file isl_map.c.

References isl_map_intersect_domain(), isl_map_intersect_range(), isl_map_lex_lt(), isl_set_get_space(), map, set1, and set2.

Referenced by lex_lt_set().

◆ isl_set_lexmax()

__isl_export __isl_give isl_set * isl_set_lexmax ( __isl_take isl_set * set )

Referenced by isl::set::lexmax(), and test_lexmin().

◆ isl_set_lexmax_pw_multi_aff()

__isl_export __isl_give isl_pw_multi_aff * isl_set_lexmax_pw_multi_aff ( __isl_take isl_set * set )

Referenced by isl::set::lexmax_pw_multi_aff().

◆ isl_set_lexmin()

__isl_export __isl_give isl_set * isl_set_lexmin ( __isl_take isl_set * set )

Referenced by isl::set::lexmin(), and test_one_schedule().

◆ isl_set_lexmin_pw_multi_aff()

__isl_export __isl_give isl_pw_multi_aff * isl_set_lexmin_pw_multi_aff ( __isl_take isl_set * set )

Referenced by isl::set::lexmin_pw_multi_aff(), and test_lexmin().

◆ isl_set_lift()

__isl_give isl_set * isl_set_lift ( __isl_take isl_set * set )

Definition at line 11364 of file isl_map.c.

References isl_basic_set_lift(), isl_map_align_divs_internal(), isl_set_cow(), isl_set_free(), isl_set_get_space(), isl_space_free(), isl_space_lift(), isl_basic_map::n_div, set, set_from_map(), and set_to_map.

Referenced by foreach_lifted_subset(), and isl_union_set_lift().

◆ isl_set_list_union()

__isl_give isl_set * isl_set_list_union ( __isl_take isl_set_list * list )

Definition at line 10679 of file isl_map.c.

References isl_die, isl_error_invalid, isl_set_union(), n, and set.

Referenced by build_pieces().

◆ isl_set_lower_bound_multi_pw_aff()

__isl_overload __isl_give isl_set * isl_set_lower_bound_multi_pw_aff	(	__isl_take isl_set *	set,
		__isl_take isl_multi_pw_aff *	lower
	)

Definition at line 7096 of file isl_map.c.

References map_lower_bound_pw_aff(), set, and set_bound_multi_pw_aff().

Referenced by isl::set::lower_bound().

◆ isl_set_lower_bound_multi_val()

__isl_overload __isl_give isl_set * isl_set_lower_bound_multi_val	(	__isl_take isl_set *	set,
		__isl_take isl_multi_val *	lower
	)

Definition at line 7024 of file isl_map.c.

References map_lower_bound_val(), set, and set_bound_multi_val().

Referenced by isl::set::lower_bound().

◆ isl_set_lower_bound_si()

__isl_give isl_set * isl_set_lower_bound_si	(	__isl_take isl_set *	set,
		enum isl_dim_type	type,
		unsigned	pos,
		int	value
	)

Definition at line 6803 of file isl_map.c.

References isl_map_lower_bound_si(), pos(), set, set_from_map(), set_to_map, and type.

Referenced by add_loop_types(), distance_is_bounded(), is_acyclic(), polly::Dependences::isParallel(), isl::set::lower_bound_si(), test_one_schedule(), test_parse_mpa(), and test_parse_mupa().

◆ isl_set_lower_bound_val()

__isl_give isl_set * isl_set_lower_bound_val	(	__isl_take isl_set *	set,
		enum isl_dim_type	type,
		unsigned	pos,
		__isl_take isl_val *	value
	)

Definition at line 6920 of file isl_map.c.

References isl_map_lower_bound_val(), map, pos(), set, set_from_map(), set_to_map, and type.

Referenced by isl::set::lower_bound_val().

◆ isl_set_make_disjoint()

__isl_give isl_set * isl_set_make_disjoint ( __isl_take isl_set * set )

Definition at line 924 of file isl_map_subtract.c.

References isl_map_make_disjoint(), set, set_from_map(), and set_to_map.

Referenced by add_split_on(), ast_node_insert_if(), compute_atomic_domain(), compute_domains_init_options(), compute_partial_domains(), do_unroll_iteration(), generate_shifted_component_tree_base(), guarded_fold(), isl_set_foreach_point(), isl_set_scan(), separate_domain(), and SF().

◆ isl_set_max_multi_pw_aff()

__isl_export __isl_give isl_multi_pw_aff * isl_set_max_multi_pw_aff ( __isl_take isl_set * set )

Definition at line 6771 of file isl_aff.c.

References isl_set_dim_max(), and set.

Referenced by isl::set::max_multi_pw_aff().

◆ isl_set_min_multi_pw_aff()

__isl_export __isl_give isl_multi_pw_aff * isl_set_min_multi_pw_aff ( __isl_take isl_set * set )

Definition at line 6763 of file isl_aff.c.

References isl_set_dim_min(), and set.

Referenced by check_single_expr_min(), and isl::set::min_multi_pw_aff().

◆ isl_set_move_dims()

__isl_give isl_set * isl_set_move_dims	(	__isl_take isl_set *	set,
		enum isl_dim_type	dst_type,
		unsigned	dst_pos,
		enum isl_dim_type	src_type,
		unsigned	src_pos,
		unsigned	n
	)