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

References

  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);
  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,

  775 inline basic_set manage(__isl_take isl_basic_set *ptr);
  776 inline basic_set manage_copy(__isl_keep isl_basic_set *ptr);
  779   friend inline basic_set manage(__isl_take isl_basic_set *ptr);
  780   friend inline basic_set manage_copy(__isl_keep isl_basic_set *ptr);
  782   isl_basic_set *ptr = nullptr;
  784   inline explicit basic_set(__isl_take isl_basic_set *ptr);
  794   inline __isl_give isl_basic_set *copy() const &;
  795   inline __isl_give isl_basic_set *copy() && = delete;
  796   inline __isl_keep isl_basic_set *get() const;
  797   inline __isl_give isl_basic_set *release();
 6216 basic_set manage(__isl_take isl_basic_set *ptr) {
 6219 basic_set manage_copy(__isl_keep isl_basic_set *ptr) {
 6236 basic_set::basic_set(__isl_take isl_basic_set *ptr)
 6260 __isl_give isl_basic_set *basic_set::copy() const & {
 6264 __isl_keep isl_basic_set *basic_set::get() const {
 6268 __isl_give isl_basic_set *basic_set::release() {
 6269   isl_basic_set *tmp = ptr;

  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);
  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);

  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);

  763 	__isl_take isl_ast_build *build, __isl_take isl_basic_set *bounds)
  837 	__isl_take isl_ast_build *build, __isl_take isl_basic_set *bounds)
  879 	__isl_take isl_ast_build *build, __isl_take isl_basic_set *bounds)
  881 	isl_basic_set *generated, *pending;
 2017 __isl_give isl_basic_set *isl_ast_build_compute_gist_basic_set(
 2018 	__isl_keep isl_ast_build *build, __isl_take isl_basic_set *bset)
 2076 __isl_give isl_basic_set *isl_ast_build_specialize_basic_set(
 2077 	__isl_keep isl_ast_build *build, __isl_take isl_basic_set *bset)

  825 	isl_basic_set *hull;
 1445 	 __isl_keep isl_ast_build *build, __isl_take isl_basic_set *bset)
 1514 	isl_basic_set *bset;
 2019 	__isl_give isl_basic_set *(*test)(__isl_take isl_aff *aff1,

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

  223 	__isl_take isl_ast_build *build, __isl_take isl_basic_set *bounds);
  225 	__isl_take isl_ast_build *build, __isl_take isl_basic_set *bounds);
  274 __isl_give isl_basic_set *isl_ast_build_specialize_basic_set(
  275 	__isl_keep isl_ast_build *build, __isl_take isl_basic_set *bset);
  276 __isl_give isl_basic_set *isl_ast_build_compute_gist_basic_set(
  277 	__isl_keep isl_ast_build *build, __isl_take isl_basic_set *bset);

  736 	int degenerate, __isl_keep isl_basic_set *bounds,
  807 	isl_basic_set *bset;
  817 		isl_basic_set *bset_i;
  860 	isl_basic_set *enforced;
  877 		isl_basic_set *hull;
  910 	isl_basic_set *enforced;
 1326 	__isl_keep isl_basic_set *bounds, __isl_keep isl_set *domain,
 1368 static __isl_give isl_basic_set *extract_shared_enforced(
 1390 	__isl_keep isl_basic_set *enforced)
 1475 	__isl_take isl_basic_set *bounds, __isl_take isl_set *domain,
 1481 	isl_basic_set *hull;
 1482 	isl_basic_set *enforced;
 1687 	__isl_take isl_basic_set *bounds, __isl_take isl_set *domain,
 1759 static isl_stat collect_basic_set(__isl_take isl_basic_set *bset, void *user)
 1807 	__isl_take isl_basic_set *bounds, __isl_take isl_ast_build *build)
 1854 static isl_bool domain_follows_at_depth(__isl_keep isl_basic_set *i,
 1855 	__isl_keep isl_basic_set *j, void *user)
 1880 	__isl_take isl_basic_set_list *list, __isl_take isl_basic_set *bset,
 1894 		isl_basic_set *bset;
 1980 	isl_basic_set *bset, *first;
 2080 static isl_bool shared_outer(__isl_keep isl_basic_set *i,
 2081 	__isl_keep isl_basic_set *j, void *user)
 2550 	isl_basic_set *hull;
 2605 	int (*fn)(__isl_take isl_basic_set *bset, void *user), void *user)
 2645 		isl_basic_set *bset;
 2716 static int do_unroll_iteration(__isl_take isl_basic_set *bset, void *user)
 2803 		isl_basic_set *bset;
 2846 	isl_basic_set *bset;
 3215 static int do_unroll_tree_iteration(__isl_take isl_basic_set *bset, void *user)
 3258 	isl_basic_set *hull;
 3346 		isl_basic_set *hull;
 3572 	isl_basic_set *hull;
 5166 	isl_basic_set *enforced;
 5435 	isl_basic_set *enforced;

  201 	isl_basic_set *hull;
  232 		isl_basic_set *enforced;
  263 static isl_stat insert_if(__isl_take isl_basic_set *bset, void *user);
  309 static isl_stat insert_if(__isl_take isl_basic_set *bset, void *user)
  371 	__isl_take isl_ast_graft *graft, __isl_take isl_basic_set *enforced)
  388 static __isl_give isl_basic_set *update_enforced(
  389 	__isl_take isl_basic_set *enforced, __isl_keep isl_ast_graft *graft,
  392 	isl_basic_set *enforced_g;
  451 	isl_basic_set *enforced;
  726 __isl_give isl_basic_set *isl_ast_graft_list_extract_shared_enforced(
  733 	isl_basic_set *enforced;
  845 	__isl_take isl_basic_set *enforced, __isl_keep isl_ast_build *build,
  890 	isl_basic_set *enforced;
 1016 	__isl_take isl_ast_graft *graft, __isl_take isl_basic_set *enforced)
 1035 __isl_give isl_basic_set *isl_ast_graft_get_enforced(
 1072 	isl_basic_set *enforced;
 1121 	isl_basic_set *enforced;

   33 	isl_basic_set *enforced;
   49 	__isl_take isl_basic_set *enforced, __isl_keep isl_ast_build *build,
   67 __isl_give isl_basic_set *isl_ast_graft_get_enforced(
   77 	__isl_take isl_ast_graft *graft, __isl_take isl_basic_set *enforced);
   92 __isl_give isl_basic_set *isl_ast_graft_list_extract_shared_enforced(

   12 	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);

  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);

   21 static isl_stat propagate_on_domain(__isl_take isl_basic_set *bset,
   29 static int has_sign(__isl_keep isl_basic_set *bset,
   94 static int monotonicity(__isl_keep isl_basic_set *bset,
  259 static isl_stat add_guarded_poly(__isl_take isl_basic_set *bset,
  344 	__isl_take isl_constraint *upper, __isl_take isl_basic_set *bset,
  407 static isl_stat propagate_on_domain(__isl_take isl_basic_set *bset,
  454 static isl_stat basic_guarded_poly_bound(__isl_take isl_basic_set *bset,
  488 	__isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly,
  521 isl_stat isl_qpolynomial_bound_on_domain_range(__isl_take isl_basic_set *bset,

    3 isl_stat isl_qpolynomial_bound_on_domain_range(__isl_take isl_basic_set *bset,

  266 	isl_basic_set *bset;
  314 	isl_basic_set *bset;

  607 	isl_basic_set *bset;
 1262 	isl_basic_set *hull;