reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

  317 __isl_give isl_mat *isl_basic_set_reduced_basis(__isl_keep isl_basic_set *bset)

    5 static __isl_give isl_basic_set *bset_from_bmap(__isl_take isl_basic_map *bmap)
    7 	return (isl_basic_set *) bmap;

    7 static __isl_give isl_basic_map *bset_to_bmap(__isl_take isl_basic_set *bset)

  148 __isl_give isl_basic_set *isl_aff_zero_basic_set(__isl_take isl_aff *aff);
  149 __isl_give isl_basic_set *isl_aff_neg_basic_set(__isl_take isl_aff *aff);
  151 __isl_give isl_basic_set *isl_aff_eq_basic_set(__isl_take isl_aff *aff1,
  159 __isl_give isl_basic_set *isl_aff_le_basic_set(__isl_take isl_aff *aff1,
  164 __isl_give isl_basic_set *isl_aff_lt_basic_set(__isl_take isl_aff *aff1,
  169 __isl_give isl_basic_set *isl_aff_ge_basic_set(__isl_take isl_aff *aff1,
  174 __isl_give isl_basic_set *isl_aff_gt_basic_set(__isl_take isl_aff *aff1,

   43 int isl_basic_set_n_constraint(__isl_keep isl_basic_set *bset);
   46 isl_stat isl_basic_set_foreach_constraint(__isl_keep isl_basic_set *bset,
   51 	__isl_keep isl_basic_set *bset);
   55 isl_stat isl_basic_set_foreach_bound_pair(__isl_keep isl_basic_set *bset,
   59 		  __isl_take isl_basic_set *bset, void *user), void *user);
   63 __isl_give isl_basic_set *isl_basic_set_add_constraint(
   64 	__isl_take isl_basic_set *bset, __isl_take isl_constraint *constraint);
   74 	struct isl_basic_set *bset, enum isl_dim_type type, int pos,
   77 	struct isl_basic_set *bset, enum isl_dim_type type, int pos,
  123 __isl_give isl_basic_set *isl_basic_set_from_constraint(

   23 __isl_give isl_val *isl_basic_set_max_val(__isl_keep isl_basic_set *bset,
   43 __isl_give isl_val *isl_basic_set_dim_max_val(__isl_take isl_basic_set *bset,

   28 __isl_give isl_val *isl_basic_set_min_lp_val(__isl_keep isl_basic_set *bset,
   30 __isl_give isl_val *isl_basic_set_max_lp_val(__isl_keep isl_basic_set *bset,

  142 		__isl_take isl_basic_set *bset);
  146 		__isl_take isl_basic_set *bset);
  174 __isl_give isl_basic_set *isl_basic_map_domain(__isl_take isl_basic_map *bmap);
  175 __isl_give isl_basic_set *isl_basic_map_range(__isl_take isl_basic_map *bmap);
  235 		__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
  238 		__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
  255 	__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
  258 	__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
  396 __isl_give isl_basic_set *isl_basic_map_deltas(__isl_take isl_basic_map *bmap);
  469 isl_bool isl_basic_set_is_wrapping(__isl_keep isl_basic_set *bset);
  472 __isl_give isl_basic_set *isl_basic_map_wrap(__isl_take isl_basic_map *bmap);
  474 __isl_give isl_basic_map *isl_basic_set_unwrap(__isl_take isl_basic_set *bset);
  491 __isl_give isl_basic_set *isl_basic_set_flatten(__isl_take isl_basic_set *bset);
  491 __isl_give isl_basic_set *isl_basic_set_flatten(__isl_take isl_basic_set *bset);
  505 	__isl_take isl_basic_set *bset);
  507 	__isl_take isl_basic_set *bset);
  510 	__isl_take isl_basic_set *domain, __isl_take isl_basic_set *range);
  510 	__isl_take isl_basic_set *domain, __isl_take isl_basic_set *range);
  592 	__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *context);

   91 	__isl_keep isl_basic_set *bset,
   92 	isl_stat (*fn)(__isl_take isl_basic_set *bset,
  279 	__isl_take isl_basic_set *bset,
  280 	__isl_give isl_pw_qpolynomial *(*fn)(__isl_take isl_basic_set *bset));

   28 unsigned isl_basic_set_n_dim(__isl_keep isl_basic_set *bset);
   29 unsigned isl_basic_set_n_param(__isl_keep isl_basic_set *bset);
   30 unsigned isl_basic_set_total_dim(__isl_keep const isl_basic_set *bset);
   31 unsigned isl_basic_set_dim(__isl_keep isl_basic_set *bset,
   38 isl_ctx *isl_basic_set_get_ctx(__isl_keep isl_basic_set *bset);
   40 __isl_give isl_space *isl_basic_set_get_space(__isl_keep isl_basic_set *bset);
   45 __isl_give isl_aff *isl_basic_set_get_div(__isl_keep isl_basic_set *bset,
   49 	__isl_keep isl_basic_set *bset);
   51 const char *isl_basic_set_get_tuple_name(__isl_keep isl_basic_set *bset);
   54 __isl_give isl_basic_set *isl_basic_set_set_tuple_name(
   55 	__isl_take isl_basic_set *set, const char *s);
   58 const char *isl_basic_set_get_dim_name(__isl_keep isl_basic_set *bset,
   60 __isl_give isl_basic_set *isl_basic_set_set_dim_name(
   61 	__isl_take isl_basic_set *bset,
   70 __isl_give isl_id *isl_basic_set_get_dim_id(__isl_keep isl_basic_set *bset,
   72 __isl_give isl_basic_set *isl_basic_set_set_tuple_id(
   73 	__isl_take isl_basic_set *bset, __isl_take isl_id *id);
   92 int isl_basic_set_is_rational(__isl_keep isl_basic_set *bset);
   94 __isl_null isl_basic_set *isl_basic_set_free(__isl_take isl_basic_set *bset);
   94 __isl_null isl_basic_set *isl_basic_set_free(__isl_take isl_basic_set *bset);
   95 __isl_give isl_basic_set *isl_basic_set_copy(__isl_keep isl_basic_set *bset);
   95 __isl_give isl_basic_set *isl_basic_set_copy(__isl_keep isl_basic_set *bset);
   96 __isl_give isl_basic_set *isl_basic_set_empty(__isl_take isl_space *space);
   97 __isl_give isl_basic_set *isl_basic_set_universe(__isl_take isl_space *space);
   98 __isl_give isl_basic_set *isl_basic_set_nat_universe(__isl_take isl_space *dim);
   99 __isl_give isl_basic_set *isl_basic_set_positive_orthant(
  101 void isl_basic_set_print_internal(__isl_keep isl_basic_set *bset,
  104 __isl_give isl_basic_set *isl_basic_set_intersect(
  105 		__isl_take isl_basic_set *bset1,
  106 		__isl_take isl_basic_set *bset2);
  108 __isl_give isl_basic_set *isl_basic_set_intersect_params(
  109 	__isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2);
  109 	__isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2);
  111 __isl_give isl_basic_set *isl_basic_set_apply(
  112 		__isl_take isl_basic_set *bset,
  114 __isl_give isl_basic_set *isl_basic_set_preimage_multi_aff(
  115 	__isl_take isl_basic_set *bset, __isl_take isl_multi_aff *ma);
  117 __isl_give isl_basic_set *isl_basic_set_affine_hull(
  118 		__isl_take isl_basic_set *bset);
  119 __isl_give isl_basic_set *isl_basic_set_remove_dims(
  120 	__isl_take isl_basic_set *bset,
  123 __isl_give isl_basic_set *isl_basic_set_sample(__isl_take isl_basic_set *bset);
  123 __isl_give isl_basic_set *isl_basic_set_sample(__isl_take isl_basic_set *bset);
  125 __isl_give isl_basic_set *isl_basic_set_detect_equalities(
  126 						__isl_take isl_basic_set *bset);
  127 __isl_give isl_basic_set *isl_basic_set_remove_redundancies(
  128 	__isl_take isl_basic_set *bset);
  130 __isl_give isl_basic_set *isl_basic_set_list_intersect(
  135 __isl_give isl_basic_set *isl_basic_set_read_from_file(isl_ctx *ctx,
  138 __isl_give isl_basic_set *isl_basic_set_read_from_str(isl_ctx *ctx,
  143 void isl_basic_set_dump(__isl_keep isl_basic_set *bset);
  146 	__isl_take isl_printer *printer, __isl_keep isl_basic_set *bset);
  149 __isl_give isl_basic_set *isl_basic_set_fix_si(__isl_take isl_basic_set *bset,
  149 __isl_give isl_basic_set *isl_basic_set_fix_si(__isl_take isl_basic_set *bset,
  151 __isl_give isl_basic_set *isl_basic_set_fix_val(__isl_take isl_basic_set *bset,
  151 __isl_give isl_basic_set *isl_basic_set_fix_val(__isl_take isl_basic_set *bset,
  157 __isl_give isl_basic_set *isl_basic_set_lower_bound_val(
  158 	__isl_take isl_basic_set *bset, enum isl_dim_type type, unsigned pos,
  164 __isl_give isl_basic_set *isl_basic_set_upper_bound_val(
  165 	__isl_take isl_basic_set *bset, enum isl_dim_type type, unsigned pos,
  174 isl_bool isl_basic_set_is_equal(__isl_keep isl_basic_set *bset1,
  175 	__isl_keep isl_basic_set *bset2);
  176 isl_bool isl_basic_set_is_disjoint(__isl_keep isl_basic_set *bset1,
  177 	__isl_keep isl_basic_set *bset2);
  180 		__isl_take isl_basic_set *bset, __isl_take isl_basic_set *dom,
  180 		__isl_take isl_basic_set *bset, __isl_take isl_basic_set *dom,
  183 		__isl_take isl_basic_set *bset, __isl_take isl_basic_set *dom,
  183 		__isl_take isl_basic_set *bset, __isl_take isl_basic_set *dom,
  192 __isl_give isl_set *isl_basic_set_lexmin(__isl_take isl_basic_set *bset);
  194 __isl_give isl_set *isl_basic_set_lexmax(__isl_take isl_basic_set *bset);
  200 	__isl_take isl_basic_set *bset, __isl_take isl_basic_set *dom,
  200 	__isl_take isl_basic_set *bset, __isl_take isl_basic_set *dom,
  203 	__isl_take isl_basic_set *bset, __isl_take isl_basic_set *dom,
  203 	__isl_take isl_basic_set *bset, __isl_take isl_basic_set *dom,
  212 		__isl_take isl_basic_set *bset1,
  213 		__isl_take isl_basic_set *bset2);
  215 int isl_basic_set_compare_at(struct isl_basic_set *bset1,
  216 	struct isl_basic_set *bset2, int pos);
  220 __isl_give isl_basic_set *isl_basic_set_params(__isl_take isl_basic_set *bset);
  220 __isl_give isl_basic_set *isl_basic_set_params(__isl_take isl_basic_set *bset);
  221 __isl_give isl_basic_set *isl_basic_set_from_params(
  222 	__isl_take isl_basic_set *bset);
  226 isl_stat isl_basic_set_dims_get_sign(__isl_keep isl_basic_set *bset,
  229 isl_bool isl_basic_set_plain_is_universe(__isl_keep isl_basic_set *bset);
  230 isl_bool isl_basic_set_is_universe(__isl_keep isl_basic_set *bset);
  231 isl_bool isl_basic_set_plain_is_empty(__isl_keep isl_basic_set *bset);
  233 isl_bool isl_basic_set_is_empty(__isl_keep isl_basic_set *bset);
  234 isl_bool isl_basic_set_is_bounded(__isl_keep isl_basic_set *bset);
  236 isl_bool isl_basic_set_is_subset(__isl_keep isl_basic_set *bset1,
  237 	__isl_keep isl_basic_set *bset2);
  238 isl_bool isl_basic_set_plain_is_equal(__isl_keep isl_basic_set *bset1,
  239 	__isl_keep isl_basic_set *bset2);
  247 __isl_give isl_set *isl_set_from_basic_set(__isl_take isl_basic_set *bset);
  249 __isl_give isl_basic_set *isl_set_sample(__isl_take isl_set *set);
  251 __isl_give isl_point *isl_basic_set_sample_point(__isl_take isl_basic_set *bset);
  257 __isl_give isl_basic_set *isl_set_affine_hull(__isl_take isl_set *set);
  258 __isl_give isl_basic_set *isl_set_convex_hull(__isl_take isl_set *set);
  260 __isl_give isl_basic_set *isl_set_polyhedral_hull(__isl_take isl_set *set);
  261 __isl_give isl_basic_set *isl_set_simple_hull(__isl_take isl_set *set);
  263 __isl_give isl_basic_set *isl_set_unshifted_simple_hull(
  265 __isl_give isl_basic_set *isl_set_plain_unshifted_simple_hull(
  267 __isl_give isl_basic_set *isl_set_unshifted_simple_hull_from_set_list(
  269 __isl_give isl_basic_set *isl_set_bounded_simple_hull(__isl_take isl_set *set);
  279 __isl_give isl_basic_set *isl_basic_set_flat_product(
  280 	__isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2);
  280 	__isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2);
  310 __isl_give isl_basic_set *isl_basic_set_insert_dims(
  311 	__isl_take isl_basic_set *bset,
  315 __isl_give isl_basic_set *isl_basic_set_add_dims(__isl_take isl_basic_set *bset,
  315 __isl_give isl_basic_set *isl_basic_set_add_dims(__isl_take isl_basic_set *bset,
  319 __isl_give isl_basic_set *isl_basic_set_move_dims(__isl_take isl_basic_set *bset,
  319 __isl_give isl_basic_set *isl_basic_set_move_dims(__isl_take isl_basic_set *bset,
  325 __isl_give isl_basic_set *isl_basic_set_project_out(
  326 		__isl_take isl_basic_set *bset,
  332 __isl_give isl_basic_set *isl_basic_set_remove_divs(
  333 	__isl_take isl_basic_set *bset);
  334 __isl_give isl_basic_set *isl_basic_set_eliminate(
  335 	__isl_take isl_basic_set *bset,
  343 __isl_give isl_basic_set *isl_basic_set_remove_divs_involving_dims(
  344 	__isl_take isl_basic_set *bset,
  348 __isl_give isl_basic_set *isl_basic_set_remove_unknown_divs(
  349 	__isl_take isl_basic_set *bset);
  355 __isl_give isl_basic_set *isl_basic_set_drop_constraints_involving_dims(
  356 	__isl_take isl_basic_set *bset,
  358 __isl_give isl_basic_set *isl_basic_set_drop_constraints_not_involving_dims(
  359 	__isl_take isl_basic_set *bset,
  368 isl_bool isl_basic_set_involves_dims(__isl_keep isl_basic_set *bset,
  397 __isl_give isl_basic_set *isl_basic_set_neg(__isl_take isl_basic_set *bset);
  397 __isl_give isl_basic_set *isl_basic_set_neg(__isl_take isl_basic_set *bset);
  401 __isl_give isl_set *isl_basic_set_compute_divs(__isl_take isl_basic_set *bset);
  420 __isl_give isl_basic_set *isl_basic_set_gist(__isl_take isl_basic_set *bset,
  420 __isl_give isl_basic_set *isl_basic_set_gist(__isl_take isl_basic_set *bset,
  421 					    __isl_take isl_basic_set *context);
  423 	__isl_take isl_basic_set *context);
  451 	isl_stat (*fn)(__isl_take isl_basic_set *bset, void *user), void *user);
  460 __isl_give isl_basic_set *isl_basic_set_from_point(__isl_take isl_point *pnt);
  463 __isl_give isl_basic_set *isl_basic_set_box_from_points(
  468 __isl_give isl_basic_set *isl_basic_set_lift(__isl_take isl_basic_set *bset);
  468 __isl_give isl_basic_set *isl_basic_set_lift(__isl_take isl_basic_set *bset);
  482 __isl_give isl_basic_set *isl_basic_set_align_params(
  483 	__isl_take isl_basic_set *bset, __isl_take isl_space *model);
  486 __isl_give isl_basic_set *isl_basic_set_drop_unused_params(
  487 	__isl_take isl_basic_set *bset);
  491 	__isl_keep isl_basic_set *bset, enum isl_dim_type c1,
  494 	__isl_keep isl_basic_set *bset, enum isl_dim_type c1,
  496 __isl_give isl_basic_set *isl_basic_set_from_constraint_matrices(
  501 __isl_give isl_basic_set *isl_basic_set_from_multi_aff(
  506 __isl_give isl_mat *isl_basic_set_reduced_basis(__isl_keep isl_basic_set *bset);
  508 __isl_give isl_basic_set *isl_basic_set_coefficients(
  509 	__isl_take isl_basic_set *bset);
  512 __isl_give isl_basic_set *isl_set_coefficients(__isl_take isl_set *set);
  513 __isl_give isl_basic_set *isl_basic_set_solutions(
  514 	__isl_take isl_basic_set *bset);
  515 __isl_give isl_basic_set *isl_set_solutions(__isl_take isl_set *set);
  520 __isl_give char *isl_basic_set_to_str(__isl_keep isl_basic_set *bset);

   16 	__isl_take isl_basic_set *bset);
  135 __isl_give isl_basic_set *isl_union_set_sample(__isl_take isl_union_set *uset);

   22 __isl_give isl_basic_set *isl_vertex_get_domain(__isl_keep isl_vertex *vertex);
   27 	__isl_keep isl_basic_set *bset);
   35 __isl_give isl_basic_set *isl_cell_get_domain(__isl_keep isl_cell *cell);

 2024 	__isl_take isl_aff *aff, __isl_take isl_basic_set *eq)
 2071 	__isl_take isl_basic_set *eq)
 2095 	isl_basic_set *hull;
 2102 		isl_basic_set *bset;
 2134 static __isl_give isl_basic_set *aff_pos_basic_set(__isl_take isl_aff *aff,
 2138 	isl_basic_set *bset;
 2171 static __isl_give isl_basic_set *aff_nonneg_basic_set(
 2175 	isl_basic_set *bset;
 2197 __isl_give isl_basic_set *isl_aff_nonneg_basic_set(__isl_take isl_aff *aff)
 2205 __isl_give isl_basic_set *isl_aff_pos_basic_set(__isl_take isl_aff *aff)
 2214 __isl_give isl_basic_set *isl_aff_neg_basic_set(__isl_take isl_aff *aff)
 2226 static __isl_give isl_basic_set *aff_zero_basic_set(__isl_take isl_aff *aff,
 2230 	isl_basic_set *bset;
 2252 __isl_give isl_basic_set *isl_aff_zero_basic_set(__isl_take isl_aff *aff)
 2260 __isl_give isl_basic_set *isl_aff_ge_basic_set(__isl_take isl_aff *aff1,
 2271 __isl_give isl_basic_set *isl_aff_gt_basic_set(__isl_take isl_aff *aff1,
 2303 __isl_give isl_basic_set *isl_aff_le_basic_set(__isl_take isl_aff *aff1,
 2312 __isl_give isl_basic_set *isl_aff_lt_basic_set(__isl_take isl_aff *aff1,
 2339 __isl_give isl_basic_set *isl_aff_eq_basic_set(__isl_take isl_aff *aff1,
 2814 	__isl_give isl_basic_set *(*fn)(__isl_take isl_aff *aff, int rational),
 2826 		isl_basic_set *bset;
 4091 	__isl_take isl_multi_aff *maff, __isl_take isl_basic_set *eq)
 4617 	__isl_take isl_basic_set *bset)

  196 __isl_give isl_basic_set *isl_basic_set_from_multi_aff(

  139 	__isl_take isl_basic_set *bset);
  166 	__isl_take isl_basic_set *eq);
  179 __isl_give isl_basic_set *isl_aff_pos_basic_set(__isl_take isl_aff *aff);

   62 struct isl_basic_set *isl_basic_set_implicit_equalities(
   63 						struct isl_basic_set *bset)
   75 	struct isl_basic_set *bset1, struct isl_basic_set *bset2,
   75 	struct isl_basic_set *bset1, struct isl_basic_set *bset2,
   96 static void delete_row(struct isl_basic_set *bset, unsigned row)
  118 	struct isl_basic_set *bset1, struct isl_basic_set *bset2,
  118 	struct isl_basic_set *bset1, struct isl_basic_set *bset2,
  154 	struct isl_basic_set *bset1, struct isl_basic_set *bset2,
  154 	struct isl_basic_set *bset1, struct isl_basic_set *bset2,
  195 static struct isl_basic_set *affine_hull(
  196 	struct isl_basic_set *bset1, struct isl_basic_set *bset2)
  196 	struct isl_basic_set *bset1, struct isl_basic_set *bset2)
  300 __isl_give isl_basic_set *isl_basic_set_recession_cone(
  301 	__isl_take isl_basic_set *bset)
  341 static __isl_give isl_basic_set *add_adjacent_points(
  342 	__isl_take isl_basic_set *hull, __isl_take isl_vec *sample,
  343 	__isl_keep isl_basic_set *bset)
  356 			isl_basic_set *point;
  402 static __isl_give isl_basic_set *extend_affine_hull(struct isl_tab *tab,
  403 	__isl_take isl_basic_set *hull, __isl_keep isl_basic_set *bset)
  403 	__isl_take isl_basic_set *hull, __isl_keep isl_basic_set *bset)
  418 		struct isl_basic_set *point;
  459 static __isl_give isl_basic_set *initialize_hull(__isl_keep isl_basic_set *bset,
  459 static __isl_give isl_basic_set *initialize_hull(__isl_keep isl_basic_set *bset,
  462 	isl_basic_set *hull;
  479 static struct isl_basic_set *uset_affine_hull_bounded(struct isl_basic_set *bset)
  479 static struct isl_basic_set *uset_affine_hull_bounded(struct isl_basic_set *bset)
  482 	struct isl_basic_set *hull;
  553 static __isl_give isl_basic_set *initial_hull(struct isl_tab *tab,
  558 	struct isl_basic_set *bset = NULL;
  606 	struct isl_basic_set *hull = NULL;
  707 static struct isl_basic_set *affine_hull_with_cone(struct isl_basic_set *bset,
  707 static struct isl_basic_set *affine_hull_with_cone(struct isl_basic_set *bset,
  708 	struct isl_basic_set *cone)
  712 	struct isl_basic_set *hull;
  785 static struct isl_basic_set *uset_affine_hull(struct isl_basic_set *bset)
  785 static struct isl_basic_set *uset_affine_hull(struct isl_basic_set *bset)
  787 	struct isl_basic_set *cone;
  826 static struct isl_basic_set *equalities_in_underlying_set(
  831 	struct isl_basic_set *bset = NULL;
  832 	struct isl_basic_set *hull = NULL;
  879 	struct isl_basic_set *hull = NULL;
  920 __isl_give isl_basic_set *isl_basic_set_detect_equalities(
  921 						__isl_take isl_basic_set *bset)
  954 __isl_give isl_basic_set *isl_basic_set_plain_affine_hull(
  955 	__isl_take isl_basic_set *bset)
  972 struct isl_basic_set *isl_basic_set_affine_hull(struct isl_basic_set *bset)
  972 struct isl_basic_set *isl_basic_set_affine_hull(struct isl_basic_set *bset)
 1182 	isl_basic_set *bset;
 1217 struct isl_basic_set *isl_set_affine_hull(struct isl_set *set)

    8 	 __isl_keep isl_ast_build *build, __isl_take isl_basic_set *bset);

   41 static int vertex_is_integral(__isl_keep isl_basic_set *vertex)
   60 	__isl_keep isl_basic_set *vertex, int i, __isl_take isl_space *dim)
  336 	__isl_take isl_basic_set *bset,
  442 	__isl_take isl_basic_set *bset,
  475 	__isl_take isl_basic_set *bset,
  523 	__isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly,

    4 	__isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly,

   26 static isl_stat compressed_guarded_poly_bound(__isl_take isl_basic_set *bset,
   51 static isl_stat unwrapped_guarded_poly_bound(__isl_take isl_basic_set *bset,
  108 static isl_stat guarded_poly_bound(__isl_take isl_basic_set *bset,
  167 static isl_stat basic_guarded_fold(__isl_take isl_basic_set *bset, void *user)

   12 	isl_basic_set *bset;

  214 	isl_basic_set *bset;

 1420 	isl_basic_set *bset;
 2576 	struct isl_coalesce_info *info2, __isl_keep isl_basic_set *eq1,
 2577 	__isl_keep isl_basic_set *eq2)
 2646 	isl_basic_set *eq1, *eq2;
 3333 	isl_basic_set *wrap_hull;

   52 static unsigned basic_set_offset(struct isl_basic_set *bset,
  134 struct isl_constraint *isl_basic_set_constraint(struct isl_basic_set *bset,
  212 int isl_basic_set_n_constraint(__isl_keep isl_basic_set *bset)
  250 isl_stat isl_basic_set_foreach_constraint(__isl_keep isl_basic_set *bset,
  307 	__isl_keep isl_basic_set *bset)
  352 struct isl_basic_set *isl_basic_set_add_constraint(
  353 	struct isl_basic_set *bset, struct isl_constraint *constraint)
  790 __isl_give isl_basic_set *isl_basic_set_from_constraint(
  844 	__isl_keep isl_basic_set *bset, enum isl_dim_type type, int pos,
  852 	struct isl_basic_set *bset, enum isl_dim_type type, int pos,
  918 static __isl_give isl_basic_set *add_larger_bound_constraint(
  919 	__isl_take isl_basic_set *bset, isl_int *a, isl_int *b,
  955 static __isl_give isl_basic_set *set_smallest_upper_bound(
  956 	__isl_keep isl_basic_set *context,
  957 	__isl_keep isl_basic_set *bset, unsigned abs_pos, int n_upper, int u)
  985 static __isl_give isl_basic_set *set_largest_lower_bound(
  986 	__isl_keep isl_basic_set *context,
  987 	__isl_keep isl_basic_set *bset, unsigned abs_pos, int n_lower, int l)
 1011 static isl_stat foreach_upper_bound(__isl_keep isl_basic_set *bset,
 1013 	__isl_take isl_basic_set *context, int n_upper,
 1016 		  __isl_take isl_basic_set *bset, void *user), void *user)
 1018 	isl_basic_set *context_i;
 1053 static isl_stat foreach_lower_bound(__isl_keep isl_basic_set *bset,
 1055 	__isl_take isl_basic_set *context, int n_lower,
 1058 		  __isl_take isl_basic_set *bset, void *user), void *user)
 1060 	isl_basic_set *context_i;
 1095 static isl_stat foreach_bound_pair(__isl_keep isl_basic_set *bset,
 1097 	__isl_take isl_basic_set *context, int n_lower, int n_upper,
 1100 		  __isl_take isl_basic_set *bset, void *user), void *user)
 1102 	isl_basic_set *context_i, *context_j;
 1181 isl_stat isl_basic_set_foreach_bound_pair(__isl_keep isl_basic_set *bset,
 1185 		  __isl_take isl_basic_set *bset, void *user), void *user)
 1190 	isl_basic_set *context = NULL;

   21 struct isl_constraint *isl_basic_set_constraint(struct isl_basic_set *bset,

   30 static __isl_give isl_basic_set *uset_convex_hull_wrap_bounded(
   92 __isl_give isl_basic_set *isl_basic_set_remove_redundancies(
   93 	__isl_take isl_basic_set *bset)
  160 static struct isl_basic_set *isl_basic_set_add_equality(
  161 	struct isl_basic_set *bset, isl_int *c)
  223 static __isl_give isl_basic_set *wrap_constraints(__isl_keep isl_set *set)
  225 	struct isl_basic_set *lp;
  338 	struct isl_basic_set *lp = NULL;
  415 	struct isl_basic_set *face = NULL;
  503 static __isl_give isl_basic_set *compute_facet(__isl_keep isl_set *set,
  507 	struct isl_basic_set *facet = NULL;
  558 static __isl_give isl_basic_set *extend(__isl_take isl_basic_set *hull,
  558 static __isl_give isl_basic_set *extend(__isl_take isl_basic_set *hull,
  563 	struct isl_basic_set *facet = NULL;
  564 	struct isl_basic_set *hull_facet = NULL;
  621 static __isl_give isl_basic_set *convex_hull_1d(__isl_take isl_set *set)
  628 	struct isl_basic_set *hull;
  669 		struct isl_basic_set *bset = set->p[i];
  741 static __isl_give isl_basic_set *convex_hull_0d(__isl_take isl_set *set)
  743 	struct isl_basic_set *convex_hull;
  765 static __isl_give isl_basic_set *convex_hull_pair_elim(
  766 	__isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2)
  766 	__isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2)
  769 	struct isl_basic_set *bset[2];
  770 	struct isl_basic_set *hull = NULL;
  831 isl_bool isl_basic_set_is_bounded(__isl_keep isl_basic_set *bset)
  889 static __isl_give isl_basic_set *induced_lineality_space(
  890 	__isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2)
  890 	__isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2)
  893 	struct isl_basic_set *lin = NULL;
  945 static __isl_give isl_basic_set *uset_convex_hull(__isl_take isl_set *set);
  967 static __isl_give isl_basic_set *modulo_lineality(__isl_take isl_set *set,
  968 	__isl_take isl_basic_set *lin)
  972 	struct isl_basic_set *hull;
 1011 static __isl_give isl_basic_set *valid_direction_lp(
 1012 	__isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2)
 1012 	__isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2)
 1015 	struct isl_basic_set *lp;
 1093 	__isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2)
 1093 	__isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2)
 1095 	struct isl_basic_set *lp;
 1155 static __isl_give isl_basic_set *homogeneous_map(__isl_take isl_basic_set *bset,
 1155 static __isl_give isl_basic_set *homogeneous_map(__isl_take isl_basic_set *bset,
 1235 static __isl_give isl_basic_set *convex_hull_pair_pointed(
 1236 	__isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2)
 1236 	__isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2)
 1242 	struct isl_basic_set *hull;
 1277 static __isl_give isl_basic_set *uset_convex_hull_wrap(__isl_take isl_set *set);
 1278 static __isl_give isl_basic_set *modulo_affine_hull(
 1279 	__isl_take isl_set *set, __isl_take isl_basic_set *affine_hull);
 1294 static __isl_give isl_basic_set *convex_hull_pair(
 1295 	__isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2)
 1295 	__isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2)
 1297 	isl_basic_set *lin, *aff;
 1355 __isl_give isl_basic_set *isl_basic_set_lineality_space(
 1356 	__isl_take isl_basic_set *bset)
 1359 	struct isl_basic_set *lin = NULL;
 1405 __isl_give isl_basic_set *isl_set_combined_lineality_space(
 1435 static __isl_give isl_basic_set *uset_convex_hull_unbounded(
 1445 		struct isl_basic_set *t;
 1446 		isl_basic_set *bset1, *bset2;
 1489 static __isl_give isl_basic_set *initial_hull(__isl_take isl_basic_set *hull,
 1489 static __isl_give isl_basic_set *initial_hull(__isl_take isl_basic_set *hull,
 1591 static __isl_give isl_basic_set *common_constraints(
 1592 	__isl_take isl_basic_set *hull, __isl_keep isl_set *set, int *is_hull)
 1712 static __isl_give isl_basic_set *proto_hull(__isl_keep isl_set *set,
 1715 	struct isl_basic_set *hull;
 1731 static __isl_give isl_basic_set *uset_convex_hull_wrap(__isl_take isl_set *set)
 1733 	struct isl_basic_set *hull;
 1753 static __isl_give isl_basic_set *uset_convex_hull(__isl_take isl_set *set)
 1756 	struct isl_basic_set *convex_hull = NULL;
 1757 	struct isl_basic_set *lin;
 1803 static __isl_give isl_basic_set *uset_convex_hull_wrap_bounded(
 1806 	struct isl_basic_set *convex_hull = NULL;
 1842 static __isl_give isl_basic_set *modulo_affine_hull(
 1843 	__isl_take isl_set *set, __isl_take isl_basic_set *affine_hull)
 1847 	struct isl_basic_set *dummy;
 1848 	struct isl_basic_set *convex_hull;
 1887 	struct isl_basic_set *bset;
 1889 	struct isl_basic_set *affine_hull = NULL;
 1930 struct isl_basic_set *isl_set_convex_hull(struct isl_set *set)
 1943 __isl_give isl_basic_set *isl_set_polyhedral_hull(__isl_take isl_set *set)
 2019 	__isl_keep isl_basic_set *bset)
 2168 static __isl_give isl_basic_set *add_bound(__isl_take isl_basic_set *hull,
 2168 static __isl_give isl_basic_set *add_bound(__isl_take isl_basic_set *hull,
 2250 static __isl_give isl_basic_set *add_bounds(__isl_take isl_basic_set *bset,
 2250 static __isl_give isl_basic_set *add_bounds(__isl_take isl_basic_set *bset,
 2272 static __isl_give isl_basic_set *uset_simple_hull(__isl_take isl_set *set,
 2276 	struct isl_basic_set *hull = NULL;
 2372 	struct isl_basic_set *bset = NULL;
 2419 struct isl_basic_set *isl_set_simple_hull(struct isl_set *set)
 2433 __isl_give isl_basic_set *isl_set_unshifted_simple_hull(
 2614 __isl_give isl_basic_set *isl_set_plain_unshifted_simple_hull(
 2629 static __isl_give isl_basic_set *add_bound_from_constraint(
 2630 	__isl_take isl_basic_set *hull, struct sh_data *data,
 2702 static __isl_give isl_basic_set *uset_unshifted_simple_hull_from_constraints(
 2708 	isl_basic_set *hull = NULL;
 2764 		isl_basic_set *bset;
 2809 static __isl_give isl_basic_set *uset_unshifted_simple_hull_from_basic_set_list(
 2817 	isl_basic_set *hull;
 2827 		isl_basic_set *bset;
 2978 __isl_give isl_basic_set *isl_set_unshifted_simple_hull_from_set_list(
 2986 static struct isl_basic_set *set_bounds(struct isl_set *set, int dim)
 2999 __isl_give isl_basic_set *isl_set_bounded_simple_hull(__isl_take isl_set *set)
 3002 	struct isl_basic_set *hull;
 3013 		struct isl_basic_set *bounds;

  175 __isl_give isl_basic_set *isl_basic_set_add_constraints_dim_map(
  176 	__isl_take isl_basic_set *dst, __isl_take isl_basic_set *src,
  176 	__isl_take isl_basic_set *dst, __isl_take isl_basic_set *src,

   23 __isl_give isl_basic_set *isl_basic_set_add_constraints_dim_map(
   24 	__isl_take isl_basic_set *dst, __isl_take isl_basic_set *src,
   24 	__isl_take isl_basic_set *dst, __isl_take isl_basic_set *src,

  633 static __isl_give isl_basic_set *return_with_identity(
  634 	__isl_take isl_basic_set *bset, __isl_give isl_mat **T,
  663 static struct isl_basic_set *compress_variables(
  664 	struct isl_basic_set *bset, struct isl_mat **T, struct isl_mat **T2)
  705 struct isl_basic_set *isl_basic_set_remove_equalities(
  706 	struct isl_basic_set *bset, struct isl_mat **T, struct isl_mat **T2)
  735 isl_stat isl_basic_set_dim_residue_class(__isl_keep isl_basic_set *bset,

   28 struct isl_basic_set *isl_basic_set_remove_equalities(
   29 	struct isl_basic_set *bset, struct isl_mat **T, struct isl_mat **T2);

   78 __isl_give isl_factorizer *isl_factorizer_identity(__isl_keep isl_basic_set *bset)
   83 __isl_give isl_factorizer *isl_factorizer_groups(__isl_keep isl_basic_set *bset,
   90 	isl_basic_set *dom;
   91 	isl_basic_set *ran;
  257 	__isl_keep isl_basic_set *bset)

   25 	__isl_keep isl_basic_set *bset);

  199 static __isl_give isl_basic_set *rational_universe(__isl_take isl_space *space)
  201 	isl_basic_set *bset;
  221 static __isl_give isl_basic_set *farkas(__isl_take isl_space *space,
  222 	__isl_take isl_basic_set *bset, int shift)
  225 	isl_basic_set *dual = NULL;
  298 __isl_give isl_basic_set *isl_basic_set_coefficients(
  299 	__isl_take isl_basic_set *bset)
  323 __isl_give isl_basic_set *isl_basic_set_solutions(
  324 	__isl_take isl_basic_set *bset)
  347 __isl_give isl_basic_set *isl_set_coefficients(__isl_take isl_set *set)
  350 	isl_basic_set *coeff;
  364 		isl_basic_set *bset, *coeff_i;
  377 static __isl_give isl_basic_set *coefficients_wrap(
  378 	__isl_take isl_basic_set *bset, void *user)
  396 __isl_give isl_basic_set *isl_set_solutions(__isl_take isl_set *set)
  399 	isl_basic_set *sol;
  413 		isl_basic_set *bset, *sol_i;

  606 	__isl_take isl_qpolynomial_fold *fold, __isl_take isl_basic_set *eq)

   34 static __isl_give isl_basic_set *unit_box_base_points(
   35 	__isl_take isl_basic_set *bset)
   38 	struct isl_basic_set *unit_box = NULL;
   83 static __isl_give isl_vec *initial_solution(__isl_keep isl_basic_set *bset,
   87 	struct isl_basic_set *unit_box;
  106 static __isl_give isl_basic_set *add_bounds(__isl_take isl_basic_set *bset,
  106 static __isl_give isl_basic_set *add_bounds(__isl_take isl_basic_set *bset,
  149 static __isl_give isl_vec *solve_ilp_search(__isl_keep isl_basic_set *bset,
  158 		struct isl_basic_set *slice;
  208 static enum isl_lp_result solve_ilp(__isl_keep isl_basic_set *bset,
  263 static enum isl_lp_result solve_ilp_with_eq(__isl_keep isl_basic_set *bset,
  305 enum isl_lp_result isl_basic_set_solve_ilp(__isl_keep isl_basic_set *bset,
  340 static enum isl_lp_result basic_set_opt(__isl_keep isl_basic_set *bset, int max,
  354 static __isl_give isl_mat *extract_divs(__isl_keep isl_basic_set *bset)
  371 enum isl_lp_result isl_basic_set_opt(__isl_keep isl_basic_set *bset, int max,
  547 __isl_give isl_val *isl_basic_set_opt_val(__isl_keep isl_basic_set *bset,
  571 __isl_give isl_val *isl_basic_set_max_val(__isl_keep isl_basic_set *bset,
  876 __isl_give isl_val *isl_basic_set_dim_max_val(__isl_take isl_basic_set *bset,

    8 enum isl_lp_result isl_basic_set_solve_ilp(__isl_keep isl_basic_set *bset,

 2862 static __isl_give isl_basic_set *basic_set_read(__isl_keep isl_stream *s)
 2889 __isl_give isl_basic_set *isl_basic_set_read_from_file(isl_ctx *ctx,
 2892 	isl_basic_set *bset;
 2913 struct isl_basic_set *isl_basic_set_read_from_str(struct isl_ctx *ctx,
 2916 	isl_basic_set *bset;

  970 	__isl_take isl_local_space *ls, __isl_take isl_basic_set *eq)
 1351 	isl_basic_set *bset;

   45 	__isl_take isl_local_space *ls, __isl_take isl_basic_set *eq);

   77 enum isl_lp_result isl_basic_set_solve_lp(struct isl_basic_set *bset, int max,
  215 	__isl_keep isl_basic_set *bset, int max, __isl_keep isl_aff *obj)
  254 	__isl_keep isl_basic_set *bset, int max, __isl_keep isl_aff *obj)
  319 	__isl_keep isl_basic_set *bset, int max, __isl_keep isl_aff *obj)
  351 __isl_give isl_val *isl_basic_set_min_lp_val(__isl_keep isl_basic_set *bset,
  362 __isl_give isl_val *isl_basic_set_max_lp_val(__isl_keep isl_basic_set *bset,

   11 enum isl_lp_result isl_basic_set_solve_lp(__isl_keep isl_basic_set *bset,

  127 unsigned isl_basic_set_offset(__isl_keep isl_basic_set *bset,
  138 unsigned isl_basic_set_dim(__isl_keep isl_basic_set *bset,
  144 unsigned isl_basic_set_n_dim(__isl_keep isl_basic_set *bset)
  149 unsigned isl_basic_set_n_param(__isl_keep isl_basic_set *bset)
  154 unsigned isl_basic_set_total_dim(__isl_keep const isl_basic_set *bset)
  224 int isl_basic_set_n_equality(__isl_keep isl_basic_set *bset)
  242 int isl_basic_set_n_inequality(__isl_keep isl_basic_set *bset)
  293 	__isl_keep isl_basic_set *bset)
  319 	__isl_keep isl_basic_set *bset)
  336 isl_ctx *isl_basic_set_get_ctx(__isl_keep isl_basic_set *bset)
  361 __isl_keep isl_space *isl_basic_set_peek_space(__isl_keep isl_basic_set *bset)
  371 __isl_give isl_space *isl_basic_set_get_space(__isl_keep isl_basic_set *bset)
  404 __isl_give isl_mat *isl_basic_set_get_divs(__isl_keep isl_basic_set *bset)
  422 	__isl_keep isl_basic_set *bset)
  489 __isl_give isl_basic_set *isl_basic_set_from_local_space(
  523 __isl_give isl_basic_set *isl_basic_set_set_tuple_name(
  524 	__isl_take isl_basic_set *bset, const char *s)
  581 __isl_give isl_basic_set *isl_basic_set_set_tuple_id(
  582 	__isl_take isl_basic_set *bset, __isl_take isl_id *id)
  676 const char *isl_basic_set_get_tuple_name(__isl_keep isl_basic_set *bset)
  692 const char *isl_basic_set_get_dim_name(__isl_keep isl_basic_set *bset,
  771 __isl_give isl_basic_set *isl_basic_set_set_dim_name(
  772 	__isl_take isl_basic_set *bset,
  794 __isl_give isl_id *isl_basic_set_get_dim_id(__isl_keep isl_basic_set *bset,
  892 isl_bool isl_basic_set_eq_is_stride(__isl_keep isl_basic_set *bset, int i)
 1005 int isl_basic_set_is_rational(__isl_keep isl_basic_set *bset)
 1080 isl_bool isl_basic_set_is_params(__isl_keep isl_basic_set *bset)
 1160 struct isl_basic_set *isl_basic_set_alloc(struct isl_ctx *ctx,
 1175 __isl_give isl_basic_set *isl_basic_set_alloc_space(__isl_take isl_space *dim,
 1261 struct isl_basic_set *isl_basic_set_dup(struct isl_basic_set *bset)
 1261 struct isl_basic_set *isl_basic_set_dup(struct isl_basic_set *bset)
 1269 __isl_give isl_basic_set *isl_basic_set_copy(__isl_keep isl_basic_set *bset)
 1269 __isl_give isl_basic_set *isl_basic_set_copy(__isl_keep isl_basic_set *bset)
 1334 __isl_null isl_basic_set *isl_basic_set_free(__isl_take isl_basic_set *bset)
 1334 __isl_null isl_basic_set *isl_basic_set_free(__isl_take isl_basic_set *bset)
 1456 int isl_basic_set_alloc_equality(struct isl_basic_set *bset)
 1470 int isl_basic_set_free_equality(struct isl_basic_set *bset, unsigned n)
 1538 int isl_basic_set_alloc_inequality(__isl_keep isl_basic_set *bset)
 1552 int isl_basic_set_free_inequality(struct isl_basic_set *bset, unsigned n)
 1574 int isl_basic_set_drop_inequality(struct isl_basic_set *bset, unsigned pos)
 1597 __isl_give isl_basic_set *isl_basic_set_add_eq(__isl_take isl_basic_set *bset,
 1597 __isl_give isl_basic_set *isl_basic_set_add_eq(__isl_take isl_basic_set *bset,
 1621 __isl_give isl_basic_set *isl_basic_set_add_ineq(__isl_take isl_basic_set *bset,
 1621 __isl_give isl_basic_set *isl_basic_set_add_ineq(__isl_take isl_basic_set *bset,
 1639 int isl_basic_set_alloc_div(struct isl_basic_set *bset)
 1804 struct isl_basic_set *isl_basic_set_add_constraints(struct isl_basic_set *bset1,
 1804 struct isl_basic_set *isl_basic_set_add_constraints(struct isl_basic_set *bset1,
 1805 		struct isl_basic_set *bset2, unsigned pos)
 1863 __isl_give isl_basic_set *isl_basic_set_extend_space(
 1864 	__isl_take isl_basic_set *base,
 1901 struct isl_basic_set *isl_basic_set_extend(struct isl_basic_set *base,
 1901 struct isl_basic_set *isl_basic_set_extend(struct isl_basic_set *base,
 1909 struct isl_basic_set *isl_basic_set_extend_constraints(
 1910 		struct isl_basic_set *base, unsigned n_eq, unsigned n_ineq)
 1917 __isl_give isl_basic_set *isl_basic_set_cow(__isl_take isl_basic_set *bset)
 1917 __isl_give isl_basic_set *isl_basic_set_cow(__isl_take isl_basic_set *bset)
 2060 __isl_give isl_basic_set *isl_basic_set_set_to_empty(
 2061 	__isl_take isl_basic_set *bset)
 2084 __isl_give isl_basic_set *isl_basic_set_set_rational(
 2085 	__isl_take isl_basic_set *bset)
 2090 __isl_give isl_basic_set *isl_basic_set_set_integral(
 2091 	__isl_take isl_basic_set *bset)
 2165 void isl_basic_set_swap_div(__isl_keep isl_basic_set *bset, int a, int b)
 2183 __isl_give isl_basic_set *isl_basic_set_drop_dims(
 2184 	__isl_take isl_basic_set *bset, unsigned first, unsigned n)
 2289 __isl_give isl_basic_set *isl_basic_set_drop(__isl_take isl_basic_set *bset,
 2289 __isl_give isl_basic_set *isl_basic_set_drop(__isl_take isl_basic_set *bset,
 2455 __isl_give isl_basic_set *isl_basic_set_remove_divs(
 2456 	__isl_take isl_basic_set *bset)
 2758 __isl_give isl_basic_set *isl_basic_set_remove_divs_involving_dims(
 2759 	__isl_take isl_basic_set *bset,
 2847 isl_bool isl_basic_set_involves_dims(__isl_keep isl_basic_set *bset,
 2894 __isl_give isl_basic_set *isl_basic_set_drop_constraints_involving(
 2895 	__isl_take isl_basic_set *bset, unsigned first, unsigned n)
 2942 __isl_give isl_basic_set *isl_basic_set_drop_constraints_not_involving_dims(
 2943 	__isl_take isl_basic_set *bset,
 2973 __isl_give isl_basic_set *isl_basic_set_drop_constraints_involving_dims(
 2974 	__isl_take isl_basic_set *bset,
 3111 __isl_give isl_basic_set *isl_basic_set_remove_unknown_divs(
 3112 	__isl_take isl_basic_set *bset)
 3146 __isl_give isl_basic_set *isl_basic_set_remove_dims(
 3147 	__isl_take isl_basic_set *bset,
 3310 void isl_basic_set_print_internal(struct isl_basic_set *bset,
 3405 __isl_give isl_set *isl_set_from_basic_set(__isl_take isl_basic_set *bset)
 3422 						__isl_take isl_basic_set *bset)
 3475 	__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *bset)
 3505 	__isl_keep isl_basic_map *bmap, __isl_keep isl_basic_set *bset)
 3520 	__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *bset)
 3589 isl_bool isl_basic_set_contains(__isl_keep isl_basic_set *bset,
 3655 struct isl_basic_set *isl_basic_set_intersect(
 3656 		struct isl_basic_set *bset1, struct isl_basic_set *bset2)
 3656 		struct isl_basic_set *bset1, struct isl_basic_set *bset2)
 3662 __isl_give isl_basic_set *isl_basic_set_intersect_params(
 3663 	__isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2)
 3663 	__isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2)
 3928 __isl_give isl_basic_set *isl_basic_set_insert_dims(
 3929 	__isl_take isl_basic_set *bset,
 3944 __isl_give isl_basic_set *isl_basic_set_add_dims(__isl_take isl_basic_set *bset,
 3944 __isl_give isl_basic_set *isl_basic_set_add_dims(__isl_take isl_basic_set *bset,
 4118 __isl_give isl_basic_set *isl_basic_set_move_dims(__isl_take isl_basic_set *bset,
 4118 __isl_give isl_basic_set *isl_basic_set_move_dims(__isl_take isl_basic_set *bset,
 4368 struct isl_basic_set *isl_basic_set_project_out(struct isl_basic_set *bset,
 4368 struct isl_basic_set *isl_basic_set_project_out(struct isl_basic_set *bset,
 4534 struct isl_basic_set *isl_basic_set_apply(
 4535 		struct isl_basic_set *bset, struct isl_basic_map *bmap)
 4701 __isl_give isl_basic_set *isl_basic_set_neg(__isl_take isl_basic_set *bset)
 4701 __isl_give isl_basic_set *isl_basic_set_neg(__isl_take isl_basic_set *bset)
 5271 int isl_basic_set_add_div_constraints_var(__isl_keep isl_basic_set *bset,
 5343 __isl_give isl_basic_set *isl_basic_map_underlying_set(
 5368 __isl_give isl_basic_set *isl_basic_set_underlying_set(
 5369 		__isl_take isl_basic_set *bset)
 5388 		isl_basic_set *bset;
 5399 	__isl_take isl_basic_set *bset, __isl_take isl_basic_map *like)
 5461 struct isl_basic_set *isl_basic_set_from_underlying_set(
 5462 	struct isl_basic_set *bset, struct isl_basic_set *like)
 5462 	struct isl_basic_set *bset, struct isl_basic_set *like)
 5539 __isl_give isl_basic_set *isl_basic_set_reset_space(
 5540 	__isl_take isl_basic_set *bset, __isl_take isl_space *dim)
 5627 __isl_give isl_basic_set *isl_basic_set_params(__isl_take isl_basic_set *bset)
 5627 __isl_give isl_basic_set *isl_basic_set_params(__isl_take isl_basic_set *bset)
 5649 __isl_give isl_basic_set *isl_basic_set_from_params(
 5650 	__isl_take isl_basic_set *bset)
 5705 struct isl_basic_set *isl_basic_map_domain(struct isl_basic_map *bmap)
 5738 struct isl_basic_set *isl_basic_map_range(struct isl_basic_map *bmap)
 5931 	__isl_take isl_basic_set *bset)
 5937 	__isl_take isl_basic_set *bset)
 5969 	__isl_take isl_basic_set *domain, __isl_take isl_basic_set *range)
 5969 	__isl_take isl_basic_set *domain, __isl_take isl_basic_set *range)
 6021 __isl_give isl_basic_set *isl_basic_set_empty(__isl_take isl_space *space)
 6023 	struct isl_basic_set *bset;
 6037 __isl_give isl_basic_set *isl_basic_set_universe(__isl_take isl_space *space)
 6039 	struct isl_basic_set *bset;
 6065 __isl_give isl_basic_set *isl_basic_set_nat_universe(__isl_take isl_space *dim)
 6250 __isl_give isl_basic_set *isl_basic_set_fix_val(__isl_take isl_basic_set *bset,
 6250 __isl_give isl_basic_set *isl_basic_set_fix_val(__isl_take isl_basic_set *bset,
 6256 struct isl_basic_set *isl_basic_set_fix_si(struct isl_basic_set *bset,
 6256 struct isl_basic_set *isl_basic_set_fix_si(struct isl_basic_set *bset,
 6263 __isl_give isl_basic_set *isl_basic_set_fix(__isl_take isl_basic_set *bset,
 6263 __isl_give isl_basic_set *isl_basic_set_fix(__isl_take isl_basic_set *bset,
 6276 struct isl_basic_set *isl_basic_set_fix_dim_si(struct isl_basic_set *bset,
 6276 struct isl_basic_set *isl_basic_set_fix_dim_si(struct isl_basic_set *bset,
 6676 static __isl_give isl_basic_set *isl_basic_set_bound(
 6677 	__isl_take isl_basic_set *bset, enum isl_dim_type type, unsigned pos,
 6687 static __isl_give isl_basic_set *isl_basic_set_bound_val(
 6688 	__isl_take isl_basic_set *bset, enum isl_dim_type type, unsigned pos,
 6707 __isl_give isl_basic_set *isl_basic_set_lower_bound_val(
 6708 	__isl_take isl_basic_set *bset, enum isl_dim_type type, unsigned pos,
 6716 __isl_give isl_basic_set *isl_basic_set_upper_bound_val(
 6717 	__isl_take isl_basic_set *bset, enum isl_dim_type type, unsigned pos,
 6935 __isl_give isl_set *isl_basic_set_lexopt(__isl_take isl_basic_set *bset,
 6946 __isl_give isl_set *isl_basic_set_lexmin(__isl_take isl_basic_set *bset)
 6951 __isl_give isl_set *isl_basic_set_lexmax(__isl_take isl_basic_set *bset)
 6963 	__isl_take isl_basic_set *bset)
 7075 static __isl_give isl_basic_set *basic_set_parameter_preimage(
 7076 	__isl_take isl_basic_set *bset, __isl_take isl_mat *mat)
 7143 static __isl_give isl_basic_set *basic_set_append_equalities(
 7144 	__isl_take isl_basic_set *bset, __isl_take isl_mat *eq)
 7209 static int first_parameter_equality(__isl_keep isl_basic_set *bset)
 7242 static __isl_give isl_set *base_compute_divs(__isl_take isl_basic_set *bset)
 7286 static struct isl_set *parameter_compute_divs(struct isl_basic_set *bset)
 7450 	struct isl_basic_set *bset;
 7562 int isl_basic_set_first_unknown_div(__isl_keep isl_basic_set *bset)
 7663 __isl_give isl_set *isl_basic_set_compute_divs(__isl_take isl_basic_set *bset)
 7864 		__isl_take isl_basic_set *bset))
 8068 __isl_give isl_basic_set *isl_basic_map_deltas(__isl_take isl_basic_map *bmap)
 8071 	struct isl_basic_set *bset;
 8279 __isl_give isl_basic_set *isl_basic_set_positive_orthant(
 8285 	struct isl_basic_set *bset;
 8309 static __isl_give isl_basic_set *nonneg_halfspace(__isl_take isl_space *dim,
 8313 	isl_basic_set *nonneg;
 8330 static __isl_give isl_basic_set *neg_halfspace(__isl_take isl_space *dim, int pos)
 8333 	isl_basic_set *neg;
 8354 	isl_basic_set *nonneg;
 8355 	isl_basic_set *neg;
 8470 isl_bool isl_basic_set_is_subset(__isl_keep isl_basic_set *bset1,
 8471 	__isl_keep isl_basic_set *bset2)
 8490 isl_bool isl_basic_set_is_equal(__isl_keep isl_basic_set *bset1,
 8491 	__isl_keep isl_basic_set *bset2)
 8626 isl_bool isl_basic_set_plain_is_universe(__isl_keep isl_basic_set *bset)
 8679 isl_bool isl_basic_set_is_universe(__isl_keep isl_basic_set *bset)
 8707 	struct isl_basic_set *bset = NULL;
 8757 isl_bool isl_basic_set_plain_is_empty(__isl_keep isl_basic_set *bset)
 8782 isl_bool isl_basic_set_is_empty(__isl_keep isl_basic_set *bset)
 8809 		struct isl_basic_set *bset1, struct isl_basic_set *bset2)
 8809 		struct isl_basic_set *bset1, struct isl_basic_set *bset2)
 8845 struct isl_basic_set *isl_basic_set_order_divs(struct isl_basic_set *bset)
 8845 struct isl_basic_set *isl_basic_set_order_divs(struct isl_basic_set *bset)
 8871 __isl_give isl_basic_set *isl_basic_set_sort_divs(
 8872 	__isl_take isl_basic_set *bset)
 8940 __isl_give isl_basic_set *isl_basic_set_expand_divs(
 8941 	__isl_take isl_basic_set *bset, __isl_take isl_mat *div, int *exp)
 9165 static __isl_give isl_basic_map *join_initial(__isl_keep isl_basic_set *bset1,
 9166 	__isl_keep isl_basic_set *bset2, int pos)
 9185 	__isl_keep isl_basic_set *bset1, __isl_keep isl_basic_set *bset2,
 9185 	__isl_keep isl_basic_set *bset1, __isl_keep isl_basic_set *bset2,
 9235 int isl_basic_set_compare_at(struct isl_basic_set *bset1,
 9236 	struct isl_basic_set *bset2, int pos)
 9271 int isl_basic_set_follows_at(__isl_keep isl_basic_set *bset1,
 9272 	__isl_keep isl_basic_set *bset2, int pos)
 9395 	__isl_keep isl_basic_set *bset, unsigned pos, isl_int *val)
 9490 isl_bool isl_basic_set_plain_dim_is_fixed(__isl_keep isl_basic_set *bset,
 9572 __isl_give isl_basic_set *isl_basic_set_sort_constraints(
 9573 	__isl_take isl_basic_set *bset)
 9644 int isl_basic_set_plain_cmp(__isl_keep isl_basic_set *bset1,
 9645 	__isl_keep isl_basic_set *bset2)
 9676 isl_bool isl_basic_set_plain_is_equal(__isl_keep isl_basic_set *bset1,
 9677 	__isl_keep isl_basic_set *bset2)
 9885 __isl_give isl_basic_set *isl_basic_set_list_intersect(
 9899 	isl_basic_set *bset;
10011 __isl_give isl_basic_set *isl_basic_set_flat_product(
10012 	__isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2)
10012 	__isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2)
10467 uint32_t isl_basic_set_get_hash(__isl_keep isl_basic_set *bset)
10529 	isl_stat (*fn)(__isl_take isl_basic_set *bset, void *user), void *user)
10556 		isl_basic_set *bset;
10565 __isl_give isl_basic_set *isl_basic_set_lift(__isl_take isl_basic_set *bset)
10565 __isl_give isl_basic_set *isl_basic_set_lift(__isl_take isl_basic_set *bset)
10628 int isl_basic_set_size(__isl_keep isl_basic_set *bset)
10824 isl_stat isl_basic_set_vars_get_sign(__isl_keep isl_basic_set *bset,
10880 isl_stat isl_basic_set_dims_get_sign(__isl_keep isl_basic_set *bset,
11300 isl_bool isl_basic_set_is_box(__isl_keep isl_basic_set *bset)
11352 isl_bool isl_basic_set_is_wrapping(__isl_keep isl_basic_set *bset)
11424 __isl_give isl_basic_set *isl_basic_map_wrap(__isl_take isl_basic_map *bmap)
11449 __isl_give isl_basic_map *isl_basic_set_unwrap(__isl_take isl_basic_set *bset)
11555 __isl_give isl_basic_set *isl_basic_set_flatten(__isl_take isl_basic_set *bset)
11555 __isl_give isl_basic_set *isl_basic_set_flatten(__isl_take isl_basic_set *bset)
11831 isl_bool isl_basic_set_space_has_equal_params(__isl_keep isl_basic_set *bset,
11862 __isl_give isl_basic_set *isl_basic_set_align_params(
11863 	__isl_take isl_basic_set *bset, __isl_take isl_space *model)
11924 __isl_give isl_basic_set *isl_basic_set_drop_unused_params(
11925 	__isl_take isl_basic_set *bset)
12069 	__isl_keep isl_basic_set *bset, enum isl_dim_type c1,
12077 	__isl_keep isl_basic_set *bset, enum isl_dim_type c1,
12084 __isl_give isl_basic_set *isl_basic_set_from_constraint_matrices(
12596 __isl_give isl_aff *isl_basic_set_get_div(__isl_keep isl_basic_set *bset,
12628 __isl_give isl_basic_set *isl_basic_set_substitute(
12629 	__isl_take isl_basic_set *bset,
13054 __isl_give isl_basic_set *isl_basic_set_preimage_multi_aff(
13055 	__isl_take isl_basic_set *bset, __isl_take isl_multi_aff *ma)
13419 	__isl_keep isl_basic_set *bset)
13502 	__isl_keep isl_basic_set *bset, int ineq)
13539 __isl_give isl_basic_set *isl_basic_set_tighten_outward(
13540 	__isl_take isl_basic_set *bset, __isl_keep isl_vec *vec)
13613 __isl_give isl_basic_set *isl_basic_set_transform_dims(
13614 	__isl_take isl_basic_set *bset, enum isl_dim_type type, unsigned first,

   32 	__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
   40 	__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
   48 	__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
   56 	__isl_take isl_basic_set *bset, __isl_take isl_basic_set *dom,
   56 	__isl_take isl_basic_set *bset, __isl_take isl_basic_set *dom,
   63 	__isl_take isl_basic_set *bset, __isl_take isl_basic_set *dom,
   63 	__isl_take isl_basic_set *bset, __isl_take isl_basic_set *dom,

  120 __isl_give isl_basic_set *isl_basic_set_alloc(isl_ctx *ctx,
  123 __isl_give isl_basic_set *isl_basic_set_extend(__isl_take isl_basic_set *base,
  123 __isl_give isl_basic_set *isl_basic_set_extend(__isl_take isl_basic_set *base,
  126 __isl_give isl_basic_set *isl_basic_set_extend_constraints(
  127 	__isl_take isl_basic_set *base, unsigned n_eq, unsigned n_ineq);
  128 __isl_give isl_basic_set *isl_basic_set_finalize(
  129 	__isl_take isl_basic_set *bset);
  130 __isl_give isl_basic_set *isl_basic_set_dup(__isl_keep isl_basic_set *bset);
  130 __isl_give isl_basic_set *isl_basic_set_dup(__isl_keep isl_basic_set *bset);
  131 __isl_give isl_basic_set *isl_basic_set_simplify(
  132 	__isl_take isl_basic_set *bset);
  150 	__isl_take isl_basic_set *bset);
  156 __isl_give isl_basic_set *isl_basic_set_from_underlying_set(
  157 	__isl_take isl_basic_set *bset, __isl_take isl_basic_set *like);
  157 	__isl_take isl_basic_set *bset, __isl_take isl_basic_set *like);
  171 __isl_keep isl_space *isl_basic_set_peek_space(__isl_keep isl_basic_set *bset);
  174 __isl_give isl_basic_set *isl_basic_set_reset_space(
  175 	__isl_take isl_basic_set *bset, __isl_take isl_space *dim);
  185 unsigned isl_basic_set_offset(__isl_keep isl_basic_set *bset,
  193 	__isl_keep isl_basic_set *bset);
  195 	__isl_keep isl_basic_set *bset);
  200 __isl_give isl_basic_set *isl_basic_set_extend_space(
  201 	__isl_take isl_basic_set *base,
  204 struct isl_basic_set *isl_basic_set_add_constraints(struct isl_basic_set *bset1,
  204 struct isl_basic_set *isl_basic_set_add_constraints(struct isl_basic_set *bset1,
  205 		struct isl_basic_set *bset2, unsigned pos);
  210 isl_bool isl_basic_set_contains(__isl_keep isl_basic_set *bset,
  215 __isl_give isl_basic_set *isl_basic_set_alloc_space(__isl_take isl_space *dim,
  225 int isl_basic_set_alloc_equality(struct isl_basic_set *bset);
  226 int isl_basic_set_free_inequality(struct isl_basic_set *bset, unsigned n);
  228 int isl_basic_set_free_equality(struct isl_basic_set *bset, unsigned n);
  229 int isl_basic_set_alloc_inequality(__isl_keep isl_basic_set *bset);
  235 int isl_basic_set_alloc_div(struct isl_basic_set *bset);
  242 int isl_basic_set_drop_inequality(struct isl_basic_set *bset, unsigned pos);
  244 __isl_give isl_basic_set *isl_basic_set_add_eq(__isl_take isl_basic_set *bset,
  244 __isl_give isl_basic_set *isl_basic_set_add_eq(__isl_take isl_basic_set *bset,
  248 __isl_give isl_basic_set *isl_basic_set_add_ineq(__isl_take isl_basic_set *bset,
  248 __isl_give isl_basic_set *isl_basic_set_add_ineq(__isl_take isl_basic_set *bset,
  253 __isl_give isl_basic_set *isl_basic_set_tighten_outward(
  254 	__isl_take isl_basic_set *bset, __isl_keep isl_vec *vec);
  258 __isl_give isl_basic_set *isl_basic_set_cow(__isl_take isl_basic_set *bset);
  258 __isl_give isl_basic_set *isl_basic_set_cow(__isl_take isl_basic_set *bset);
  270 __isl_give isl_basic_set *isl_basic_set_set_to_empty(
  271 	__isl_take isl_basic_set *bset);
  272 struct isl_basic_set *isl_basic_set_order_divs(struct isl_basic_set *bset);
  272 struct isl_basic_set *isl_basic_set_order_divs(struct isl_basic_set *bset);
  274 void isl_basic_set_swap_div(struct isl_basic_set *bset, int a, int b);
  285 __isl_give isl_basic_set *isl_basic_set_sort_divs(
  286 	__isl_take isl_basic_set *bset);
  292 __isl_give isl_basic_set *isl_basic_set_gauss(
  293 	__isl_take isl_basic_set *bset, int *progress);
  298 __isl_give isl_basic_set *isl_basic_set_sort_constraints(
  299 	__isl_take isl_basic_set *bset);
  306 __isl_give isl_basic_set *isl_basic_set_normalize_constraints(
  307 	__isl_take isl_basic_set *bset);
  310 __isl_give isl_basic_set *isl_basic_map_underlying_set(
  312 __isl_give isl_basic_set *isl_basic_set_underlying_set(
  313 		__isl_take isl_basic_set *bset);
  318 	__isl_take isl_basic_set *bset, __isl_take isl_basic_map *like);
  323 __isl_give isl_basic_set *isl_basic_set_drop_constraints_involving(
  324 	__isl_take isl_basic_set *bset, unsigned first, unsigned n);
  325 __isl_give isl_basic_set *isl_basic_set_drop(__isl_take isl_basic_set *bset,
  325 __isl_give isl_basic_set *isl_basic_set_drop(__isl_take isl_basic_set *bset,
  331 __isl_give isl_basic_set *isl_basic_set_drop_dims(
  332 	__isl_take isl_basic_set *bset, unsigned first, unsigned n);
  354 struct isl_basic_set *isl_basic_set_eliminate_vars(
  355 	struct isl_basic_set *bset, unsigned pos, unsigned n);
  372 __isl_give isl_basic_set *isl_basic_set_recession_cone(
  373 	__isl_take isl_basic_set *bset);
  374 __isl_give isl_basic_set *isl_basic_set_lineality_space(
  375 	__isl_take isl_basic_set *bset);
  376 __isl_give isl_basic_set *isl_set_combined_lineality_space(
  379 __isl_give isl_basic_set *isl_basic_set_set_integral(
  380 	__isl_take isl_basic_set *bset);
  381 __isl_give isl_basic_set *isl_basic_set_set_rational(
  382 	__isl_take isl_basic_set *bset);
  402 __isl_give isl_basic_set *isl_basic_set_preimage(
  403 	__isl_take isl_basic_set *bset, __isl_take isl_mat *mat);
  410 __isl_give isl_basic_set *isl_basic_set_transform_dims(
  411 	__isl_take isl_basic_set *bset, enum isl_dim_type type, unsigned first,
  422 isl_stat isl_basic_set_vars_get_sign(__isl_keep isl_basic_set *bset,
  428 isl_bool isl_basic_set_eq_is_stride(__isl_keep isl_basic_set *bset, int i);
  432 int isl_basic_set_add_div_constraints_var(__isl_keep isl_basic_set *bset,
  436 isl_bool isl_basic_set_is_div_constraint(__isl_keep isl_basic_set *bset,
  439 __isl_give isl_basic_set *isl_basic_set_from_local_space(
  443 __isl_give isl_basic_set *isl_basic_set_expand_divs(
  444 	__isl_take isl_basic_set *bset, __isl_take isl_mat *div, int *exp);
  446 	__isl_take isl_basic_set *bmap, __isl_take isl_mat *div, int *exp);
  448 int isl_basic_set_n_equality(__isl_keep isl_basic_set *bset);
  450 int isl_basic_set_n_inequality(__isl_keep isl_basic_set *bset);
  458 int isl_basic_set_first_unknown_div(__isl_keep isl_basic_set *bset);
  462 __isl_give isl_mat *isl_basic_set_get_divs(__isl_keep isl_basic_set *bset);
  472 isl_bool isl_basic_set_space_has_equal_params(__isl_keep isl_basic_set *bset,
  491 	__isl_take isl_basic_set *context);
  502 isl_bool isl_basic_set_plain_dim_is_fixed(__isl_keep isl_basic_set *bset,
  506 	__isl_take isl_basic_set *context);
  512 __isl_give isl_basic_set *isl_basic_set_plain_affine_hull(
  513 	__isl_take isl_basic_set *bset);
  517 isl_stat isl_basic_set_dim_residue_class(__isl_keep isl_basic_set *bset,
  522 __isl_give isl_basic_set *isl_basic_set_fix(__isl_take isl_basic_set *bset,
  522 __isl_give isl_basic_set *isl_basic_set_fix(__isl_take isl_basic_set *bset,
  540 int isl_basic_set_count_upto(__isl_keep isl_basic_set *bset,
  545 	__isl_keep isl_basic_set *bset);

  101 __isl_give isl_basic_set *isl_basic_set_normalize_constraints(
  102 	__isl_take isl_basic_set *bset)
  597 __isl_give isl_basic_set *isl_basic_set_gauss(
  598 	__isl_take isl_basic_set *bset, int *progress)
  692 	__isl_keep isl_basic_set *bset, int k)
  700 	__isl_keep isl_basic_set *bset)
 1371 struct isl_basic_set *isl_basic_set_simplify(struct isl_basic_set *bset)
 1371 struct isl_basic_set *isl_basic_set_simplify(struct isl_basic_set *bset)
 1413 isl_bool isl_basic_set_is_div_constraint(__isl_keep isl_basic_set *bset,
 1506 struct isl_basic_set *isl_basic_set_finalize(struct isl_basic_set *bset)
 1506 struct isl_basic_set *isl_basic_set_finalize(struct isl_basic_set *bset)
 1632 struct isl_basic_set *isl_basic_set_eliminate_vars(
 1633 	struct isl_basic_set *bset, unsigned pos, unsigned n)
 1675 __isl_give isl_basic_set *isl_basic_set_eliminate(
 1676 	__isl_take isl_basic_set *bset,
 1783 static void set_compute_elimination_index(__isl_keep isl_basic_set *bset,
 1812 	__isl_keep isl_basic_set *bset, int *elim)
 1818 static __isl_give isl_basic_set *isl_basic_set_reduce_using_equalities(
 1819 	__isl_take isl_basic_set *bset, __isl_take isl_basic_set *context)
 1819 	__isl_take isl_basic_set *bset, __isl_take isl_basic_set *context)
 1864 	__isl_keep isl_basic_set *context, int *row)
 1903 static __isl_give isl_basic_set *remove_shifted_constraints(
 1904 	__isl_take isl_basic_set *bset, __isl_keep isl_basic_set *context)
 1904 	__isl_take isl_basic_set *bset, __isl_keep isl_basic_set *context)
 1947 	isl_basic_set *bset, *bset_context;
 2059 static int *alloc_groups(__isl_keep isl_basic_set *context)
 2138 static __isl_give isl_basic_set *drop_irrelevant_constraints(
 2139 	__isl_take isl_basic_set *context, __isl_keep isl_basic_set *bset)
 2139 	__isl_take isl_basic_set *context, __isl_keep isl_basic_set *bset)
 2184 static __isl_give isl_basic_set *drop_irrelevant_constraints_marked(
 2185 	__isl_take isl_basic_set *context, __isl_keep isl_mat *ineq, int *row)
 2241 static __isl_give isl_basic_set *update_ineq(__isl_take isl_basic_set *bset,
 2241 static __isl_give isl_basic_set *update_ineq(__isl_take isl_basic_set *bset,
 2282 static __isl_give isl_basic_set *update_ineq_free(
 2283 	__isl_take isl_basic_set *bset, __isl_take isl_mat *ineq,
 2284 	__isl_take isl_basic_set *context, __isl_take int *row,
 2329 static __isl_give isl_basic_set *uset_gist_full(__isl_take isl_basic_set *bset,
 2329 static __isl_give isl_basic_set *uset_gist_full(__isl_take isl_basic_set *bset,
 2330 	__isl_take isl_mat *ineq, __isl_take isl_basic_set *context)
 2335 	isl_basic_set *combined = NULL;
 2388 		isl_basic_set *test;
 2427 static __isl_give isl_mat *extract_ineq(__isl_keep isl_basic_set *bset)
 2448 static __isl_give isl_basic_set *uset_gist_uncompressed(
 2449 	__isl_take isl_basic_set *bset, __isl_take isl_basic_set *context)
 2449 	__isl_take isl_basic_set *bset, __isl_take isl_basic_set *context)
 2485 static __isl_give isl_basic_set *uset_gist_compressed(
 2486 	__isl_take isl_basic_set *bset, __isl_take isl_basic_set *context,
 2486 	__isl_take isl_basic_set *bset, __isl_take isl_basic_set *context,
 2540 static __isl_give isl_basic_set *project_onto_involved(
 2541 	__isl_take isl_basic_set *bset, __isl_keep isl_basic_set *template)
 2541 	__isl_take isl_basic_set *bset, __isl_keep isl_basic_set *template)
 2588 static __isl_give isl_basic_set *uset_gist(__isl_take isl_basic_set *bset,
 2588 static __isl_give isl_basic_set *uset_gist(__isl_take isl_basic_set *bset,
 2589 	__isl_take isl_basic_set *context)
 2593 	isl_basic_set *aff;
 2594 	isl_basic_set *aff_context;
 3036 	isl_basic_set *bset, *eq;
 3381 	__isl_take isl_basic_set *context)
 3504 struct isl_basic_set *isl_basic_set_gist(struct isl_basic_set *bset,
 3504 struct isl_basic_set *isl_basic_set_gist(struct isl_basic_set *bset,
 3505 						struct isl_basic_set *context)
 3512 	__isl_take isl_basic_set *context)
 3519 	__isl_take isl_basic_set *context)
 3522 	isl_basic_set *dom_context = isl_basic_set_universe(space);
 3537 	__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *context)
 3646 int isl_basic_set_plain_is_disjoint(__isl_keep isl_basic_set *bset1,
 3647 	__isl_keep isl_basic_set *bset2)
 3844 isl_bool isl_basic_set_is_disjoint(__isl_keep isl_basic_set *bset1,
 3845 	__isl_keep isl_basic_set *bset2)

 1353 __isl_give isl_basic_set *isl_basic_set_preimage(
 1354 	__isl_take isl_basic_set *bset, __isl_take isl_mat *mat)

   30 	__isl_take isl_basic_set *dom, __isl_take isl_basic_set *ran,
   30 	__isl_take isl_basic_set *dom, __isl_take isl_basic_set *ran,
  321 __isl_give isl_morph *isl_morph_identity(__isl_keep isl_basic_set *bset)
  324 	isl_basic_set *universe;
  341 __isl_give isl_morph *isl_morph_empty(__isl_keep isl_basic_set *bset)
  344 	isl_basic_set *empty;
  361 static __isl_give isl_basic_set *copy_equalities(__isl_keep isl_basic_set *bset,
  361 static __isl_give isl_basic_set *copy_equalities(__isl_keep isl_basic_set *bset,
  365 	isl_basic_set *eq;
  414 	__isl_keep isl_basic_set *bset, enum isl_dim_type type,
  424 	isl_basic_set *dom, *ran;
  476 	__isl_keep isl_basic_set *bset, enum isl_dim_type type)
  499 	__isl_keep isl_basic_set *bset)
  507 	isl_basic_set *dom, *ran;
  569 static __isl_give isl_basic_set *add_strides(__isl_take isl_basic_set *bset,
  569 static __isl_give isl_basic_set *add_strides(__isl_take isl_basic_set *bset,
  612 __isl_give isl_basic_set *isl_morph_basic_set(__isl_take isl_morph *morph,
  613 	__isl_take isl_basic_set *bset)
  615 	isl_basic_set *res = NULL;
  747 	isl_basic_set *dom, *ran;
  773 	isl_basic_set *bset;
  799 	__isl_keep isl_basic_set *bset)

   30 	isl_basic_set *dom;
   31 	isl_basic_set *ran;
   41 	__isl_take isl_basic_set *dom, __isl_take isl_basic_set *ran,
   41 	__isl_take isl_basic_set *dom, __isl_take isl_basic_set *ran,
   44 __isl_give isl_morph *isl_morph_identity(__isl_keep isl_basic_set *bset);
   69 	__isl_keep isl_basic_set *bset, enum isl_dim_type type);
   71 	__isl_keep isl_basic_set *bset, enum isl_dim_type type,
   74 	__isl_keep isl_basic_set *bset);
   76 	__isl_keep isl_basic_set *bset);
   78 __isl_give isl_basic_set *isl_morph_basic_set(__isl_take isl_morph *morph,
   79 	__isl_take isl_basic_set *bset);

  108 	struct isl_basic_set *bset, __isl_take isl_printer *p)
  140 	__isl_keep isl_basic_set *bset, __isl_take isl_printer *p, int ext)
 1003 	__isl_keep isl_basic_set *bset, __isl_take isl_printer *p)
 1500 	__isl_keep isl_basic_set *bset)
 2062 	__isl_keep isl_space *dim, __isl_keep isl_basic_set *bset, isl_int *c);
 2066 	__isl_keep isl_basic_set *bset, enum isl_dim_type type, unsigned pos)
 2087 	__isl_keep isl_basic_set *bset, isl_int c, unsigned pos)
 2112 	__isl_keep isl_basic_set *bset, isl_int *c, unsigned len)
 2140 	__isl_keep isl_space *dim, __isl_keep isl_basic_set *bset, isl_int *c)
 2153 	__isl_keep isl_basic_set *bset, isl_int *c, const char *op, int *first)
 2184 	__isl_keep isl_space *dim, __isl_keep isl_basic_set *bset)

  513 __isl_give isl_basic_set *isl_basic_set_from_point(__isl_take isl_point *pnt)
  515 	isl_basic_set *bset;
  516 	isl_basic_set *model;
  531 	isl_basic_set *bset;
  554 __isl_give isl_basic_set *isl_basic_set_box_from_points(
  557 	isl_basic_set *bset = NULL;
  642 	isl_basic_set *bset;

 2781 	__isl_take isl_qpolynomial *qp, __isl_take isl_basic_set *eq)
 2849 	__isl_take isl_qpolynomial *qp, __isl_take isl_basic_set *eq)
 2862 static __isl_give isl_basic_set *add_div_constraints(
 2863 	__isl_take isl_basic_set *bset, __isl_take isl_mat *div)
 2896 	isl_basic_set *aff;
 2901 		isl_basic_set *bset;
 3485 	__isl_keep isl_basic_set *bset,
 3486 	isl_stat (*fn)(__isl_take isl_basic_set *bset,
 4310 	isl_basic_set *bset = NULL;
 4521 	__isl_take isl_basic_set *bset, int cst)
 4549 	__isl_take isl_basic_set *bset,
 4550 	__isl_give isl_pw_qpolynomial *(*fn)(__isl_take isl_basic_set *bset))
 4581 		isl_basic_set *bset_i;
 4617 	__isl_take isl_basic_set *bset,
 4618 	__isl_give isl_pw_qpolynomial *(*fn)(__isl_take isl_basic_set *bset))

  236 	__isl_take isl_qpolynomial *qp, __isl_take isl_basic_set *eq);
  238 	__isl_take isl_qpolynomial_fold *fold, __isl_take isl_basic_set *eq);

  736 	isl_basic_set *aff;
  943 				    __isl_take isl_basic_set *bset))
  948 	isl_basic_set *hull = NULL;

    3 isl_stat isl_qpolynomial_bound_on_domain_range(__isl_take isl_basic_set *bset,

   27 static __isl_give isl_vec *empty_sample(__isl_take isl_basic_set *bset)
   40 static __isl_give isl_vec *zero_sample(__isl_take isl_basic_set *bset)
   55 static __isl_give isl_vec *interval_sample(__isl_take isl_basic_set *bset)
  122 static __isl_give isl_vec *sample_eq(__isl_take isl_basic_set *bset,
  123 	__isl_give isl_vec *(*recurse)(__isl_take isl_basic_set *))
  149 	struct isl_basic_set *bset;
  527 static __isl_give isl_vec *sample_bounded(__isl_take isl_basic_set *bset);
  532 static __isl_give isl_vec *factored_sample(__isl_take isl_basic_set *bset,
  556 		isl_basic_set *bset_i;
  604 static __isl_give isl_vec *sample_bounded(__isl_take isl_basic_set *bset)
  675 static __isl_give isl_basic_set *plug_in(__isl_take isl_basic_set *bset,
  675 static __isl_give isl_basic_set *plug_in(__isl_take isl_basic_set *bset,
  711 static __isl_give isl_vec *rational_sample(__isl_take isl_basic_set *bset)
  761 static __isl_give isl_basic_set *shift_cone(__isl_take isl_basic_set *cone,
  761 static __isl_give isl_basic_set *shift_cone(__isl_take isl_basic_set *cone,
  767 	struct isl_basic_set *shift = NULL;
  820 	__isl_take isl_basic_set *cone, __isl_take isl_mat *U)
  921 	__isl_take isl_basic_set *bset, __isl_take isl_basic_set *cone)
  921 	__isl_take isl_basic_set *bset, __isl_take isl_basic_set *cone)
  929 	struct isl_basic_set *bounded;
 1003 	struct isl_basic_set *bset = NULL;
 1104 static __isl_give isl_vec *gbr_sample(__isl_take isl_basic_set *bset)
 1107 	struct isl_basic_set *cone;
 1125 static __isl_give isl_vec *basic_set_sample(__isl_take isl_basic_set *bset,
 1168 __isl_give isl_vec *isl_basic_set_sample_vec(__isl_take isl_basic_set *bset)
 1176 __isl_give isl_vec *isl_basic_set_sample_bounded(__isl_take isl_basic_set *bset)
 1181 __isl_give isl_basic_set *isl_basic_set_from_vec(__isl_take isl_vec *vec)
 1185 	struct isl_basic_set *bset = NULL;
 1217 	struct isl_basic_set *bset;
 1237 __isl_give isl_basic_set *isl_basic_set_sample(__isl_take isl_basic_set *bset)
 1237 __isl_give isl_basic_set *isl_basic_set_sample(__isl_take isl_basic_set *bset)
 1267 __isl_give isl_basic_set *isl_set_sample(__isl_take isl_set *set)
 1272 __isl_give isl_point *isl_basic_set_sample_point(__isl_take isl_basic_set *bset)

   20 __isl_give isl_vec *isl_basic_set_sample_vec(__isl_take isl_basic_set *bset);
   22 	__isl_take isl_basic_set *bset);
   24 	__isl_take isl_basic_set *bset, __isl_take isl_basic_set *cone);
   24 	__isl_take isl_basic_set *bset, __isl_take isl_basic_set *cone);
   26 __isl_give isl_basic_set *isl_basic_set_from_vec(__isl_take isl_vec *vec);

   68 static isl_stat scan_0D(__isl_take isl_basic_set *bset,
  102 isl_stat isl_basic_set_scan(__isl_take isl_basic_set *bset,
  249 int isl_basic_set_count_upto(__isl_keep isl_basic_set *bset,

   21 isl_stat isl_basic_set_scan(__isl_take isl_basic_set *bset,

  125 	isl_basic_set *bounds;
  387 	isl_basic_set *lp;
  792 static isl_bool has_any_defining_equality(__isl_keep isl_basic_set *bset)
 1087 	isl_basic_set *hull;
 1549 static __isl_give isl_basic_set *get_size_bounds(struct isl_sched_node *node)
 1552 	isl_basic_set *bounds;
 1597 	isl_basic_set *bounds;
 1639 static __isl_give isl_basic_set *intra_coefficients(
 1646 	isl_basic_set *coef;
 1692 static __isl_give isl_basic_set *inter_coefficients(
 1698 	isl_basic_set *coef;
 1731 static int coef_var_offset(__isl_keep isl_basic_set *coef)
 1891 static __isl_give isl_basic_set *add_constraints_dim_map(
 1892 	__isl_take isl_basic_set *dst, __isl_take isl_basic_set *src,
 1892 	__isl_take isl_basic_set *dst, __isl_take isl_basic_set *src,
 1926 	isl_basic_set *coef;
 1962 	isl_basic_set *coef;
 2039 	isl_basic_set *coef;
 2117 	isl_basic_set *coef;
 2359 static isl_stat update_count(__isl_take isl_basic_set *bset,
 2384 	isl_basic_set *coef;
 2892 	isl_basic_set *lp;
 3863 	struct isl_sched_node *node, __isl_take isl_basic_set *coef, int pos)
 3907 	__isl_take isl_basic_set *coef, int pos)
 4038 static isl_stat lp_add_intra(__isl_take isl_basic_set *coef, void *user)
 4062 static isl_stat lp_add_inter(__isl_take isl_basic_set *coef, void *user)
 4114 static isl_stat bset_update_count(__isl_take isl_basic_set *bset, void *user)
 4541 	__isl_take isl_basic_set *lp, int n_edge, int want_integral)
 4731 static isl_stat add_non_trivial_lineality(__isl_take isl_basic_set *lineality,
 4787 	isl_basic_set *hull;
 5052 	isl_basic_set *lp;

  303 	isl_basic_set *hull;

 2431 	__isl_keep isl_basic_set *bset, int track)
 2438 struct isl_tab *isl_tab_from_recession_cone(__isl_keep isl_basic_set *bset,
 2657 struct isl_basic_set *isl_basic_set_update_from_tab(struct isl_basic_set *bset,
 2657 struct isl_basic_set *isl_basic_set_update_from_tab(struct isl_basic_set *bset,
 4051 isl_stat isl_tab_track_bset(struct isl_tab *tab, __isl_take isl_basic_set *bset)
 4056 __isl_keep isl_basic_set *isl_tab_peek_bset(struct isl_tab *tab)

  192 	__isl_keep isl_basic_set *bset, int track);
  193 struct isl_tab *isl_tab_from_recession_cone(struct isl_basic_set *bset,
  198 struct isl_basic_set *isl_basic_set_update_from_tab(struct isl_basic_set *bset,
  198 struct isl_basic_set *isl_basic_set_update_from_tab(struct isl_basic_set *bset,
  218 isl_stat isl_tab_track_bset(struct isl_tab *tab, __isl_take isl_basic_set *bset)
  220 __isl_keep isl_basic_set *isl_tab_peek_bset(struct isl_tab *tab);
  257 	__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
  260 	__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
  274 	__isl_take isl_basic_set *bset, int n_op, int n_region,
  282 	__isl_take isl_basic_set *bset);

   50 	__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
  145 	__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
  195 	__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,

   73 	struct isl_basic_set *(*peek_basic_set)(struct isl_context *context);
  143 	struct isl_basic_set *dom;
  192 		__isl_take isl_basic_set *dom, __isl_take isl_multi_aff *ma);
  193 	void (*add_empty)(struct isl_sol *sol, struct isl_basic_set *bset);
  222 	__isl_take isl_basic_set *dom, __isl_take isl_multi_aff *ma)
  327 	__isl_take isl_basic_set *dom, __isl_take isl_mat *M)
  366 static struct isl_basic_set *sol_domain(struct isl_sol *sol)
  368 	struct isl_basic_set *bset;
  426 	isl_basic_set *bset;
  454 	__isl_keep isl_multi_aff *ma2, __isl_keep isl_basic_set *dom)
  664 	struct isl_basic_set *bset = NULL;
  769 	struct isl_basic_set *bset)
  788 	struct isl_basic_set *bset)
  798 	__isl_take isl_basic_set *dom, __isl_take isl_multi_aff *ma)
  819 	__isl_take isl_basic_set *dom, __isl_take isl_multi_aff *ma)
  999 static __isl_give isl_vec *ineq_for_div(__isl_keep isl_basic_set *bset,
 2280 	__isl_keep isl_basic_set *dom, unsigned M, int max)
 2444 static struct isl_basic_set *context_lex_peek_basic_set(
 2801 static struct isl_tab *context_tab_for_lexmin(__isl_take isl_basic_set *bset)
 2817 static struct isl_context *isl_context_lex_alloc(struct isl_basic_set *dom)
 2867 static struct isl_basic_set *context_gbr_peek_basic_set(
 2892 	struct isl_basic_set *bset = isl_tab_peek_bset(cgbr->tab);
 2938 static __isl_give isl_basic_set *drop_constant_terms(
 2939 	__isl_take isl_basic_set *bset)
 2964 	struct isl_basic_set *bset;
 2965 	struct isl_basic_set *cone;
 3368 		struct isl_basic_set *bset = isl_tab_peek_bset(cgbr->tab);
 3577 static struct isl_context *isl_context_gbr_alloc(__isl_keep isl_basic_set *dom)
 3610 static struct isl_context *isl_context_alloc(__isl_keep isl_basic_set *dom)
 3642 	__isl_keep isl_basic_set *dom, int max)
 3666 	__isl_take isl_basic_set *dom, int track_empty, int max)
 4279 	struct isl_basic_set *dom, unsigned div)
 4317 	__isl_take isl_basic_map *bmap, __isl_keep isl_basic_set *dom)
 4363 	__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
 4366 		    __isl_take isl_basic_set *dom, int track_empty, int max))
 4410 	__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
 4599 static __isl_give isl_basic_set *select_minimum(__isl_take isl_basic_set *bset,
 4599 static __isl_give isl_basic_set *select_minimum(__isl_take isl_basic_set *bset,
 4645 	isl_basic_set *bset = NULL;
 4731 static isl_bool need_split_basic_set(__isl_keep isl_basic_set *bset,
 4863 	__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
 4876 	__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
 4921 static __isl_give isl_basic_set *extract_domain(__isl_keep isl_basic_map *bmap,
 5198 	__isl_keep isl_basic_set *bset)
 5449 	__isl_take isl_basic_set *bset, int n_op, int n_region,
 5531 	__isl_take isl_basic_set *bset)
 5635 	__isl_take isl_basic_set *bset)
 5658 	__isl_take isl_basic_set *dom, __isl_take isl_multi_aff *maff)
 5671 	__isl_take isl_basic_set *bset)
 5677 	__isl_take isl_basic_set *dom, __isl_take isl_multi_aff *ma)
 5690 	__isl_take isl_basic_set *dom, int track_empty, int max)
 5733 	__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
 5796 	isl_basic_set *bset = NULL;
 5906 	__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
 5920 	__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,

  460 	isl_basic_set *bset1, *bset2;
  533 	isl_basic_set *bset;
  565 	isl_basic_set *bset1, *bset2;
  908 	isl_basic_set *bset;
  931 	struct isl_basic_set *bset;
 1198 	struct isl_basic_set *bset1, *bset2;
 1234 	struct isl_basic_set *bset1, *bset2;
 1259 	isl_basic_set *bset, *bset2;
 1369 	isl_basic_set *hull, *expected;
 1396 	isl_basic_set *bset;
 1425 	struct isl_basic_set *bset1, *bset2;
 1530 	struct isl_basic_set *bset1, *bset2;
 1626 		isl_basic_set *bset, *context;
 1734 	isl_basic_set *bset1, *bset2;
 2213 	isl_basic_set *bset1, *bset2;
 2733 	isl_basic_set *bset1, *bset2;
 2768 	isl_basic_set *bset;
 3449 		isl_basic_set *bset;
 3486 		isl_basic_set *bset;
 3640 	isl_basic_set *bset;
 3817 	isl_basic_set *bset1, *bset2;
 3867 	isl_basic_set *bset;
 6764 	isl_basic_set *bset;
 6799 		isl_basic_set *bset;
 7280 	isl_basic_set *bset1, *bset2;
 7522 	isl_basic_set *bset1, *bset2;
 7858 	isl_basic_set *bset1, *bset2;
 8667 	isl_basic_set *bset;
 8693 	isl_basic_set *bset;
 8728 	isl_basic_set *bset;
 8752 	isl_basic_set *bset;
 9042 		isl_basic_set *bset1, *bset2;
 9059 		isl_basic_set *bset1, *bset2;
 9215 	isl_basic_set *bset;
 9244 	isl_basic_set *dom;
 9264 		isl_basic_set *bset_i;
 9268 			isl_basic_set *bset_j;
 9297 		isl_basic_set *bset;

  288 	__isl_keep isl_basic_set *bset, isl_int *c, int *div_purity)
  332 static int purity(__isl_keep isl_basic_set *bset, isl_int *c, int *div_purity,
  376 static __isl_give int *get_div_purity(__isl_keep isl_basic_set *bset)
  457 	__isl_keep isl_basic_set *delta, unsigned off, unsigned nparam,
  567 	__isl_take isl_basic_set *delta)
  775 		struct isl_basic_set *delta;
 2159 	isl_basic_set *aff = NULL;

  461 	__isl_take isl_basic_set *bset)
 2499 __isl_give isl_basic_set *isl_union_set_sample(__isl_take isl_union_set *uset)

   26 static __isl_give isl_vertices *compute_chambers(__isl_take isl_basic_set *bset,
   85 static __isl_give isl_vertices *vertices_from_list(__isl_keep isl_basic_set *bset,
  123 	__isl_keep isl_basic_set *bset, struct isl_tab *tab)
  167 static __isl_give isl_vertices *vertices_empty(__isl_keep isl_basic_set *bset)
  192 static __isl_give isl_vertices *vertices_0D(__isl_keep isl_basic_set *bset)
  266 static int can_select(__isl_keep isl_basic_set *bset, int level,
  327 	__isl_keep isl_basic_set *bset)
  376 	__isl_keep isl_basic_set *bset)
  515 static isl_bool bset_covers_tab(__isl_keep isl_basic_set *bset,
  567 	__isl_keep isl_basic_set *bset)
  662 	isl_basic_set *bset;    /* A normalized basic set representation */
  854 static __isl_give isl_vertices *compute_chambers(__isl_take isl_basic_set *bset,
  986 __isl_give isl_basic_set *isl_vertex_get_domain(__isl_keep isl_vertex *vertex)
 1009 	isl_basic_set *bset;
 1056 __isl_give isl_basic_set *isl_cell_get_domain(__isl_keep isl_cell *cell)
 1062 	__isl_take isl_basic_set *dom, int id)
 1106 static struct isl_tab *tab_for_shifted_cone(__isl_keep isl_basic_set *bset)
 1164 	__isl_keep isl_basic_set *bset)
 1204 		isl_basic_set *dom = isl_basic_set_copy(vertices->c[0].dom);
 1218 		isl_basic_set *dom = isl_basic_set_copy(vertices->c[i].dom);
 1252 		isl_basic_set *dom = isl_basic_set_copy(vertices->c[i].dom);
 1422 static int vertex_on_facet(__isl_keep isl_basic_set *vertex,
 1423 	__isl_keep isl_basic_set *bset, int facet, __isl_keep isl_vec *v)
 1458 	isl_basic_set *vertex;
 1459 	isl_basic_set *bset;
 1483 			isl_basic_set *ov;

   21 	isl_basic_set *dom;
   22 	isl_basic_set *vertex;
   31 	isl_basic_set *dom;
   38 	isl_basic_set *bset;
   51 	isl_basic_set *dom;