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

References

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

   42 int isl_basic_map_n_constraint(__isl_keep isl_basic_map *bmap);
   44 isl_stat isl_basic_map_foreach_constraint(__isl_keep isl_basic_map *bmap,
   49 	__isl_keep isl_basic_map *bmap);
   61 __isl_give isl_basic_map *isl_basic_map_add_constraint(
   62 	__isl_take isl_basic_map *bmap, __isl_take isl_constraint *constraint);
   71 	__isl_keep isl_basic_map *bmap, enum isl_dim_type type, int pos,
  121 __isl_give isl_basic_map *isl_basic_map_from_constraint(

  597 inline basic_map manage(__isl_take isl_basic_map *ptr);
  598 inline basic_map manage_copy(__isl_keep isl_basic_map *ptr);
  601   friend inline basic_map manage(__isl_take isl_basic_map *ptr);
  602   friend inline basic_map manage_copy(__isl_keep isl_basic_map *ptr);
  604   isl_basic_map *ptr = nullptr;
  606   inline explicit basic_map(__isl_take isl_basic_map *ptr);
  615   inline __isl_give isl_basic_map *copy() const &;
  616   inline __isl_give isl_basic_map *copy() && = delete;
  617   inline __isl_keep isl_basic_map *get() const;
  618   inline __isl_give isl_basic_map *release();
 5344 basic_map manage(__isl_take isl_basic_map *ptr) {
 5347 basic_map manage_copy(__isl_keep isl_basic_map *ptr) {
 5364 basic_map::basic_map(__isl_take isl_basic_map *ptr)
 5383 __isl_give isl_basic_map *basic_map::copy() const & {
 5387 __isl_keep isl_basic_map *basic_map::get() const {
 5391 __isl_give isl_basic_map *basic_map::release() {
 5392   isl_basic_map *tmp = ptr;

   81 __isl_give isl_basic_map *isl_local_space_lifting(

   34 unsigned isl_basic_map_n_in(__isl_keep const isl_basic_map *bmap);
   36 unsigned isl_basic_map_n_out(__isl_keep const isl_basic_map *bmap);
   38 unsigned isl_basic_map_n_param(__isl_keep const isl_basic_map *bmap);
   40 unsigned isl_basic_map_n_div(__isl_keep const isl_basic_map *bmap);
   41 unsigned isl_basic_map_total_dim(__isl_keep const isl_basic_map *bmap);
   42 unsigned isl_basic_map_dim(__isl_keep isl_basic_map *bmap,
   53 isl_ctx *isl_basic_map_get_ctx(__isl_keep isl_basic_map *bmap);
   55 __isl_give isl_space *isl_basic_map_get_space(__isl_keep isl_basic_map *bmap);
   58 __isl_give isl_aff *isl_basic_map_get_div(__isl_keep isl_basic_map *bmap,
   62 	__isl_keep isl_basic_map *bmap);
   64 __isl_give isl_basic_map *isl_basic_map_set_tuple_name(
   65 	__isl_take isl_basic_map *bmap, enum isl_dim_type type, const char *s);
   66 const char *isl_basic_map_get_tuple_name(__isl_keep isl_basic_map *bmap,
   74 const char *isl_basic_map_get_dim_name(__isl_keep isl_basic_map *bmap,
   80 __isl_give isl_basic_map *isl_basic_map_set_dim_name(
   81 	__isl_take isl_basic_map *bmap,
   86 __isl_give isl_basic_map *isl_basic_map_set_tuple_id(
   87 	__isl_take isl_basic_map *bmap,
   91 isl_bool isl_basic_map_has_dim_id(__isl_keep isl_basic_map *bmap,
  106 int isl_basic_map_find_dim_by_name(__isl_keep isl_basic_map *bmap,
  113 isl_bool isl_basic_map_is_rational(__isl_keep isl_basic_map *bmap);
  115 __isl_give isl_basic_map *isl_basic_map_identity(__isl_take isl_space *dim);
  116 __isl_null isl_basic_map *isl_basic_map_free(__isl_take isl_basic_map *bmap);
  116 __isl_null isl_basic_map *isl_basic_map_free(__isl_take isl_basic_map *bmap);
  117 __isl_give isl_basic_map *isl_basic_map_copy(__isl_keep isl_basic_map *bmap);
  117 __isl_give isl_basic_map *isl_basic_map_copy(__isl_keep isl_basic_map *bmap);
  118 __isl_give isl_basic_map *isl_basic_map_equal(
  120 __isl_give isl_basic_map *isl_basic_map_less_at(__isl_take isl_space *dim,
  122 __isl_give isl_basic_map *isl_basic_map_more_at(__isl_take isl_space *dim,
  124 __isl_give isl_basic_map *isl_basic_map_empty(__isl_take isl_space *space);
  125 __isl_give isl_basic_map *isl_basic_map_universe(__isl_take isl_space *space);
  126 __isl_give isl_basic_map *isl_basic_map_nat_universe(__isl_take isl_space *dim);
  127 __isl_give isl_basic_map *isl_basic_map_remove_redundancies(
  128 	__isl_take isl_basic_map *bmap);
  130 __isl_give isl_basic_map *isl_map_simple_hull(__isl_take isl_map *map);
  132 __isl_give isl_basic_map *isl_map_unshifted_simple_hull(
  134 __isl_give isl_basic_map *isl_map_plain_unshifted_simple_hull(
  136 __isl_give isl_basic_map *isl_map_unshifted_simple_hull_from_map_list(
  140 __isl_give isl_basic_map *isl_basic_map_intersect_domain(
  141 		__isl_take isl_basic_map *bmap,
  144 __isl_give isl_basic_map *isl_basic_map_intersect_range(
  145 		__isl_take isl_basic_map *bmap,
  148 __isl_give isl_basic_map *isl_basic_map_intersect(
  149 		__isl_take isl_basic_map *bmap1,
  150 		__isl_take isl_basic_map *bmap2);
  151 __isl_give isl_basic_map *isl_basic_map_list_intersect(
  155 		__isl_take isl_basic_map *bmap1,
  156 		__isl_take isl_basic_map *bmap2);
  158 __isl_give isl_basic_map *isl_basic_map_apply_domain(
  159 		__isl_take isl_basic_map *bmap1,
  160 		__isl_take isl_basic_map *bmap2);
  162 __isl_give isl_basic_map *isl_basic_map_apply_range(
  163 		__isl_take isl_basic_map *bmap1,
  164 		__isl_take isl_basic_map *bmap2);
  166 __isl_give isl_basic_map *isl_basic_map_affine_hull(
  167 		__isl_take isl_basic_map *bmap);
  168 __isl_give isl_basic_map *isl_basic_map_preimage_domain_multi_aff(
  169 	__isl_take isl_basic_map *bmap, __isl_take isl_multi_aff *ma);
  170 __isl_give isl_basic_map *isl_basic_map_preimage_range_multi_aff(
  171 	__isl_take isl_basic_map *bmap, __isl_take isl_multi_aff *ma);
  173 __isl_give isl_basic_map *isl_basic_map_reverse(__isl_take isl_basic_map *bmap);
  173 __isl_give isl_basic_map *isl_basic_map_reverse(__isl_take isl_basic_map *bmap);
  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);
  176 __isl_give isl_basic_map *isl_basic_map_domain_map(
  177 	__isl_take isl_basic_map *bmap);
  178 __isl_give isl_basic_map *isl_basic_map_range_map(
  179 	__isl_take isl_basic_map *bmap);
  180 __isl_give isl_basic_map *isl_basic_map_remove_dims(
  181 	__isl_take isl_basic_map *bmap,
  183 __isl_give isl_basic_map *isl_basic_map_eliminate(
  184 	__isl_take isl_basic_map *bmap,
  187 __isl_give isl_basic_map *isl_basic_map_sample(__isl_take isl_basic_map *bmap);
  187 __isl_give isl_basic_map *isl_basic_map_sample(__isl_take isl_basic_map *bmap);
  189 __isl_give isl_basic_map *isl_basic_map_detect_equalities(
  190 						__isl_take isl_basic_map *bmap);
  191 __isl_give isl_basic_map *isl_basic_map_read_from_file(isl_ctx *ctx,
  194 __isl_give isl_basic_map *isl_basic_map_read_from_str(isl_ctx *ctx,
  199 void isl_basic_map_dump(__isl_keep isl_basic_map *bmap);
  201 __isl_give char *isl_basic_map_to_str(__isl_keep isl_basic_map *bmap);
  203 	__isl_take isl_printer *printer, __isl_keep isl_basic_map *bmap);
  207 __isl_give isl_basic_map *isl_basic_map_fix_si(__isl_take isl_basic_map *bmap,
  207 __isl_give isl_basic_map *isl_basic_map_fix_si(__isl_take isl_basic_map *bmap,
  209 __isl_give isl_basic_map *isl_basic_map_fix_val(__isl_take isl_basic_map *bmap,
  209 __isl_give isl_basic_map *isl_basic_map_fix_val(__isl_take isl_basic_map *bmap,
  211 __isl_give isl_basic_map *isl_basic_map_lower_bound_si(
  212 		__isl_take isl_basic_map *bmap,
  214 __isl_give isl_basic_map *isl_basic_map_upper_bound_si(
  215 	__isl_take isl_basic_map *bmap,
  218 __isl_give isl_basic_map *isl_basic_map_sum(__isl_take isl_basic_map *bmap1,
  218 __isl_give isl_basic_map *isl_basic_map_sum(__isl_take isl_basic_map *bmap1,
  219 	__isl_take isl_basic_map *bmap2);
  220 __isl_give isl_basic_map *isl_basic_map_neg(__isl_take isl_basic_map *bmap);
  220 __isl_give isl_basic_map *isl_basic_map_neg(__isl_take isl_basic_map *bmap);
  229 isl_bool isl_basic_map_is_equal(__isl_keep isl_basic_map *bmap1,
  230 	__isl_keep isl_basic_map *bmap2);
  231 isl_bool isl_basic_map_is_disjoint(__isl_keep isl_basic_map *bmap1,
  232 	__isl_keep isl_basic_map *bmap2);
  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,
  247 __isl_give isl_map *isl_basic_map_lexmin(__isl_take isl_basic_map *bmap);
  249 __isl_give isl_map *isl_basic_map_lexmax(__isl_take isl_basic_map *bmap);
  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,
  261 	__isl_take isl_basic_map *bmap);
  267 void isl_basic_map_print_internal(__isl_keep isl_basic_map *bmap,
  271 	__isl_keep isl_basic_map *bmap,
  274 isl_bool isl_basic_map_image_is_bounded(__isl_keep isl_basic_map *bmap);
  275 isl_bool isl_basic_map_plain_is_universe(__isl_keep isl_basic_map *bmap);
  276 isl_bool isl_basic_map_is_universe(__isl_keep isl_basic_map *bmap);
  277 isl_bool isl_basic_map_plain_is_empty(__isl_keep isl_basic_map *bmap);
  279 isl_bool isl_basic_map_is_empty(__isl_keep isl_basic_map *bmap);
  281 isl_bool isl_basic_map_is_subset(__isl_keep isl_basic_map *bmap1,
  282 		__isl_keep isl_basic_map *bmap2);
  283 isl_bool isl_basic_map_is_strict_subset(__isl_keep isl_basic_map *bmap1,
  284 		__isl_keep isl_basic_map *bmap2);
  338 __isl_give isl_basic_map *isl_basic_map_product(
  339 	__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2);
  339 	__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2);
  342 __isl_give isl_basic_map *isl_basic_map_domain_product(
  343 	__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2);
  343 	__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2);
  344 __isl_give isl_basic_map *isl_basic_map_range_product(
  345 	__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2);
  345 	__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2);
  350 __isl_give isl_basic_map *isl_basic_map_flat_product(
  351 	__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2);
  351 	__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2);
  354 __isl_give isl_basic_map *isl_basic_map_flat_range_product(
  355 	__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2);
  355 	__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2);
  396 __isl_give isl_basic_set *isl_basic_map_deltas(__isl_take isl_basic_map *bmap);
  399 __isl_give isl_basic_map *isl_basic_map_deltas_map(
  400 	__isl_take isl_basic_map *bmap);
  405 __isl_give isl_basic_map *isl_map_affine_hull(__isl_take isl_map *map);
  406 __isl_give isl_basic_map *isl_map_convex_hull(__isl_take isl_map *map);
  408 __isl_give isl_basic_map *isl_map_polyhedral_hull(__isl_take isl_map *map);
  409 __isl_give isl_basic_map *isl_basic_map_add_dims(__isl_take isl_basic_map *bmap,
  409 __isl_give isl_basic_map *isl_basic_map_add_dims(__isl_take isl_basic_map *bmap,
  413 __isl_give isl_basic_map *isl_basic_map_insert_dims(
  414 	__isl_take isl_basic_map *bmap, enum isl_dim_type type,
  418 __isl_give isl_basic_map *isl_basic_map_move_dims(
  419 	__isl_take isl_basic_map *bmap,
  425 __isl_give isl_basic_map *isl_basic_map_project_out(
  426 		__isl_take isl_basic_map *bmap,
  430 __isl_give isl_basic_map *isl_basic_map_remove_divs(
  431 	__isl_take isl_basic_map *bmap);
  438 __isl_give isl_basic_map *isl_basic_map_remove_divs_involving_dims(
  439 	__isl_take isl_basic_map *bmap,
  446 __isl_give isl_basic_map *isl_basic_map_equate(__isl_take isl_basic_map *bmap,
  446 __isl_give isl_basic_map *isl_basic_map_equate(__isl_take isl_basic_map *bmap,
  448 __isl_give isl_basic_map *isl_basic_map_order_ge(__isl_take isl_basic_map *bmap,
  448 __isl_give isl_basic_map *isl_basic_map_order_ge(__isl_take isl_basic_map *bmap,
  460 __isl_give isl_basic_map *isl_basic_map_order_gt(__isl_take isl_basic_map *bmap,
  460 __isl_give isl_basic_map *isl_basic_map_order_gt(__isl_take isl_basic_map *bmap,
  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);
  477 __isl_give isl_basic_map *isl_basic_map_flatten(__isl_take isl_basic_map *bmap);
  477 __isl_give isl_basic_map *isl_basic_map_flatten(__isl_take isl_basic_map *bmap);
  481 __isl_give isl_basic_map *isl_basic_map_flatten_domain(
  482 	__isl_take isl_basic_map *bmap);
  484 __isl_give isl_basic_map *isl_basic_map_flatten_range(
  485 	__isl_take isl_basic_map *bmap);
  502 __isl_give isl_map *isl_map_from_basic_map(__isl_take isl_basic_map *bmap);
  504 __isl_give isl_basic_map *isl_basic_map_from_domain(
  506 __isl_give isl_basic_map *isl_basic_map_from_range(
  509 __isl_give isl_basic_map *isl_basic_map_from_domain_and_range(
  514 __isl_give isl_basic_map *isl_map_sample(__isl_take isl_map *map);
  530 isl_bool isl_basic_map_is_single_valued(__isl_keep isl_basic_map *bmap);
  544 isl_bool isl_basic_map_can_zip(__isl_keep isl_basic_map *bmap);
  546 __isl_give isl_basic_map *isl_basic_map_zip(__isl_take isl_basic_map *bmap);
  546 __isl_give isl_basic_map *isl_basic_map_zip(__isl_take isl_basic_map *bmap);
  549 isl_bool isl_basic_map_can_curry(__isl_keep isl_basic_map *bmap);
  551 __isl_give isl_basic_map *isl_basic_map_curry(__isl_take isl_basic_map *bmap);
  551 __isl_give isl_basic_map *isl_basic_map_curry(__isl_take isl_basic_map *bmap);
  557 isl_bool isl_basic_map_can_uncurry(__isl_keep isl_basic_map *bmap);
  559 __isl_give isl_basic_map *isl_basic_map_uncurry(__isl_take isl_basic_map *bmap);
  559 __isl_give isl_basic_map *isl_basic_map_uncurry(__isl_take isl_basic_map *bmap);
  563 __isl_give isl_map *isl_basic_map_compute_divs(__isl_take isl_basic_map *bmap);
  568 __isl_give isl_basic_map *isl_basic_map_drop_constraints_involving_dims(
  569 	__isl_take isl_basic_map *bmap,
  571 __isl_give isl_basic_map *isl_basic_map_drop_constraints_not_involving_dims(
  572 	__isl_take isl_basic_map *bmap,
  581 isl_bool isl_basic_map_involves_dims(__isl_keep isl_basic_map *bmap,
  591 __isl_give isl_basic_map *isl_basic_map_gist_domain(
  592 	__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *context);
  594 __isl_give isl_basic_map *isl_basic_map_gist(__isl_take isl_basic_map *bmap,
  594 __isl_give isl_basic_map *isl_basic_map_gist(__isl_take isl_basic_map *bmap,
  595 	__isl_take isl_basic_map *context);
  607 	__isl_take isl_basic_map *context);
  625 	isl_stat (*fn)(__isl_take isl_basic_map *bmap, void *user), void *user);
  646 __isl_give isl_basic_map *isl_basic_map_align_params(
  647 	__isl_take isl_basic_map *bmap, __isl_take isl_space *model);
  650 __isl_give isl_basic_map *isl_basic_map_drop_unused_params(
  651 	__isl_take isl_basic_map *bmap);
  655 		__isl_keep isl_basic_map *bmap, enum isl_dim_type c1,
  659 		__isl_keep isl_basic_map *bmap, enum isl_dim_type c1,
  662 __isl_give isl_basic_map *isl_basic_map_from_constraint_matrices(
  668 __isl_give isl_basic_map *isl_basic_map_from_aff(__isl_take isl_aff *aff);
  669 __isl_give isl_basic_map *isl_basic_map_from_multi_aff(
  671 __isl_give isl_basic_map *isl_basic_map_from_aff_list(

  127 __isl_give isl_basic_map *isl_basic_map_from_qpolynomial(

  113 		__isl_take isl_basic_map *bmap);

   25 	__isl_take isl_basic_map *bmap);
  251 __isl_give isl_basic_map *isl_union_map_sample(__isl_take isl_union_map *umap);

 4492 	__isl_keep isl_basic_map *bmap, int pos, int eq, int div, int ineq,
 4564 	__isl_keep isl_basic_map *bmap, int pos, __isl_keep isl_multi_aff *ma)
 4587 	__isl_take isl_basic_map *bmap)
 4641 	__isl_take isl_set *domain, __isl_take isl_basic_map *bmap)
 4679 		isl_basic_map *bmap;
 4720 	__isl_take isl_map *map, __isl_take isl_basic_map *hull, int d, int i)
 4846 	isl_basic_map *hull;
 4998 	__isl_take isl_map *map, __isl_take isl_basic_map *hull, int d, int i,
 5082 	__isl_take isl_map *map, __isl_take isl_basic_map *hull)
 5148 	isl_basic_map *hull;

   64 static __isl_give isl_basic_map *isl_basic_map_from_aff2(
   71 	isl_basic_map *bmap = NULL;
  110 __isl_give isl_basic_map *isl_basic_map_from_aff(__isl_take isl_aff *aff)
  120 	isl_basic_map *bmap;
  131 __isl_give isl_basic_map *isl_basic_map_from_multi_aff2(
  136 	isl_basic_map *bmap;
  152 		isl_basic_map *bmap_i;
  174 static __isl_give isl_basic_map *basic_map_from_multi_aff(
  184 __isl_give isl_basic_map *isl_basic_map_from_multi_aff(
  212 	isl_basic_map *bmap;
  247 __isl_give isl_basic_map *isl_basic_map_from_aff_list(
  252 	isl_basic_map *bmap;
  262 		isl_basic_map *bmap_i;
  291 		isl_basic_map *bmap;
  346 		isl_basic_map *bmap;

   32 __isl_give isl_basic_map *isl_basic_map_implicit_equalities(
   33 	__isl_take isl_basic_map *bmap)
  875 __isl_give isl_basic_map *isl_basic_map_detect_equalities(
  876 	__isl_take isl_basic_map *bmap)
  941 __isl_give isl_basic_map *isl_basic_map_plain_affine_hull(
  942 	__isl_take isl_basic_map *bmap)
  964 __isl_give isl_basic_map *isl_basic_map_affine_hull(
  965 	__isl_take isl_basic_map *bmap)
  995 static __isl_give isl_basic_map *add_strides(__isl_take isl_basic_map *bmap,
  995 static __isl_give isl_basic_map *add_strides(__isl_take isl_basic_map *bmap,
 1060 static __isl_give isl_basic_map *isl_basic_map_make_strides_explicit(
 1061 	__isl_take isl_basic_map *bmap)
 1148 static __isl_give isl_basic_map *replace_map_by_empty_basic_map(
 1177 __isl_give isl_basic_map *isl_map_affine_hull(__isl_take isl_map *map)

 1485 	isl_basic_map *bmap1, *bmap2;

 1619 static isl_stat basic_map_check_scaled(__isl_take isl_basic_map *bmap,
 1858 	isl_basic_map *test;
 1881 	__isl_keep isl_basic_map *gt)
 1896 		isl_basic_map *bmap;
 1983 	isl_basic_map *gt;
 2084 	isl_basic_map *test;
 2326 	isl_basic_map *expansion;
 2546 	int depth, __isl_keep isl_basic_map *expansion, int *n)
 2611 	isl_basic_map *bmap;

   65 static int *eq_status_in(__isl_keep isl_basic_map *bmap_i,
   95 static int *ineq_status_in(__isl_keep isl_basic_map *bmap_i,
  190 	isl_basic_map *bmap;
  311 	isl_basic_map *hull;
  410 static __isl_give isl_basic_map *add_valid_constraints(
  411 	__isl_take isl_basic_map *bmap, struct isl_coalesce_info *info,
  457 	__isl_keep isl_basic_map *bmap, struct isl_tab *tab)
  648 	isl_basic_map *bmap = info->bmap;
  871 static isl_bool is_affected(__isl_keep isl_basic_map *bmap, int ineq,
 1329 	isl_basic_map *bmap = info->bmap;
 1417 static __isl_give isl_set *set_from_updated_bmap(__isl_keep isl_basic_map *bmap,
 2645 	isl_basic_map *bmap1, *bmap2;
 2682 static isl_bool same_divs(__isl_keep isl_basic_map *bmap1,
 2683 	__isl_keep isl_basic_map *bmap2)
 2716 static isl_stat copy_ineq(struct isl_tab *tab, __isl_keep isl_basic_map *bmap)
 2847 	int n, struct isl_expanded *expanded, __isl_take isl_basic_map *bmap)
 2926 	__isl_take isl_basic_map *bmap)
 3001 static enum isl_change coalesce_expand_tab_divs(__isl_take isl_basic_map *bmap,
 3006 	isl_basic_map *bmap_i;
 3065 	__isl_keep isl_basic_map *bmap, int i, int j,
 3135 	__isl_keep isl_basic_map *bmap_i, int i, int j,
 3211 	isl_basic_map *hull_i, *hull_j, *bmap_i;
 3297 static isl_bool has_nested_div(__isl_keep isl_basic_map *bmap)
 3327 	__isl_keep isl_basic_map *bmap_i, __isl_keep isl_basic_map *bmap_j,
 3327 	__isl_keep isl_basic_map *bmap_i, __isl_keep isl_basic_map *bmap_j,
 3328 	__isl_take isl_basic_map *hull)
 3545 	isl_basic_map *bmap_j;
 3593 	isl_basic_map *hull_i, *hull_j;

   45 static unsigned basic_map_offset(__isl_keep isl_basic_map *bmap,
  200 int isl_basic_map_n_constraint(__isl_keep isl_basic_map *bmap)
  217 isl_stat isl_basic_map_foreach_constraint(__isl_keep isl_basic_map *bmap,
  279 	__isl_keep isl_basic_map *bmap)
  362 	isl_basic_map *bmap;
  751 __isl_give isl_basic_map *isl_basic_map_from_constraint(
  811 	__isl_keep isl_basic_map *bmap, enum isl_dim_type type, int pos,

   51 __isl_give isl_basic_map *isl_basic_map_remove_redundancies(
   52 	__isl_take isl_basic_map *bmap)
  850 isl_bool isl_basic_map_image_is_bounded(__isl_keep isl_basic_map *bmap)
 1870 static __isl_give isl_basic_map *replace_map_by_empty_basic_map(
 1885 __isl_give isl_basic_map *isl_map_convex_hull(__isl_take isl_map *map)
 1935 __isl_give isl_basic_map *isl_map_polyhedral_hull(__isl_take isl_map *map)
 1937 	isl_basic_map *hull;
 2316 static __isl_give isl_basic_map *map_simple_hull_trivial(
 2319 	isl_basic_map *hull;
 2335 static __isl_give isl_basic_map *cached_simple_hull(__isl_take isl_map *map,
 2338 	isl_basic_map *hull;
 2365 static __isl_give isl_basic_map *map_simple_hull(__isl_take isl_map *map,
 2414 __isl_give isl_basic_map *isl_map_simple_hull(__isl_take isl_map *map)
 2427 __isl_give isl_basic_map *isl_map_unshifted_simple_hull(
 2455 static __isl_give isl_basic_map *select_shared_inequalities(
 2456 	__isl_take isl_basic_map *bmap1, __isl_keep isl_basic_map *bmap2)
 2456 	__isl_take isl_basic_map *bmap1, __isl_keep isl_basic_map *bmap2)
 2501 static __isl_give isl_basic_map *select_shared_equalities(
 2502 	__isl_take isl_basic_map *bmap1, __isl_keep isl_basic_map *bmap2)
 2502 	__isl_take isl_basic_map *bmap1, __isl_keep isl_basic_map *bmap2)
 2554 __isl_give isl_basic_map *isl_basic_map_plain_unshifted_simple_hull(
 2555 	__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2)
 2555 	__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2)
 2586 __isl_give isl_basic_map *isl_map_plain_unshifted_simple_hull(
 2590 	isl_basic_map *hull;
 2599 		isl_basic_map *bmap_i;
 2874 static __isl_give isl_basic_map *map_unshifted_simple_hull_from_basic_map_list(
 2877 	isl_basic_map *model;
 2878 	isl_basic_map *hull;
 2957 __isl_give isl_basic_map *isl_map_unshifted_simple_hull_from_map_list(

   87 	__isl_keep isl_basic_map *bmap, unsigned dst_pos)
  134 __isl_give isl_basic_map *isl_basic_map_add_constraints_dim_map(
  135 	__isl_take isl_basic_map *dst, __isl_take isl_basic_map *src,
  135 	__isl_take isl_basic_map *dst, __isl_take isl_basic_map *src,
  185 	__isl_keep isl_basic_map *bmap)

   22 	__isl_keep isl_basic_map *bmap, unsigned dst_pos);
   26 __isl_give isl_basic_map *isl_basic_map_add_constraints_dim_map(
   27 	__isl_take isl_basic_map *dst, __isl_take isl_basic_map *src,
   27 	__isl_take isl_basic_map *dst, __isl_take isl_basic_map *src,
   31 	__isl_keep isl_basic_map *bmap);

 1863 static int polylib_pos_to_isl_pos(__isl_keep isl_basic_map *bmap, int pos)
 1886 static __isl_give isl_basic_map *basic_map_read_polylib_constraint(
 1887 	__isl_keep isl_stream *s, __isl_take isl_basic_map *bmap)
 1951 static __isl_give isl_basic_map *basic_map_read_polylib(
 2830 static __isl_give isl_basic_map *basic_map_read(__isl_keep isl_stream *s)
 2864 	isl_basic_map *bmap;
 2877 __isl_give isl_basic_map *isl_basic_map_read_from_file(isl_ctx *ctx,

  672 static int bmap_cmp_row(__isl_keep isl_basic_map *bmap, int i, int j,
  684 __isl_give isl_basic_map *isl_basic_map_sort_divs(
  685 	__isl_take isl_basic_map *bmap)
 1347 __isl_give isl_basic_map *isl_local_space_lifting(
 1350 	isl_basic_map *lifting;

   25 enum isl_lp_result isl_tab_solve_lp(__isl_keep isl_basic_map *bmap,
   64 enum isl_lp_result isl_basic_map_solve_lp(__isl_keep isl_basic_map *bmap,

    8 enum isl_lp_result isl_basic_map_solve_lp(__isl_keep isl_basic_map *bmap,

   74 unsigned isl_basic_map_dim(__isl_keep isl_basic_map *bmap,
  171 unsigned isl_basic_map_n_in(__isl_keep const isl_basic_map *bmap)
  176 unsigned isl_basic_map_n_out(__isl_keep const isl_basic_map *bmap)
  181 unsigned isl_basic_map_n_param(__isl_keep const isl_basic_map *bmap)
  186 unsigned isl_basic_map_n_div(__isl_keep const isl_basic_map *bmap)
  191 unsigned isl_basic_map_total_dim(__isl_keep const isl_basic_map *bmap)
  214 int isl_basic_map_n_equality(__isl_keep isl_basic_map *bmap)
  232 int isl_basic_map_n_inequality(__isl_keep isl_basic_map *bmap)
  249 static isl_bool isl_basic_map_has_equal_params(__isl_keep isl_basic_map *bmap1,
  250 	__isl_keep isl_basic_map *bmap2)
  292 isl_bool isl_basic_map_compatible_domain(__isl_keep isl_basic_map *bmap,
  318 isl_bool isl_basic_map_compatible_range(__isl_keep isl_basic_map *bmap,
  331 isl_ctx *isl_basic_map_get_ctx(__isl_keep isl_basic_map *bmap)
  354 	__isl_keep const isl_basic_map *bmap)
  366 __isl_give isl_space *isl_basic_map_get_space(__isl_keep isl_basic_map *bmap)
  378 __isl_give isl_mat *isl_basic_map_get_divs(__isl_keep isl_basic_map *bmap)
  410 	__isl_keep isl_basic_map *bmap)
  434 static __isl_give isl_basic_map *add_known_div_constraints(
  435 	__isl_take isl_basic_map *bmap)
  459 __isl_give isl_basic_map *isl_basic_map_from_local_space(
  464 	isl_basic_map *bmap;
  507 __isl_give isl_basic_map *isl_basic_map_set_tuple_name(
  508 	__isl_take isl_basic_map *bmap, enum isl_dim_type type, const char *s)
  529 const char *isl_basic_map_get_tuple_name(__isl_keep isl_basic_map *bmap,
  562 __isl_give isl_basic_map *isl_basic_map_set_tuple_id(
  563 	__isl_take isl_basic_map *bmap,
  686 const char *isl_basic_map_get_dim_name(__isl_keep isl_basic_map *bmap,
  730 __isl_give isl_basic_map *isl_basic_map_set_dim_name(
  731 	__isl_take isl_basic_map *bmap,
  786 isl_bool isl_basic_map_has_dim_id(__isl_keep isl_basic_map *bmap,
  863 int isl_basic_map_find_dim_by_name(__isl_keep isl_basic_map *bmap,
  954 isl_bool isl_basic_map_is_rational(__isl_keep isl_basic_map *bmap)
 1016 isl_bool isl_basic_map_has_rational(__isl_keep isl_basic_map *bmap)
 1245 __isl_give isl_basic_map *isl_basic_map_dup(__isl_keep isl_basic_map *bmap)
 1245 __isl_give isl_basic_map *isl_basic_map_dup(__isl_keep isl_basic_map *bmap)
 1290 __isl_give isl_basic_map *isl_basic_map_copy(__isl_keep isl_basic_map *bmap)
 1290 __isl_give isl_basic_map *isl_basic_map_copy(__isl_keep isl_basic_map *bmap)
 1314 __isl_null isl_basic_map *isl_basic_map_free(__isl_take isl_basic_map *bmap)
 1314 __isl_null isl_basic_map *isl_basic_map_free(__isl_take isl_basic_map *bmap)
 1355 static isl_stat isl_basic_map_check_named_params(__isl_keep isl_basic_map *bmap)
 1364 	__isl_keep isl_basic_map *bmap1, __isl_keep isl_basic_map *bmap2)
 1364 	__isl_keep isl_basic_map *bmap1, __isl_keep isl_basic_map *bmap2)
 1521 int isl_basic_map_alloc_inequality(__isl_keep isl_basic_map *bmap)
 1579 __isl_give isl_basic_map *isl_basic_map_add_eq(__isl_take isl_basic_map *bmap,
 1579 __isl_give isl_basic_map *isl_basic_map_add_eq(__isl_take isl_basic_map *bmap,
 1603 __isl_give isl_basic_map *isl_basic_map_add_ineq(__isl_take isl_basic_map *bmap,
 1603 __isl_give isl_basic_map *isl_basic_map_add_ineq(__isl_take isl_basic_map *bmap,
 1647 static isl_stat isl_basic_map_check_range(__isl_keep isl_basic_map *bmap,
 1668 __isl_give isl_basic_map *isl_basic_map_insert_div(
 1669 	__isl_take isl_basic_map *bmap, int pos, __isl_keep isl_vec *div)
 1758 static __isl_give isl_basic_map *add_constraints(
 1759 	__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2,
 1759 	__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2,
 1811 __isl_give isl_basic_map *isl_basic_map_extend_space(
 1812 	__isl_take isl_basic_map *base, __isl_take isl_space *dim,
 1912 	isl_basic_map *bmap = bset_to_bmap(base);
 1922 __isl_give isl_basic_map *isl_basic_map_cow(__isl_take isl_basic_map *bmap)
 1922 __isl_give isl_basic_map *isl_basic_map_cow(__isl_take isl_basic_map *bmap)
 1986 static __isl_give isl_basic_map *isl_basic_map_swap_vars(
 1987 	__isl_take isl_basic_map *bmap, unsigned pos, unsigned n1, unsigned n2)
 2031 __isl_give isl_basic_map *isl_basic_map_set_to_empty(
 2032 	__isl_take isl_basic_map *bmap)
 2066 __isl_give isl_basic_map *isl_basic_map_set_rational(
 2067 	__isl_take isl_basic_map *bmap)
 2134 static void swap_div(__isl_keep isl_basic_map *bmap, int a, int b)
 2238 __isl_give isl_basic_map *isl_basic_map_drop(__isl_take isl_basic_map *bmap,
 2238 __isl_give isl_basic_map *isl_basic_map_drop(__isl_take isl_basic_map *bmap,
 2345 __isl_give isl_basic_map *isl_basic_map_drop_div(
 2346 	__isl_take isl_basic_map *bmap, unsigned div)
 2442 __isl_give isl_basic_map *isl_basic_map_remove_divs(
 2443 	__isl_take isl_basic_map *bmap)
 2490 __isl_give isl_basic_map *isl_basic_map_remove_dims(
 2491 	__isl_take isl_basic_map *bmap, enum isl_dim_type type,
 2511 static isl_bool div_involves_vars(__isl_keep isl_basic_map *bmap, int div,
 2583 static __isl_give isl_basic_map *insert_bounds_on_div_from_ineq(
 2584 	__isl_take isl_basic_map *bmap, int div, int i,
 2683 static __isl_give isl_basic_map *insert_bounds_on_div(
 2684 	__isl_take isl_basic_map *bmap, int div)
 2730 __isl_give isl_basic_map *isl_basic_map_remove_divs_involving_dims(
 2731 	__isl_take isl_basic_map *bmap,
 2804 isl_bool isl_basic_map_involves_dims(__isl_keep isl_basic_map *bmap,
 2862 static __isl_give isl_basic_map *isl_basic_map_drop_constraints_involving(
 2863 	__isl_take isl_basic_map *bmap, unsigned first, unsigned n)
 2903 __isl_give isl_basic_map *isl_basic_map_drop_constraints_not_involving_dims(
 2904 	__isl_take isl_basic_map *bmap,
 2953 __isl_give isl_basic_map *isl_basic_map_drop_constraints_involving_dims(
 2954 	__isl_take isl_basic_map *bmap,
 2985 	__isl_give isl_basic_map *(*drop)(__isl_take isl_basic_map *bmap,
 2985 	__isl_give isl_basic_map *(*drop)(__isl_take isl_basic_map *bmap,
 3064 isl_bool isl_basic_map_div_is_known(__isl_keep isl_basic_map *bmap, int div)
 3089 __isl_give isl_basic_map *isl_basic_map_remove_unknown_divs(
 3090 	__isl_take isl_basic_map *bmap)
 3150 	isl_basic_map *bmap = bset_to_bmap(bset);
 3410 __isl_give isl_map *isl_map_from_basic_map(__isl_take isl_basic_map *bmap)
 3474 __isl_give isl_basic_map *isl_basic_map_intersect_domain(
 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)
 3519 __isl_give isl_basic_map *isl_basic_map_intersect_range(
 3520 	__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *bset)
 3552 isl_bool isl_basic_map_contains(__isl_keep isl_basic_map *bmap,
 3595 __isl_give isl_basic_map *isl_basic_map_intersect(
 3596 	__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2)
 3596 	__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2)
 3842 __isl_give isl_basic_map *isl_basic_map_reverse(__isl_take isl_basic_map *bmap)
 3842 __isl_give isl_basic_map *isl_basic_map_reverse(__isl_take isl_basic_map *bmap)
 3860 static __isl_give isl_basic_map *basic_map_space_reset(
 3861 	__isl_take isl_basic_map *bmap, enum isl_dim_type type)
 3876 __isl_give isl_basic_map *isl_basic_map_insert_dims(
 3877 	__isl_take isl_basic_map *bmap, enum isl_dim_type type,
 3935 __isl_give isl_basic_map *isl_basic_map_add_dims(__isl_take isl_basic_map *bmap,
 3935 __isl_give isl_basic_map *isl_basic_map_add_dims(__isl_take isl_basic_map *bmap,
 4024 __isl_give isl_basic_map *isl_basic_map_move_dims(
 4025 	__isl_take isl_basic_map *bmap,
 4122 	isl_basic_map *bmap = bset_to_bmap(bset);
 4188 static __isl_give isl_basic_map *move_last(__isl_take isl_basic_map *bmap,
 4188 static __isl_give isl_basic_map *move_last(__isl_take isl_basic_map *bmap,
 4238 static __isl_give isl_basic_map *insert_div_rows(__isl_take isl_basic_map *bmap,
 4238 static __isl_give isl_basic_map *insert_div_rows(__isl_take isl_basic_map *bmap,
 4281 static __isl_give isl_basic_map *drop_irrelevant_constraints(
 4282 	__isl_take isl_basic_map *bmap, enum isl_dim_type type,
 4319 __isl_give isl_basic_map *isl_basic_map_project_out(
 4320 		__isl_take isl_basic_map *bmap,
 4573 __isl_give isl_basic_map *isl_basic_map_sum(__isl_take isl_basic_map *bmap1,
 4573 __isl_give isl_basic_map *isl_basic_map_sum(__isl_take isl_basic_map *bmap1,
 4574 	__isl_take isl_basic_map *bmap2)
 4677 __isl_give isl_basic_map *isl_basic_map_neg(__isl_take isl_basic_map *bmap)
 4677 __isl_give isl_basic_map *isl_basic_map_neg(__isl_take isl_basic_map *bmap)
 4736 __isl_give isl_basic_map *isl_basic_map_floordiv(__isl_take isl_basic_map *bmap,
 4736 __isl_give isl_basic_map *isl_basic_map_floordiv(__isl_take isl_basic_map *bmap,
 4832 static __isl_give isl_basic_map *var_equal(__isl_take isl_basic_map *bmap,
 4832 static __isl_give isl_basic_map *var_equal(__isl_take isl_basic_map *bmap,
 4855 static __isl_give isl_basic_map *var_less(__isl_take isl_basic_map *bmap,
 4855 static __isl_give isl_basic_map *var_less(__isl_take isl_basic_map *bmap,
 4879 static __isl_give isl_basic_map *var_less_or_equal(
 4880 	__isl_take isl_basic_map *bmap, unsigned pos)
 4902 static __isl_give isl_basic_map *var_more(__isl_take isl_basic_map *bmap,
 4902 static __isl_give isl_basic_map *var_more(__isl_take isl_basic_map *bmap,
 4926 static __isl_give isl_basic_map *var_more_or_equal(
 4927 	__isl_take isl_basic_map *bmap, unsigned pos)
 4947 __isl_give isl_basic_map *isl_basic_map_equal(
 4962 __isl_give isl_basic_map *isl_basic_map_less_at(__isl_take isl_space *dim,
 4979 __isl_give isl_basic_map *isl_basic_map_less_or_equal_at(
 4983 	isl_basic_map *bmap;
 4994 __isl_give isl_basic_map *isl_basic_map_more_at(__isl_take isl_space *dim,
 5011 __isl_give isl_basic_map *isl_basic_map_more_or_equal_at(
 5015 	isl_basic_map *bmap;
 5216 static isl_stat add_upper_div_constraint(__isl_keep isl_basic_map *bmap,
 5235 static isl_stat add_lower_div_constraint(__isl_keep isl_basic_map *bmap,
 5261 int isl_basic_map_add_div_constraints_var(__isl_keep isl_basic_map *bmap,
 5295 __isl_give isl_basic_map *isl_basic_map_add_known_div_constraints(
 5296 	__isl_take isl_basic_map *bmap)
 5325 int isl_basic_map_add_div_constraint(__isl_keep isl_basic_map *bmap,
 5387 		isl_basic_map *bmap;
 5398 __isl_give isl_basic_map *isl_basic_map_overlying_set(
 5399 	__isl_take isl_basic_set *bset, __isl_take isl_basic_map *like)
 5507 __isl_give isl_basic_map *isl_basic_map_reset_space(
 5508 	__isl_take isl_basic_map *bmap, __isl_take isl_space *space)
 5720 isl_bool isl_basic_map_may_be_set(__isl_keep isl_basic_map *bmap)
 5731 isl_bool isl_basic_map_is_set(__isl_keep isl_basic_map *bmap)
 5753 __isl_give isl_basic_map *isl_basic_map_domain_map(
 5754 	__isl_take isl_basic_map *bmap)
 5758 	isl_basic_map *domain;
 5780 __isl_give isl_basic_map *isl_basic_map_range_map(
 5781 	__isl_take isl_basic_map *bmap)
 5785 	isl_basic_map *range;
 5930 __isl_give isl_basic_map *isl_basic_map_from_domain(
 5936 __isl_give isl_basic_map *isl_basic_map_from_range(
 5968 __isl_give isl_basic_map *isl_basic_map_from_domain_and_range(
 6013 __isl_give isl_basic_map *isl_basic_map_empty(__isl_take isl_space *space)
 6029 __isl_give isl_basic_map *isl_basic_map_universe(__isl_take isl_space *space)
 6045 __isl_give isl_basic_map *isl_basic_map_nat_universe(__isl_take isl_space *dim)
 6049 	isl_basic_map *bmap;
 6124 						__isl_take isl_basic_map *bmap)
 6186 static __isl_give isl_basic_map *isl_basic_map_fix_pos(
 6187 	__isl_take isl_basic_map *bmap, unsigned pos, isl_int value)
 6206 __isl_give isl_basic_map *isl_basic_map_fix_si(__isl_take isl_basic_map *bmap,
 6206 __isl_give isl_basic_map *isl_basic_map_fix_si(__isl_take isl_basic_map *bmap,
 6215 __isl_give isl_basic_map *isl_basic_map_fix(__isl_take isl_basic_map *bmap,
 6215 __isl_give isl_basic_map *isl_basic_map_fix(__isl_take isl_basic_map *bmap,
 6227 __isl_give isl_basic_map *isl_basic_map_fix_val(__isl_take isl_basic_map *bmap,
 6227 __isl_give isl_basic_map *isl_basic_map_fix_val(__isl_take isl_basic_map *bmap,
 6318 	__isl_give isl_basic_map *(*fn)(__isl_take isl_basic_map *bmap))
 6318 	__isl_give isl_basic_map *(*fn)(__isl_take isl_basic_map *bmap))
 6456 static __isl_give isl_basic_map *basic_map_bound_si(
 6457 	__isl_take isl_basic_map *bmap,
 6485 __isl_give isl_basic_map *isl_basic_map_lower_bound_si(
 6486 	__isl_take isl_basic_map *bmap,
 6494 __isl_give isl_basic_map *isl_basic_map_upper_bound_si(
 6495 	__isl_take isl_basic_map *bmap,
 6552 static __isl_give isl_basic_map *basic_map_bound(
 6553 	__isl_take isl_basic_map *bmap,
 6941 __isl_give isl_map *isl_basic_map_lexmax(__isl_take isl_basic_map *bmap)
 6974 static __isl_give isl_pw_aff *basic_map_dim_opt(__isl_keep isl_basic_map *bmap,
 7344 static __isl_give isl_basic_map *insert_divs_from_local_space(
 7345 	__isl_take isl_basic_map *bmap, __isl_keep isl_local_space *ls)
 7374 static __isl_give isl_basic_map *basic_replace_space_by_local_space(
 7375 	__isl_take isl_basic_map *bmap, __isl_take isl_local_space *ls)
 7503 __isl_give isl_basic_map *isl_basic_map_mark_div_unknown(
 7504 	__isl_take isl_basic_map *bmap, int div)
 7528 isl_bool isl_basic_map_div_is_marked_unknown(__isl_keep isl_basic_map *bmap,
 7542 int isl_basic_map_first_unknown_div(__isl_keep isl_basic_map *bmap)
 7569 isl_bool isl_basic_map_divs_known(__isl_keep isl_basic_map *bmap)
 7604 __isl_give isl_map *isl_basic_map_compute_divs(__isl_take isl_basic_map *bmap)
 7863 	__isl_give isl_basic_map *fn(__isl_take isl_basic_map *bmap,
 7863 	__isl_give isl_basic_map *fn(__isl_take isl_basic_map *bmap,
 8139 __isl_give isl_basic_map *isl_basic_map_deltas_map(
 8140 	__isl_take isl_basic_map *bmap)
 8144 	isl_basic_map *domain;
 8219 static __isl_give isl_basic_map *basic_map_identity(__isl_take isl_space *dims)
 8249 __isl_give isl_basic_map *isl_basic_map_identity(__isl_take isl_space *dim)
 8449 isl_bool isl_basic_map_is_subset(__isl_keep isl_basic_map *bmap1,
 8450 	__isl_keep isl_basic_map *bmap2)
 8476 isl_bool isl_basic_map_is_equal(__isl_keep isl_basic_map *bmap1,
 8477 	__isl_keep isl_basic_map *bmap2)
 8617 isl_bool isl_basic_map_plain_is_universe(__isl_keep isl_basic_map *bmap)
 8655 isl_bool isl_basic_map_is_universe(__isl_keep isl_basic_map *bmap)
 8658 	isl_basic_map *test;
 8705 isl_bool isl_basic_map_is_empty(__isl_keep isl_basic_map *bmap)
 8750 isl_bool isl_basic_map_plain_is_empty(__isl_keep isl_basic_map *bmap)
 8768 isl_bool isl_basic_map_plain_is_non_empty(__isl_keep isl_basic_map *bmap)
 8787 __isl_give isl_map *isl_basic_map_union(__isl_take isl_basic_map *bmap1,
 8788 	__isl_take isl_basic_map *bmap2)
 8816 __isl_give isl_basic_map *isl_basic_map_order_divs(
 8817 	__isl_take isl_basic_map *bmap)
 8887 __isl_give isl_basic_map *isl_basic_map_expand_divs(
 8888 	__isl_take isl_basic_map *bmap, __isl_take isl_mat *div, int *exp)
 8952 static int find_div(__isl_keep isl_basic_map *dst,
 8953 	__isl_keep isl_basic_map *src, unsigned div)
 8975 __isl_give isl_basic_map *isl_basic_map_align_divs(
 8976 	__isl_take isl_basic_map *dst, __isl_keep isl_basic_map *src)
 8976 	__isl_take isl_basic_map *dst, __isl_keep isl_basic_map *src)
 9080 		isl_basic_map *bmap;
 9096 	__isl_take isl_basic_map_list *list, __isl_keep isl_basic_map *bmap)
 9105 		isl_basic_map *bmap_i;
 9165 static __isl_give isl_basic_map *join_initial(__isl_keep isl_basic_set *bset1,
 9168 	isl_basic_map *bmap1;
 9169 	isl_basic_map *bmap2;
 9188 	isl_basic_map *bmap1;
 9275 	isl_basic_map *bmap;
 9337 	__isl_keep isl_basic_map *bmap, unsigned pos, isl_int *val)
 9401 isl_bool isl_basic_map_plain_is_fixed(__isl_keep isl_basic_map *bmap,
 9415 	__isl_keep isl_basic_map *bmap,
 9543 int isl_basic_map_constraint_cmp(__isl_keep isl_basic_map *bmap,
 9554 __isl_give isl_basic_map *isl_basic_map_sort_constraints(
 9555 	__isl_take isl_basic_map *bmap)
 9575 	isl_basic_map *bmap = bset_to_bmap(bset);
 9579 __isl_give isl_basic_map *isl_basic_map_normalize(
 9580 	__isl_take isl_basic_map *bmap)
 9592 int isl_basic_map_plain_cmp(__isl_keep isl_basic_map *bmap1,
 9593 	__isl_keep isl_basic_map *bmap2)
 9668 isl_bool isl_basic_map_plain_is_equal(__isl_keep isl_basic_map *bmap1,
 9669 	__isl_keep isl_basic_map *bmap2)
 9685 	isl_basic_map *bmap1 = *(isl_basic_map **) p1;
 9686 	isl_basic_map *bmap2 = *(isl_basic_map **) p2;
 9730 	isl_basic_map *bmap;
 9842 		isl_basic_map *bmap;
 9854 __isl_give isl_basic_map *isl_basic_map_list_intersect(
 9858 	isl_basic_map *bmap;
 9869 		isl_basic_map *bmap_i;
 9956 __isl_give isl_basic_map *isl_basic_map_product(
 9957 	__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2)
 9957 	__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2)
10001 __isl_give isl_basic_map *isl_basic_map_flat_product(
10002 	__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2)
10002 	__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2)
10004 	isl_basic_map *prod;
10017 __isl_give isl_basic_map *isl_basic_map_domain_product(
10018 	__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2)
10018 	__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2)
10021 	isl_basic_map *bmap;
10062 __isl_give isl_basic_map *isl_basic_map_range_product(
10063 	__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2)
10063 	__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2)
10067 	isl_basic_map *bmap;
10116 __isl_give isl_basic_map *isl_basic_map_flat_range_product(
10117 	__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2)
10117 	__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2)
10119 	isl_basic_map *prod;
10138 	__isl_give isl_basic_map *(*basic_map_product)(
10139 		__isl_take isl_basic_map *left,
10140 		__isl_take isl_basic_map *right),
10429 uint32_t isl_basic_map_get_hash(__isl_keep isl_basic_map *bmap)
10514 	isl_stat (*fn)(__isl_take isl_basic_map *bmap, void *user), void *user)
10661 static isl_bool basic_map_dim_is_bounded(__isl_keep isl_basic_map *bmap,
10693 isl_bool isl_basic_map_dim_is_bounded(__isl_keep isl_basic_map *bmap,
10699 isl_bool isl_basic_map_dim_has_lower_bound(__isl_keep isl_basic_map *bmap,
10705 isl_bool isl_basic_map_dim_has_upper_bound(__isl_keep isl_basic_map *bmap,
10742 	isl_bool (*fn)(__isl_keep isl_basic_map *bmap,
10782 	isl_bool (*fn)(__isl_keep isl_basic_map *bmap,
10900 static isl_bool div_may_involve_output(__isl_keep isl_basic_map *bmap, int div)
10936 static int first_div_may_involve_output(__isl_keep isl_basic_map *bmap,
10974 static int find_modulo_constraint_pair(__isl_keep isl_basic_map *bmap,
11052 int isl_basic_map_output_defining_equality(__isl_keep isl_basic_map *bmap,
11108 isl_bool isl_basic_map_plain_is_single_valued(__isl_keep isl_basic_map *bmap)
11139 isl_bool isl_basic_map_is_single_valued(__isl_keep isl_basic_map *bmap)
11142 	isl_basic_map *test;
11143 	isl_basic_map *id;
11449 __isl_give isl_basic_map *isl_basic_set_unwrap(__isl_take isl_basic_set *bset)
11476 __isl_give isl_basic_map *isl_basic_map_reset(__isl_take isl_basic_map *bmap,
11476 __isl_give isl_basic_map *isl_basic_map_reset(__isl_take isl_basic_map *bmap,
11531 __isl_give isl_basic_map *isl_basic_map_flatten(__isl_take isl_basic_map *bmap)
11531 __isl_give isl_basic_map *isl_basic_map_flatten(__isl_take isl_basic_map *bmap)
11560 __isl_give isl_basic_map *isl_basic_map_flatten_domain(
11561 	__isl_take isl_basic_map *bmap)
11585 __isl_give isl_basic_map *isl_basic_map_flatten_range(
11586 	__isl_take isl_basic_map *bmap)
11671 __isl_give isl_basic_map *isl_basic_map_realign(__isl_take isl_basic_map *bmap,
11671 __isl_give isl_basic_map *isl_basic_map_realign(__isl_take isl_basic_map *bmap,
11674 	isl_basic_map *res;
11788 __isl_give isl_basic_map *isl_basic_map_align_params(
11789 	__isl_take isl_basic_map *bmap, __isl_take isl_space *model)
11900 __isl_give isl_basic_map *isl_basic_map_drop_unused_params(
11901 	__isl_take isl_basic_map *bmap)
11932 		__isl_keep isl_basic_map *bmap, enum isl_dim_type c1,
11961 		__isl_keep isl_basic_map *bmap, enum isl_dim_type c1,
11989 __isl_give isl_basic_map *isl_basic_map_from_constraint_matrices(
11996 	isl_basic_map *bmap;
12089 	isl_basic_map *bmap;
12095 isl_bool isl_basic_map_can_zip(__isl_keep isl_basic_map *bmap)
12114 __isl_give isl_basic_map *isl_basic_map_zip(__isl_take isl_basic_map *bmap)
12114 __isl_give isl_basic_map *isl_basic_map_zip(__isl_take isl_basic_map *bmap)
12181 isl_bool isl_basic_map_can_curry(__isl_keep isl_basic_map *bmap)
12203 __isl_give isl_basic_map *isl_basic_map_curry(__isl_take isl_basic_map *bmap)
12203 __isl_give isl_basic_map *isl_basic_map_curry(__isl_take isl_basic_map *bmap)
12259 isl_bool isl_basic_map_can_uncurry(__isl_keep isl_basic_map *bmap)
12281 __isl_give isl_basic_map *isl_basic_map_uncurry(__isl_take isl_basic_map *bmap)
12281 __isl_give isl_basic_map *isl_basic_map_uncurry(__isl_take isl_basic_map *bmap)
12318 static __isl_give isl_basic_map *equator(__isl_take isl_space *space,
12321 	isl_basic_map *bmap = NULL;
12357 __isl_give isl_basic_map *isl_basic_map_equate(__isl_take isl_basic_map *bmap,
12357 __isl_give isl_basic_map *isl_basic_map_equate(__isl_take isl_basic_map *bmap,
12360 	isl_basic_map *eq;
12374 	isl_basic_map *bmap;
12388 	isl_basic_map *bmap = NULL;
12454 __isl_give isl_basic_map *isl_basic_map_order_ge(__isl_take isl_basic_map *bmap,
12454 __isl_give isl_basic_map *isl_basic_map_order_ge(__isl_take isl_basic_map *bmap,
12499 static __isl_give isl_basic_map *greator(__isl_take isl_space *space,
12502 	isl_basic_map *bmap = NULL;
12540 __isl_give isl_basic_map *isl_basic_map_order_gt(__isl_take isl_basic_map *bmap,
12540 __isl_give isl_basic_map *isl_basic_map_order_gt(__isl_take isl_basic_map *bmap,
12543 	isl_basic_map *gt;
12558 	isl_basic_map *bmap;
12576 __isl_give isl_aff *isl_basic_map_get_div(__isl_keep isl_basic_map *bmap,
12727 	__isl_keep isl_basic_map *bmap, enum isl_dim_type type,
12760 static int set_ma_divs(__isl_keep isl_basic_map *bmap,
12841 static __isl_give isl_basic_map *add_ma_strides(
12842 	__isl_take isl_basic_map *bmap, __isl_keep isl_multi_aff *ma,
12953 __isl_give isl_basic_map *isl_basic_map_preimage_multi_aff(
12954 	__isl_take isl_basic_map *bmap, enum isl_dim_type type,
12959 	isl_basic_map *res = NULL;
13066 __isl_give isl_basic_map *isl_basic_map_preimage_domain_multi_aff(
13067 	__isl_take isl_basic_map *bmap, __isl_take isl_multi_aff *ma)
13078 __isl_give isl_basic_map *isl_basic_map_preimage_range_multi_aff(
13079 	__isl_take isl_basic_map *bmap, __isl_take isl_multi_aff *ma)
13438 isl_bool isl_basic_map_equal_div_expr_part(__isl_keep isl_basic_map *bmap1,
13439 	int pos1, __isl_keep isl_basic_map *bmap2, int pos2,
13455 	__isl_keep isl_basic_map *bmap1, int pos1,
13456 	__isl_keep isl_basic_map *bmap2, int pos2)
13484 __isl_give isl_basic_map *isl_basic_map_set_div_expr_constant_num_si_inplace(
13485 	__isl_take isl_basic_map *bmap, int div, int value)
13567 __isl_give isl_basic_map *isl_basic_map_transform_dims(
13568 	__isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned first,

   87 	__isl_take isl_basic_map *bmap, __isl_take isl_set *dom,
  146 	__isl_take isl_basic_map *bmap, unsigned flags)

  103 	isl_basic_map *cached_simple_hull[2];
  134 __isl_give isl_basic_map *isl_basic_map_alloc(isl_ctx *ctx,
  137 __isl_give isl_basic_map *isl_basic_map_mark_final(
  138 	__isl_take isl_basic_map *bmap);
  139 __isl_give isl_basic_map *isl_basic_map_finalize(
  140 	__isl_take isl_basic_map *bmap);
  141 __isl_give isl_basic_map *isl_basic_map_extend(__isl_take isl_basic_map *base,
  141 __isl_give isl_basic_map *isl_basic_map_extend(__isl_take isl_basic_map *base,
  144 __isl_give isl_basic_map *isl_basic_map_extend_constraints(
  145 	__isl_take isl_basic_map *base, unsigned n_eq, unsigned n_ineq);
  146 __isl_give isl_basic_map *isl_basic_map_simplify(
  147 	__isl_take isl_basic_map *bmap);
  153 	__isl_take isl_basic_map *bmap);
  164 __isl_give isl_basic_map *isl_basic_map_reset(__isl_take isl_basic_map *bmap,
  164 __isl_give isl_basic_map *isl_basic_map_reset(__isl_take isl_basic_map *bmap,
  170 	__isl_keep const isl_basic_map *bmap);
  176 __isl_give isl_basic_map *isl_basic_map_reset_space(
  177 	__isl_take isl_basic_map *bmap, __isl_take isl_space *dim);
  188 isl_bool isl_basic_map_may_be_set(__isl_keep isl_basic_map *bmap);
  192 isl_bool isl_basic_map_compatible_domain(__isl_keep isl_basic_map *bmap,
  194 isl_bool isl_basic_map_compatible_range(__isl_keep isl_basic_map *bmap,
  197 __isl_give isl_basic_map *isl_basic_map_extend_space(
  198 	__isl_take isl_basic_map *base, __isl_take isl_space *dim,
  212 isl_bool isl_basic_map_contains(__isl_keep isl_basic_map *bmap,
  219 __isl_give isl_basic_map *isl_basic_map_alloc_space(__isl_take isl_space *dim,
  230 int isl_basic_map_alloc_inequality(__isl_keep isl_basic_map *bmap);
  233 __isl_give isl_basic_map *isl_basic_map_insert_div(
  234 	__isl_take isl_basic_map *bmap, int pos, __isl_keep isl_vec *div);
  237 __isl_give isl_basic_map *isl_basic_map_drop_div(
  238 	__isl_take isl_basic_map *bmap, unsigned div);
  246 __isl_give isl_basic_map *isl_basic_map_add_eq(__isl_take isl_basic_map *bmap,
  246 __isl_give isl_basic_map *isl_basic_map_add_eq(__isl_take isl_basic_map *bmap,
  250 __isl_give isl_basic_map *isl_basic_map_add_ineq(__isl_take isl_basic_map *bmap,
  250 __isl_give isl_basic_map *isl_basic_map_add_ineq(__isl_take isl_basic_map *bmap,
  259 __isl_give isl_basic_map *isl_basic_map_cow(__isl_take isl_basic_map *bmap);
  259 __isl_give isl_basic_map *isl_basic_map_cow(__isl_take isl_basic_map *bmap);
  263 uint32_t isl_basic_map_get_hash(__isl_keep isl_basic_map *bmap);
  268 __isl_give isl_basic_map *isl_basic_map_set_to_empty(
  269 	__isl_take isl_basic_map *bmap);
  275 __isl_give isl_basic_map *isl_basic_map_order_divs(
  276 	__isl_take isl_basic_map *bmap);
  278 __isl_give isl_basic_map *isl_basic_map_align_divs(
  279 	__isl_take isl_basic_map *dst, __isl_keep isl_basic_map *src);
  279 	__isl_take isl_basic_map *dst, __isl_keep isl_basic_map *src);
  283 	__isl_take isl_basic_map_list *list, __isl_keep isl_basic_map *bmap);
  287 __isl_give isl_basic_map *isl_basic_map_sort_divs(
  288 	__isl_take isl_basic_map *bmap);
  290 __isl_give isl_basic_map *isl_basic_map_gauss(__isl_take isl_basic_map *bmap,
  290 __isl_give isl_basic_map *isl_basic_map_gauss(__isl_take isl_basic_map *bmap,
  294 int isl_basic_map_constraint_cmp(__isl_keep isl_basic_map *bmap,
  296 __isl_give isl_basic_map *isl_basic_map_sort_constraints(
  297 	__isl_take isl_basic_map *bmap);
  300 int isl_basic_map_plain_cmp(__isl_keep isl_basic_map *bmap1,
  301 	__isl_keep isl_basic_map *bmap2);
  302 isl_bool isl_basic_map_plain_is_equal(__isl_keep isl_basic_map *bmap1,
  303 	__isl_keep isl_basic_map *bmap2);
  304 __isl_give isl_basic_map *isl_basic_map_normalize_constraints(
  305 	__isl_take isl_basic_map *bmap);
  308 __isl_give isl_basic_map *isl_basic_map_implicit_equalities(
  309 	__isl_take isl_basic_map *bmap);
  317 __isl_give isl_basic_map *isl_basic_map_overlying_set(
  318 	__isl_take isl_basic_set *bset, __isl_take isl_basic_map *like);
  319 __isl_give isl_basic_map *isl_basic_map_drop_constraint_involving_unknown_divs(
  320 	__isl_take isl_basic_map *bmap);
  327 __isl_give isl_basic_map *isl_basic_map_drop(__isl_take isl_basic_map *bmap,
  327 __isl_give isl_basic_map *isl_basic_map_drop(__isl_take isl_basic_map *bmap,
  335 __isl_give isl_basic_map *isl_basic_map_drop_unrelated_constraints(
  336 	__isl_take isl_basic_map *bmap, __isl_take int *group);
  338 __isl_give isl_basic_map *isl_basic_map_remove_duplicate_constraints(
  339 	__isl_take isl_basic_map *bmap, int *progress, int detect_divs);
  340 __isl_give isl_basic_map *isl_basic_map_detect_inequality_pairs(
  341 	__isl_take isl_basic_map *bmap, int *progress);
  352 __isl_give isl_basic_map *isl_basic_map_eliminate_vars(
  353 	__isl_take isl_basic_map *bmap, unsigned pos, unsigned n);
  364 int isl_basic_map_add_div_constraint(__isl_keep isl_basic_map *bmap,
  367 __isl_give isl_basic_map *isl_basic_map_add_known_div_constraints(
  368 	__isl_take isl_basic_map *bmap);
  369 __isl_give isl_basic_map *isl_basic_map_drop_redundant_divs(
  370 	__isl_take isl_basic_map *bmap);
  384 __isl_give isl_basic_map *isl_basic_map_set_rational(
  385 	__isl_take isl_basic_map *bmap);
  394 __isl_give isl_basic_map *isl_basic_map_from_multi_aff2(
  407 __isl_give isl_basic_map *isl_basic_map_transform_dims(
  408 	__isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned first,
  417 isl_bool isl_basic_map_contains_point(__isl_keep isl_basic_map *bmap,
  430 int isl_basic_map_add_div_constraints_var(__isl_keep isl_basic_map *bmap,
  434 isl_bool isl_basic_map_is_div_constraint(__isl_keep isl_basic_map *bmap,
  441 __isl_give isl_basic_map *isl_basic_map_from_local_space(
  445 __isl_give isl_basic_map *isl_basic_map_expand_divs(
  449 int isl_basic_map_n_equality(__isl_keep isl_basic_map *bmap);
  451 int isl_basic_map_n_inequality(__isl_keep isl_basic_map *bmap);
  453 __isl_give isl_basic_map *isl_basic_map_mark_div_unknown(
  454 	__isl_take isl_basic_map *bmap, int div);
  455 isl_bool isl_basic_map_div_is_marked_unknown(__isl_keep isl_basic_map *bmap,
  457 isl_bool isl_basic_map_div_is_known(__isl_keep isl_basic_map *bmap, int div);
  459 int isl_basic_map_first_unknown_div(__isl_keep isl_basic_map *bmap);
  460 isl_bool isl_basic_map_divs_known(__isl_keep isl_basic_map *bmap);
  463 __isl_give isl_mat *isl_basic_map_get_divs(__isl_keep isl_basic_map *bmap);
  466 	__isl_give isl_basic_map *(*fn)(__isl_take isl_basic_map *bmap));
  466 	__isl_give isl_basic_map *(*fn)(__isl_take isl_basic_map *bmap));
  496 isl_bool isl_basic_map_plain_is_non_empty(__isl_keep isl_basic_map *bmap);
  497 isl_bool isl_basic_map_plain_is_single_valued(__isl_keep isl_basic_map *bmap);
  508 	__isl_take isl_basic_map *context);
  514 __isl_give isl_basic_map *isl_basic_map_plain_affine_hull(
  515 	__isl_take isl_basic_map *bmap);
  524 __isl_give isl_basic_map *isl_basic_map_fix(__isl_take isl_basic_map *bmap,
  524 __isl_give isl_basic_map *isl_basic_map_fix(__isl_take isl_basic_map *bmap,
  531 int isl_basic_map_output_defining_equality(__isl_keep isl_basic_map *bmap,
  534 __isl_give isl_basic_map *isl_basic_map_reduce_coefficients(
  535 	__isl_take isl_basic_map *bmap);
  537 __isl_give isl_basic_map *isl_basic_map_shift_div(
  538 	__isl_take isl_basic_map *bmap, int div, int pos, isl_int shift);
  547 isl_bool isl_basic_map_equal_div_expr_part(__isl_keep isl_basic_map *bmap1,
  548 	int pos1, __isl_keep isl_basic_map *bmap2, int pos2,
  551 	__isl_keep isl_basic_map *bmap1, int pos1,
  552 	__isl_keep isl_basic_map *bmap2, int pos2);
  553 __isl_give isl_basic_map *isl_basic_map_set_div_expr_constant_num_si_inplace(
  554 	__isl_take isl_basic_map *bmap, int div, int value);

   47 __isl_give isl_basic_map *isl_basic_map_normalize_constraints(
   48 	__isl_take isl_basic_map *bmap)
  104 	isl_basic_map *bmap = bset_to_bmap(bset);
  128 static __isl_give isl_basic_map *reduce_coefficient_in_div(
  129 	__isl_take isl_basic_map *bmap, int div, int pos)
  154 static isl_bool needs_reduction(__isl_keep isl_basic_map *bmap, int div,
  176 static __isl_give isl_basic_map *reduce_div_coefficients_of_div(
  177 	__isl_take isl_basic_map *bmap, int div)
  203 static __isl_give isl_basic_map *reduce_div_coefficients(
  204 	__isl_take isl_basic_map *bmap)
  237 static void normalize_div_expression(__isl_keep isl_basic_map *bmap, int div)
  269 static __isl_give isl_basic_map *normalize_div_expressions(
  270 	__isl_take isl_basic_map *bmap)
  345 static __isl_give isl_basic_map *eliminate_div(__isl_take isl_basic_map *bmap,
  345 static __isl_give isl_basic_map *eliminate_div(__isl_take isl_basic_map *bmap,
  360 static isl_bool ok_to_eliminate_div(__isl_keep isl_basic_map *bmap, isl_int *eq,
  384 static __isl_give isl_basic_map *eliminate_divs_eq(
  385 	__isl_take isl_basic_map *bmap, int *progress)
  426 static __isl_give isl_basic_map *eliminate_divs_ineq(
  427 	__isl_take isl_basic_map *bmap, int *progress)
  466 static isl_bool bmap_eq_involves_unknown_divs(__isl_keep isl_basic_map *bmap,
  514 static __isl_give isl_basic_map *set_div_from_eq(__isl_take isl_basic_map *bmap,
  514 static __isl_give isl_basic_map *set_div_from_eq(__isl_take isl_basic_map *bmap,
  544 __isl_give isl_basic_map *isl_basic_map_gauss(__isl_take isl_basic_map *bmap,
  544 __isl_give isl_basic_map *isl_basic_map_gauss(__isl_take isl_basic_map *bmap,
  634 	__isl_keep isl_basic_map *bmap)
  686 	__isl_keep isl_basic_map *bmap, int k)
  744 static __isl_give isl_basic_map *remove_duplicate_divs(
  745 	__isl_take isl_basic_map *bmap, int *progress)
  888 static __isl_give isl_basic_map *normalize_divs(__isl_take isl_basic_map *bmap,
  888 static __isl_give isl_basic_map *normalize_divs(__isl_take isl_basic_map *bmap,
 1038 static __isl_give isl_basic_map *set_div_from_lower_bound(
 1039 	__isl_take isl_basic_map *bmap, int div, int ineq)
 1058 static isl_bool ok_to_set_div_from_bound(__isl_keep isl_basic_map *bmap,
 1095 static isl_bool better_div_constraint(__isl_keep isl_basic_map *bmap,
 1128 static __isl_give isl_basic_map *check_for_div_constraints(
 1129 	__isl_take isl_basic_map *bmap, int k, int l, isl_int sum,
 1160 __isl_give isl_basic_map *isl_basic_map_remove_duplicate_constraints(
 1161 	__isl_take isl_basic_map *bmap, int *progress, int detect_divs)
 1230 __isl_give isl_basic_map *isl_basic_map_detect_inequality_pairs(
 1231 	__isl_take isl_basic_map *bmap, int *progress)
 1284 static __isl_give isl_basic_map *eliminate_unit_divs(
 1285 	__isl_take isl_basic_map *bmap, int *progress)
 1339 __isl_give isl_basic_map *isl_basic_map_simplify(__isl_take isl_basic_map *bmap)
 1339 __isl_give isl_basic_map *isl_basic_map_simplify(__isl_take isl_basic_map *bmap)
 1377 isl_bool isl_basic_map_is_div_constraint(__isl_keep isl_basic_map *bmap,
 1428 static isl_bool div_is_redundant(__isl_keep isl_basic_map *bmap, int div)
 1463 static __isl_give isl_basic_map *remove_redundant_divs(
 1464 	__isl_take isl_basic_map *bmap)
 1488 __isl_give isl_basic_map *isl_basic_map_mark_final(
 1489 	__isl_take isl_basic_map *bmap)
 1499 __isl_give isl_basic_map *isl_basic_map_finalize(__isl_take isl_basic_map *bmap)
 1499 __isl_give isl_basic_map *isl_basic_map_finalize(__isl_take isl_basic_map *bmap)
 1515 static __isl_give isl_basic_map *remove_dependent_vars(
 1516 	__isl_take isl_basic_map *bmap, int pos)
 1538 __isl_give isl_basic_map *isl_basic_map_eliminate_vars(
 1539 	__isl_take isl_basic_map *bmap, unsigned pos, unsigned n)
 1644 __isl_give isl_basic_map *isl_basic_map_eliminate(
 1645 	__isl_take isl_basic_map *bmap,
 1693 __isl_give isl_basic_map *isl_basic_map_drop_constraint_involving_unknown_divs(
 1694 	__isl_take isl_basic_map *bmap)
 1765 static void compute_elimination_index(__isl_keep isl_basic_map *bmap, int *elim)
 1790 	__isl_keep isl_basic_map *bmap, int *elim)
 1944 static __isl_give isl_basic_map *isl_basic_map_remove_shifted_constraints(
 1945 	__isl_take isl_basic_map *bmap, __isl_take isl_basic_map *context)
 1945 	__isl_take isl_basic_map *bmap, __isl_take isl_basic_map *context)
 1994 static __isl_give isl_basic_map *drop_unrelated_constraints(
 1995 	__isl_take isl_basic_map *bmap, int *relevant)
 2089 __isl_give isl_basic_map *isl_basic_map_drop_unrelated_constraints(
 2090 	__isl_take isl_basic_map *bmap, __isl_take int *group)
 2654 static int n_div_eq(__isl_keep isl_basic_map *bmap)
 2680 static __isl_give isl_basic_map *basic_map_from_equalities(
 2684 	isl_basic_map *bmap = NULL;
 2733 	__isl_keep isl_basic_map *bmap1, int n1,
 2734 	__isl_keep isl_basic_map *bmap2, int n2, int total)
 2738 	isl_basic_map *bmap;
 2800 	__isl_keep isl_basic_map *bmap, int bmap_n_eq,
 2801 	__isl_keep isl_basic_map *context, int context_n_eq)
 2925 static __isl_give isl_basic_map *reduce_stride_constraints(
 2926 	__isl_take isl_basic_map *bmap, int n, __isl_keep isl_mat *A)
 2987 static __isl_give isl_basic_map *gist_strides(__isl_take isl_basic_map *bmap,
 2987 static __isl_give isl_basic_map *gist_strides(__isl_take isl_basic_map *bmap,
 2988 	__isl_keep isl_basic_map *context)
 3033 __isl_give isl_basic_map *isl_basic_map_gist(__isl_take isl_basic_map *bmap,
 3033 __isl_give isl_basic_map *isl_basic_map_gist(__isl_take isl_basic_map *bmap,
 3034 	__isl_take isl_basic_map *context)
 3037 	isl_basic_map *eq_bmap;
 3107 	__isl_take isl_basic_map *context)
 3163 static __isl_give isl_basic_map *drop_inequalities(
 3164 	__isl_take isl_basic_map *bmap, __isl_keep isl_basic_map *context)
 3164 	__isl_take isl_basic_map *bmap, __isl_keep isl_basic_map *context)
 3218 static __isl_give isl_basic_map *drop_equalities(
 3219 	__isl_take isl_basic_map *bmap, __isl_keep isl_basic_map *context)
 3219 	__isl_take isl_basic_map *bmap, __isl_keep isl_basic_map *context)
 3269 __isl_give isl_basic_map *isl_basic_map_plain_gist(
 3270 	__isl_take isl_basic_map *bmap, __isl_take isl_basic_map *context)
 3270 	__isl_take isl_basic_map *bmap, __isl_take isl_basic_map *context)
 3314 	int pos, __isl_take isl_basic_map *context)
 3316 	isl_basic_map *bmap;
 3331 	__isl_take isl_basic_map *context)
 3396 	isl_basic_map *hull;
 3447 	isl_basic_map *hull;
 3536 __isl_give isl_basic_map *isl_basic_map_gist_domain(
 3537 	__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *context)
 3540 	isl_basic_map *bmap_context = isl_basic_map_universe(space);
 3581 isl_bool isl_basic_map_plain_is_disjoint(__isl_keep isl_basic_map *bmap1,
 3582 	__isl_keep isl_basic_map *bmap2)
 3656 	isl_bool (*test)(__isl_keep isl_basic_map *bmap1,
 3657 		__isl_keep isl_basic_map *bmap2))
 3807 isl_bool isl_basic_map_is_disjoint(__isl_keep isl_basic_map *bmap1,
 3808 	__isl_keep isl_basic_map *bmap2)
 3812 	isl_basic_map *test;
 4014 static isl_bool test_ineq_is_satisfied(__isl_keep isl_basic_map *bmap,
 4081 static isl_bool int_between_bounds(__isl_keep isl_basic_map *bmap, int i,
 4131 static __isl_give isl_basic_map *drop_more_redundant_divs(
 4132 	__isl_take isl_basic_map *bmap, __isl_take int *pairs, int n)
 4266 static __isl_give isl_basic_map *coalesce_divs(__isl_take isl_basic_map *bmap,
 4266 static __isl_give isl_basic_map *coalesce_divs(__isl_take isl_basic_map *bmap,
 4322 static __isl_give isl_basic_map *coalesce_or_drop_more_redundant_divs(
 4323 	__isl_take isl_basic_map *bmap, int *pairs, int n)
 4362 static int is_parallel_part(__isl_keep isl_basic_map *bmap, int i, int j,
 4371 static int is_opposite_part(__isl_keep isl_basic_map *bmap, int i, int j,
 4380 static isl_bool is_opposite(__isl_keep isl_basic_map *bmap, int i, int j)
 4391 static int is_parallel_except(__isl_keep isl_basic_map *bmap, int i, int j,
 4404 static int is_opposite_except(__isl_keep isl_basic_map *bmap, int i, int j,
 4419 static __isl_give isl_basic_map *drop_redundant_divs_again(
 4420 	__isl_take isl_basic_map *bmap, __isl_take int *pairs, int simplify)
 4432 static isl_bool single_unknown(__isl_keep isl_basic_map *bmap, int ineq,
 4464 static isl_bool has_coef_one(__isl_keep isl_basic_map *bmap, int div, int ineq)
 4480 static __isl_give isl_basic_map *set_eq_and_try_again(
 4481 	__isl_take isl_basic_map *bmap, int ineq, __isl_take int *pairs)
 4494 static __isl_give isl_basic_map *drop_div_and_try_again(
 4495 	__isl_take isl_basic_map *bmap, int div, int ineq1, int ineq2,
 4525 static void lower_bound_from_parallel(__isl_keep isl_basic_map *bmap,
 4549 static void lower_bound_from_opposite(__isl_keep isl_basic_map *bmap,
 4583 static int lower_bound_is_cst(__isl_keep isl_basic_map *bmap, int div, int ineq)
 4644 static __isl_give isl_basic_map *fix_cst_lower(__isl_take isl_basic_map *bmap,
 4644 static __isl_give isl_basic_map *fix_cst_lower(__isl_take isl_basic_map *bmap,
 4704 static __isl_give isl_basic_map *isl_basic_map_drop_redundant_divs_ineq(
 4705 	__isl_take isl_basic_map *bmap)
 4859 static __isl_give isl_basic_map *isl_basic_map_preimage_vars(
 4860 	__isl_take isl_basic_map *bmap, unsigned pos, __isl_take isl_mat *T)
 4941 __isl_give isl_basic_map *isl_basic_map_drop_redundant_divs(
 4942 	__isl_take isl_basic_map *bmap)
 5002 static int has_multiple_var_equality(__isl_keep isl_basic_map *bmap)
 5091 __isl_give isl_basic_map *isl_basic_map_reduce_coefficients(
 5092 	__isl_take isl_basic_map *bmap)
 5181 __isl_give isl_basic_map *isl_basic_map_shift_div(
 5182 	__isl_take isl_basic_map *bmap, int div, int pos, isl_int shift)

   50 	__isl_keep isl_basic_map *bmap, int *div_map)
  110 	__isl_keep isl_basic_map *bmap, int *div_map, int c, int oppose)
  163 	__isl_keep isl_basic_map *bmap, int **div_map)
  266 		    __isl_take isl_basic_map *bmap);
  298 static isl_stat basic_map_collect_diff(__isl_take isl_basic_map *bmap,
  476 			    __isl_take isl_basic_map *bmap)
  489 static __isl_give isl_map *basic_map_subtract(__isl_take isl_basic_map *bmap,
  661 			    __isl_take isl_basic_map *bmap)
  675 static isl_bool basic_map_diff_is_empty(__isl_keep isl_basic_map *bmap,
  719 isl_bool isl_basic_map_plain_is_singleton(__isl_keep isl_basic_map *bmap)
  746 	__isl_keep isl_basic_map *bmap)

  114 	__isl_keep isl_basic_map *bmap, __isl_take isl_printer *p, int ext)
  469 static int next_is_opposite(__isl_keep isl_basic_map *bmap, int i, int last)
  735 static __isl_give isl_printer *print_constraints(__isl_keep isl_basic_map *bmap,
  946 static __isl_give isl_printer *print_disjunct(__isl_keep isl_basic_map *bmap,
  977 	__isl_keep isl_basic_map *bmap, __isl_keep isl_space *space,
  990 	__isl_keep isl_basic_map *bmap, __isl_take isl_printer *p)
 1057 	__isl_keep isl_basic_map *bmap, __isl_take isl_printer *p,
 1105 	__isl_keep isl_space *space, __isl_take isl_basic_map *hull,
 1149 		isl_basic_map *hull;
 1193 	isl_basic_map *aff;
 1212 static __isl_give isl_basic_map *get_aff(__isl_take isl_basic_map *bmap)
 1212 static __isl_give isl_basic_map *get_aff(__isl_take isl_basic_map *bmap)
 1254 static __isl_give isl_basic_map *drop_aff(__isl_take isl_basic_map *bmap,
 1254 static __isl_give isl_basic_map *drop_aff(__isl_take isl_basic_map *bmap,
 1255 	__isl_keep isl_basic_map *aff)
 1297 		isl_basic_map *bmap;
 1332 static int defining_equality(__isl_keep isl_basic_map *eq,
 1366 	isl_basic_map *eq = data->user;
 1444 	__isl_take isl_printer *p, __isl_keep isl_basic_map *aff)
 1485 	__isl_keep isl_basic_map *bmap)

  444 isl_bool isl_basic_map_contains_point(__isl_keep isl_basic_map *bmap,

 4913 __isl_give isl_basic_map *isl_basic_map_from_qpolynomial(
 4919 	isl_basic_map *bmap = NULL;

 1215 __isl_give isl_basic_map *isl_basic_map_sample(__isl_take isl_basic_map *bmap)
 1215 __isl_give isl_basic_map *isl_basic_map_sample(__isl_take isl_basic_map *bmap)
 1242 __isl_give isl_basic_map *isl_map_sample(__isl_take isl_map *map)
 1245 	isl_basic_map *sample = NULL;

 7095 		isl_basic_map *hull;

 2391 	__isl_keep isl_basic_map *bmap, int track)
 3095 __isl_give isl_basic_map *isl_tab_make_equalities_explicit(struct isl_tab *tab,
 3096 	__isl_take isl_basic_map *bmap)
 4025 isl_stat isl_tab_track_bmap(struct isl_tab *tab, __isl_take isl_basic_map *bmap)

  190 	__isl_keep isl_basic_map *bmap, int track);
  201 __isl_give isl_basic_map *isl_tab_make_equalities_explicit(struct isl_tab *tab,
  202 	__isl_take isl_basic_map *bmap);
  216 isl_stat isl_tab_track_bmap(struct isl_tab *tab, __isl_take isl_basic_map *bmap)
  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,

   50 	__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,

  800 	isl_basic_map *bmap;
 2279 static __isl_give struct isl_tab *tab_for_lexmin(__isl_keep isl_basic_map *bmap,
 3641 static isl_stat sol_init(struct isl_sol *sol, __isl_keep isl_basic_map *bmap,
 3665 static struct isl_sol *sol_map_init(__isl_keep isl_basic_map *bmap,
 4316 static __isl_give isl_basic_map *align_context_divs(
 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,
 4365 	struct isl_sol *(*init)(__isl_keep isl_basic_map *bmap,
 4410 	__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
 4433 static __isl_give int *count_occurrences(__isl_keep isl_basic_map *bmap,
 4479 static int all_single_occurrence(__isl_keep isl_basic_map *bmap, int ineq,
 4530 static isl_bool parallel_constraints(__isl_keep isl_basic_map *bmap,
 4686 static isl_bool need_split_basic_map(__isl_keep isl_basic_map *bmap,
 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,
 5689 static struct isl_sol *sol_pma_init(__isl_keep isl_basic_map *bmap,
 5733 	__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
 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,

 1329 	isl_basic_map *hull, *expected;
 1582 		isl_basic_map *context;
 2649 	isl_basic_map *bmap;
 3560 		isl_basic_map *bmap;
 3639 	isl_basic_map *bmap;
 7805 	isl_basic_map *bmap1, *bmap2;
 8729 	isl_basic_map *bmap;

  424 static int empty_path_is_identity(__isl_keep isl_basic_map *path, unsigned pos)
  426 	isl_basic_map *test = NULL;
  427 	isl_basic_map *id = NULL;
  455 static __isl_give isl_basic_map *add_delta_constraints(
  456 	__isl_take isl_basic_map *path,
  569 	isl_basic_map *path = NULL;
  941 	__isl_take isl_set *dom, __isl_keep isl_basic_map *bmap, int *exact)
 1477 	isl_basic_map *bstep;
 1655 static int *setup_groups(isl_ctx *ctx, __isl_keep isl_basic_map **list, int n,
 1749 	isl_basic_map **list;
 2160 	isl_basic_map *bmap = NULL;
 2582 	isl_basic_map ***next = user;
 2607 	__isl_keep isl_basic_map **list, int n, int *exact)
 2691 	isl_basic_map **list = NULL;
 2692 	isl_basic_map **next;
 2739 	isl_basic_map **list = NULL;
 2740 	isl_basic_map **next;
 2878 	isl_basic_map *bmap;
 2900 	isl_basic_map *bmap;

  455 	__isl_take isl_basic_map *bmap)
 2465 	isl_basic_map **sample = (isl_basic_map **)user;
 2476 __isl_give isl_basic_map *isl_union_map_sample(__isl_take isl_union_map *umap)
 2478 	isl_basic_map *sample = NULL;

  260 static __isl_give isl_basic_map *check_stride(struct gpu_array_bound *bound,
  261 	__isl_take isl_basic_map *bounds)
  264 	isl_basic_map *hull;
  265 	isl_basic_map *shift, *id, *bmap, *scale;
  383 	__isl_take isl_basic_map *bounds)
  421 		isl_basic_map *hull;