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

References

  135 	__isl_take isl_set *context);
  137 	__isl_take isl_set *context);
  154 __isl_give isl_set *isl_aff_eq_set(__isl_take isl_aff *aff1,
  157 __isl_give isl_set *isl_aff_ne_set(__isl_take isl_aff *aff1,
  162 __isl_give isl_set *isl_aff_le_set(__isl_take isl_aff *aff1,
  167 __isl_give isl_set *isl_aff_lt_set(__isl_take isl_aff *aff1,
  172 __isl_give isl_set *isl_aff_ge_set(__isl_take isl_aff *aff1,
  177 __isl_give isl_set *isl_aff_gt_set(__isl_take isl_aff *aff1,
  195 __isl_give isl_pw_aff *isl_pw_aff_alloc(__isl_take isl_set *set,
  202 __isl_give isl_pw_aff *isl_pw_aff_val_on_domain(__isl_take isl_set *domain,
  205 __isl_give isl_pw_aff *isl_set_indicator_function(__isl_take isl_set *set);
  263 __isl_give isl_set *isl_pw_aff_params(__isl_take isl_pw_aff *pwa);
  264 __isl_give isl_set *isl_pw_aff_domain(__isl_take isl_pw_aff *pwaff);
  302 	__isl_take isl_set *set);
  304 	__isl_take isl_set *set);
  306 	__isl_take isl_set *set);
  331 	__isl_take isl_set *context);
  333 	__isl_take isl_set *context);
  350 	isl_stat (*fn)(__isl_take isl_set *set, __isl_take isl_aff *aff,
  353 __isl_give isl_set *isl_set_from_pw_aff(__isl_take isl_pw_aff *pwaff);
  356 __isl_give isl_set *isl_pw_aff_pos_set(__isl_take isl_pw_aff *pa);
  357 __isl_give isl_set *isl_pw_aff_nonneg_set(__isl_take isl_pw_aff *pwaff);
  358 __isl_give isl_set *isl_pw_aff_zero_set(__isl_take isl_pw_aff *pwaff);
  359 __isl_give isl_set *isl_pw_aff_non_zero_set(__isl_take isl_pw_aff *pwaff);
  362 __isl_give isl_set *isl_pw_aff_eq_set(__isl_take isl_pw_aff *pwaff1,
  365 __isl_give isl_set *isl_pw_aff_ne_set(__isl_take isl_pw_aff *pwaff1,
  368 __isl_give isl_set *isl_pw_aff_le_set(__isl_take isl_pw_aff *pwaff1,
  371 __isl_give isl_set *isl_pw_aff_lt_set(__isl_take isl_pw_aff *pwaff1,
  374 __isl_give isl_set *isl_pw_aff_ge_set(__isl_take isl_pw_aff *pwaff1,
  377 __isl_give isl_set *isl_pw_aff_gt_set(__isl_take isl_pw_aff *pwaff1,
  397 __isl_give isl_set *isl_pw_aff_list_eq_set(__isl_take isl_pw_aff_list *list1,
  399 __isl_give isl_set *isl_pw_aff_list_ne_set(__isl_take isl_pw_aff_list *list1,
  401 __isl_give isl_set *isl_pw_aff_list_le_set(__isl_take isl_pw_aff_list *list1,
  403 __isl_give isl_set *isl_pw_aff_list_lt_set(__isl_take isl_pw_aff_list *list1,
  405 __isl_give isl_set *isl_pw_aff_list_ge_set(__isl_take isl_pw_aff_list *list1,
  407 __isl_give isl_set *isl_pw_aff_list_gt_set(__isl_take isl_pw_aff_list *list1,
  431 	__isl_take isl_multi_aff *maff, __isl_take isl_set *context);
  433 	__isl_take isl_set *context);
  446 __isl_give isl_set *isl_multi_aff_lex_lt_set(__isl_take isl_multi_aff *ma1,
  448 __isl_give isl_set *isl_multi_aff_lex_le_set(__isl_take isl_multi_aff *ma1,
  450 __isl_give isl_set *isl_multi_aff_lex_gt_set(__isl_take isl_multi_aff *ma1,
  452 __isl_give isl_set *isl_multi_aff_lex_ge_set(__isl_take isl_multi_aff *ma1,
  483 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_alloc(__isl_take isl_set *set,
  528 __isl_give isl_set *isl_pw_multi_aff_domain(__isl_take isl_pw_multi_aff *pma);
  532 	__isl_take isl_set *set);
  535 	__isl_take isl_set *domain, __isl_take isl_multi_val *mv);
  597 	__isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
  599 	__isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
  601 	__isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
  614 	__isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
  616 	__isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
  627 	isl_stat (*fn)(__isl_take isl_set *set, __isl_take isl_multi_aff *maff,
  631 __isl_give isl_set *isl_set_from_pw_multi_aff(__isl_take isl_pw_multi_aff *pma);
  637 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_set(__isl_take isl_set *set);
  700 	__isl_take isl_union_pw_multi_aff *upma, __isl_take isl_set *context);
  761 	__isl_take isl_union_pw_multi_aff *upma, __isl_take isl_set *set);
  798 __isl_give isl_set *isl_multi_pw_aff_domain(__isl_take isl_multi_pw_aff *mpa);
  800 	__isl_take isl_multi_pw_aff *mpa, __isl_take isl_set *set);
  802 	__isl_take isl_multi_pw_aff *mpa, __isl_take isl_set *domain);
  807 	__isl_take isl_multi_pw_aff *mpa, __isl_take isl_set *set);
  809 	__isl_take isl_multi_pw_aff *mpa, __isl_take isl_set *set);
  830 __isl_give isl_set *isl_set_from_multi_pw_aff(__isl_take isl_multi_pw_aff *mpa);
  928 	__isl_take isl_union_pw_aff *upa, __isl_take isl_set *context);
  949 	__isl_take isl_union_pw_aff *upa, __isl_take isl_set *set);
  999 	__isl_take isl_multi_union_pw_aff *mupa, __isl_take isl_set *params);
 1001 	__isl_take isl_multi_union_pw_aff *mupa, __isl_take isl_set *set);
 1012 	__isl_take isl_multi_union_pw_aff *aff, __isl_take isl_set *context);

   51 __isl_give isl_ast_build *isl_ast_build_from_context(__isl_take isl_set *set);
   59 	__isl_take isl_ast_build *build, __isl_take isl_set *set);
   99 	__isl_keep isl_ast_build *build, __isl_take isl_set *set);

   67 __isl_give isl_set *isl_set_add_constraint(__isl_take isl_set *set,
   67 __isl_give isl_set *isl_set_add_constraint(__isl_take isl_set *set,

   33 	__isl_take isl_set *source_restr, __isl_take isl_set *sink_restr);
   33 	__isl_take isl_set *source_restr, __isl_take isl_set *sink_restr);
   35 	__isl_take isl_set *source_restr);
   40 	__isl_keep isl_map *source_map, __isl_keep isl_set *sink,

   26 __isl_give isl_val *isl_set_min_val(__isl_keep isl_set *set,
   29 __isl_give isl_val *isl_set_max_val(__isl_keep isl_set *set,

  236 		__isl_give isl_set **empty);
  239 		__isl_give isl_set **empty);
  241 		__isl_take isl_map *map, __isl_take isl_set *dom,
  242 		__isl_give isl_set **empty);
  244 		__isl_take isl_map *map, __isl_take isl_set *dom,
  245 		__isl_give isl_set **empty);
  256 	__isl_give isl_set **empty);
  259 	__isl_give isl_set **empty);
  311 		__isl_take isl_set *set);
  315 		__isl_take isl_set *set);
  374 		__isl_take isl_set *params);
  380 	__isl_take isl_set *dom);
  382 	__isl_take isl_set *dom);
  398 __isl_give isl_set *isl_map_deltas(__isl_take isl_map *map);
  466 __isl_give isl_map *isl_set_identity(__isl_take isl_set *set);
  471 isl_bool isl_set_is_wrapping(__isl_keep isl_set *set);
  473 __isl_give isl_set *isl_map_wrap(__isl_take isl_map *map);
  475 __isl_give isl_map *isl_set_unwrap(__isl_take isl_set *set);
  493 __isl_give isl_set *isl_set_flatten(__isl_take isl_set *set);
  493 __isl_give isl_set *isl_set_flatten(__isl_take isl_set *set);
  494 __isl_give isl_map *isl_set_flatten_map(__isl_take isl_set *set);
  495 __isl_give isl_set *isl_map_params(__isl_take isl_map *map);
  496 __isl_give isl_set *isl_map_domain(__isl_take isl_map *bmap);
  497 __isl_give isl_set *isl_map_range(__isl_take isl_map *map);
  500 __isl_give isl_map *isl_set_wrapped_domain_map(__isl_take isl_set *set);
  503 __isl_give isl_map *isl_map_from_domain(__isl_take isl_set *set);
  508 __isl_give isl_map *isl_map_from_range(__isl_take isl_set *set);
  511 __isl_give isl_map *isl_map_from_domain_and_range(__isl_take isl_set *domain,
  512 	__isl_take isl_set *range);
  601 	__isl_take isl_set *context);
  603 	__isl_take isl_set *context);
  605 	__isl_take isl_set *context);

  119 	__isl_take isl_qpolynomial *qp, __isl_take isl_set *context);
  121 	__isl_take isl_qpolynomial *qp, __isl_take isl_set *context);
  143 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_alloc(__isl_take isl_set *set,
  179 __isl_give isl_set *isl_pw_qpolynomial_domain(__isl_take isl_pw_qpolynomial *pwqp);
  181 	__isl_take isl_pw_qpolynomial *pwpq, __isl_take isl_set *set);
  183 	__isl_take isl_pw_qpolynomial *pwpq, __isl_take isl_set *set);
  185 	__isl_take isl_pw_qpolynomial *pwpq, __isl_take isl_set *set);
  246 	isl_stat (*fn)(__isl_take isl_set *set, __isl_take isl_qpolynomial *qp,
  250 	isl_stat (*fn)(__isl_take isl_set *set, __isl_take isl_qpolynomial *qp,
  271 	__isl_take isl_pw_qpolynomial *pwqp, __isl_take isl_set *context);
  273 	__isl_take isl_pw_qpolynomial *pwqp, __isl_take isl_set *context);
  330 	__isl_take isl_qpolynomial_fold *fold, __isl_take isl_set *context);
  332 	__isl_take isl_qpolynomial_fold *fold, __isl_take isl_set *context);
  357 	__isl_take isl_set *set, __isl_take isl_qpolynomial_fold *fold);
  394 __isl_give isl_set *isl_pw_qpolynomial_fold_domain(
  397 	__isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_set *set);
  399 	__isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_set *set);
  401 	__isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_set *set);
  438 	isl_stat (*fn)(__isl_take isl_set *set,
  442 	isl_stat (*fn)(__isl_take isl_set *set,
  454 	__isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_set *context);
  456 	__isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_set *context);
  468 	__isl_take isl_set *set, __isl_take isl_pw_qpolynomial_fold *pwf,
  531 	__isl_take isl_set *set);
  567 	__isl_take isl_set *context);
  629 	__isl_take isl_set *set);
  672 	__isl_take isl_set *context);

   60 	__isl_take isl_schedule_constraints *sc, __isl_take isl_set *context);
   88 __isl_give isl_set *isl_schedule_constraints_get_context(
  159 	__isl_take isl_schedule *schedule, __isl_take isl_set *context);
  164 	__isl_take isl_schedule *schedule, __isl_take isl_set *guard);
  172 	__isl_take isl_schedule *schedule, __isl_take isl_set *context);

  116 __isl_give isl_set *isl_schedule_node_band_get_ast_isolate_option(
  151 __isl_give isl_set *isl_schedule_node_context_get_context(
  163 __isl_give isl_set *isl_schedule_node_guard_get_guard(
  194 	__isl_take isl_schedule_node *node, __isl_take isl_set *context);
  201 	__isl_take isl_schedule_node *node, __isl_take isl_set *context);

   34 unsigned isl_set_n_dim(__isl_keep isl_set *set);
   35 unsigned isl_set_n_param(__isl_keep isl_set *set);
   36 unsigned isl_set_dim(__isl_keep isl_set *set, enum isl_dim_type type);
   39 isl_ctx *isl_set_get_ctx(__isl_keep isl_set *set);
   41 __isl_give isl_space *isl_set_get_space(__isl_keep isl_set *set);
   42 __isl_give isl_set *isl_set_reset_space(__isl_take isl_set *set,
   42 __isl_give isl_set *isl_set_reset_space(__isl_take isl_set *set,
   52 isl_bool isl_set_has_tuple_name(__isl_keep isl_set *set);
   53 const char *isl_set_get_tuple_name(__isl_keep isl_set *set);
   56 __isl_give isl_set *isl_set_set_tuple_name(__isl_take isl_set *set,
   56 __isl_give isl_set *isl_set_set_tuple_name(__isl_take isl_set *set,
   63 isl_bool isl_set_has_dim_name(__isl_keep isl_set *set,
   65 const char *isl_set_get_dim_name(__isl_keep isl_set *set,
   67 __isl_give isl_set *isl_set_set_dim_name(__isl_take isl_set *set,
   67 __isl_give isl_set *isl_set_set_dim_name(__isl_take isl_set *set,
   74 __isl_give isl_set *isl_set_set_dim_id(__isl_take isl_set *set,
   74 __isl_give isl_set *isl_set_set_dim_id(__isl_take isl_set *set,
   76 isl_bool isl_set_has_dim_id(__isl_keep isl_set *set,
   78 __isl_give isl_id *isl_set_get_dim_id(__isl_keep isl_set *set,
   80 __isl_give isl_set *isl_set_set_tuple_id(__isl_take isl_set *set,
   80 __isl_give isl_set *isl_set_set_tuple_id(__isl_take isl_set *set,
   82 __isl_give isl_set *isl_set_reset_tuple_id(__isl_take isl_set *set);
   82 __isl_give isl_set *isl_set_reset_tuple_id(__isl_take isl_set *set);
   83 isl_bool isl_set_has_tuple_id(__isl_keep isl_set *set);
   84 __isl_give isl_id *isl_set_get_tuple_id(__isl_keep isl_set *set);
   85 __isl_give isl_set *isl_set_reset_user(__isl_take isl_set *set);
   85 __isl_give isl_set *isl_set_reset_user(__isl_take isl_set *set);
   87 int isl_set_find_dim_by_id(__isl_keep isl_set *set, enum isl_dim_type type,
   89 int isl_set_find_dim_by_name(__isl_keep isl_set *set, enum isl_dim_type type,
  129 __isl_give isl_set *isl_set_remove_redundancies(__isl_take isl_set *set);
  129 __isl_give isl_set *isl_set_remove_redundancies(__isl_take isl_set *set);
  133 __isl_give isl_set *isl_set_list_union(__isl_take isl_set_list *list);
  140 __isl_give isl_set *isl_set_read_from_file(isl_ctx *ctx, FILE *input);
  142 __isl_give isl_set *isl_set_read_from_str(isl_ctx *ctx, const char *str);
  144 void isl_set_dump(__isl_keep isl_set *set);
  148 	__isl_keep isl_set *map);
  153 __isl_give isl_set *isl_set_fix_si(__isl_take isl_set *set,
  153 __isl_give isl_set *isl_set_fix_si(__isl_take isl_set *set,
  155 __isl_give isl_set *isl_set_lower_bound_si(__isl_take isl_set *set,
  155 __isl_give isl_set *isl_set_lower_bound_si(__isl_take isl_set *set,
  160 __isl_give isl_set *isl_set_lower_bound_val(__isl_take isl_set *set,
  160 __isl_give isl_set *isl_set_lower_bound_val(__isl_take isl_set *set,
  162 __isl_give isl_set *isl_set_upper_bound_si(__isl_take isl_set *set,
  162 __isl_give isl_set *isl_set_upper_bound_si(__isl_take isl_set *set,
  167 __isl_give isl_set *isl_set_upper_bound_val(__isl_take isl_set *set,
  167 __isl_give isl_set *isl_set_upper_bound_val(__isl_take isl_set *set,
  170 __isl_give isl_set *isl_set_equate(__isl_take isl_set *set,
  170 __isl_give isl_set *isl_set_equate(__isl_take isl_set *set,
  179 __isl_give isl_set *isl_basic_set_partial_lexmin(
  181 		__isl_give isl_set **empty);
  182 __isl_give isl_set *isl_basic_set_partial_lexmax(
  184 		__isl_give isl_set **empty);
  185 __isl_give isl_set *isl_set_partial_lexmin(
  186 		__isl_take isl_set *set, __isl_take isl_set *dom,
  186 		__isl_take isl_set *set, __isl_take isl_set *dom,
  187 		__isl_give isl_set **empty);
  188 __isl_give isl_set *isl_set_partial_lexmax(
  189 		__isl_take isl_set *set, __isl_take isl_set *dom,
  189 		__isl_take isl_set *set, __isl_take isl_set *dom,
  190 		__isl_give isl_set **empty);
  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);
  196 __isl_give isl_set *isl_set_lexmin(__isl_take isl_set *set);
  196 __isl_give isl_set *isl_set_lexmin(__isl_take isl_set *set);
  198 __isl_give isl_set *isl_set_lexmax(__isl_take isl_set *set);
  198 __isl_give isl_set *isl_set_lexmax(__isl_take isl_set *set);
  201 	__isl_give isl_set **empty);
  204 	__isl_give isl_set **empty);
  206 	__isl_take isl_set *set);
  208 	__isl_take isl_set *set);
  211 __isl_give isl_set *isl_basic_set_union(
  217 int isl_set_follows_at(__isl_keep isl_set *set1,
  218 	__isl_keep isl_set *set2, int pos);
  223 __isl_give isl_set *isl_set_params(__isl_take isl_set *set);
  223 __isl_give isl_set *isl_set_params(__isl_take isl_set *set);
  224 __isl_give isl_set *isl_set_from_params(__isl_take isl_set *set);
  224 __isl_give isl_set *isl_set_from_params(__isl_take isl_set *set);
  241 __isl_give isl_set *isl_set_empty(__isl_take isl_space *space);
  242 __isl_give isl_set *isl_set_universe(__isl_take isl_space *space);
  243 __isl_give isl_set *isl_set_nat_universe(__isl_take isl_space *dim);
  244 __isl_give isl_set *isl_set_copy(__isl_keep isl_set *set);
  244 __isl_give isl_set *isl_set_copy(__isl_keep isl_set *set);
  245 __isl_null isl_set *isl_set_free(__isl_take isl_set *set);
  245 __isl_null isl_set *isl_set_free(__isl_take isl_set *set);
  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);
  253 __isl_give isl_point *isl_set_sample_point(__isl_take isl_set *set);
  255 __isl_give isl_set *isl_set_detect_equalities(__isl_take isl_set *set);
  255 __isl_give isl_set *isl_set_detect_equalities(__isl_take isl_set *set);
  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);
  264 	__isl_take isl_set *set);
  266 	__isl_take isl_set *set);
  268 	__isl_take isl_set *set, __isl_take isl_set_list *list);
  269 __isl_give isl_basic_set *isl_set_bounded_simple_hull(__isl_take isl_set *set);
  271 __isl_give isl_set *isl_set_union_disjoint(
  272 	__isl_take isl_set *set1, __isl_take isl_set *set2);
  272 	__isl_take isl_set *set1, __isl_take isl_set *set2);
  274 __isl_give isl_set *isl_set_union(
  275 		__isl_take isl_set *set1,
  276 		__isl_take isl_set *set2);
  277 __isl_give isl_set *isl_set_product(__isl_take isl_set *set1,
  277 __isl_give isl_set *isl_set_product(__isl_take isl_set *set1,
  278 	__isl_take isl_set *set2);
  281 __isl_give isl_set *isl_set_flat_product(__isl_take isl_set *set1,
  281 __isl_give isl_set *isl_set_flat_product(__isl_take isl_set *set1,
  282 	__isl_take isl_set *set2);
  284 __isl_give isl_set *isl_set_intersect(
  285 		__isl_take isl_set *set1,
  286 		__isl_take isl_set *set2);
  288 __isl_give isl_set *isl_set_intersect_params(__isl_take isl_set *set,
  288 __isl_give isl_set *isl_set_intersect_params(__isl_take isl_set *set,
  289 		__isl_take isl_set *params);
  291 __isl_give isl_set *isl_set_subtract(
  292 		__isl_take isl_set *set1,
  293 		__isl_take isl_set *set2);
  295 __isl_give isl_set *isl_set_complement(__isl_take isl_set *set);
  295 __isl_give isl_set *isl_set_complement(__isl_take isl_set *set);
  297 __isl_give isl_set *isl_set_apply(
  298 		__isl_take isl_set *set,
  300 __isl_give isl_set *isl_set_preimage_multi_aff(__isl_take isl_set *set,
  300 __isl_give isl_set *isl_set_preimage_multi_aff(__isl_take isl_set *set,
  302 __isl_give isl_set *isl_set_preimage_pw_multi_aff(__isl_take isl_set *set,
  302 __isl_give isl_set *isl_set_preimage_pw_multi_aff(__isl_take isl_set *set,
  304 __isl_give isl_set *isl_set_preimage_multi_pw_aff(__isl_take isl_set *set,
  304 __isl_give isl_set *isl_set_preimage_multi_pw_aff(__isl_take isl_set *set,
  306 __isl_give isl_set *isl_set_fix_val(__isl_take isl_set *set,
  306 __isl_give isl_set *isl_set_fix_val(__isl_take isl_set *set,
  308 struct isl_set *isl_set_fix_dim_si(struct isl_set *set,
  308 struct isl_set *isl_set_fix_dim_si(struct isl_set *set,
  313 __isl_give isl_set *isl_set_insert_dims(__isl_take isl_set *set,
  313 __isl_give isl_set *isl_set_insert_dims(__isl_take isl_set *set,
  317 __isl_give isl_set *isl_set_add_dims(__isl_take isl_set *set,
  317 __isl_give isl_set *isl_set_add_dims(__isl_take isl_set *set,
  322 __isl_give isl_set *isl_set_move_dims(__isl_take isl_set *set,
  322 __isl_give isl_set *isl_set_move_dims(__isl_take isl_set *set,
  328 __isl_give isl_set *isl_set_project_out(__isl_take isl_set *set,
  328 __isl_give isl_set *isl_set_project_out(__isl_take isl_set *set,
  330 __isl_give isl_map *isl_set_project_onto_map(__isl_take isl_set *set,
  337 __isl_give isl_set *isl_set_eliminate(__isl_take isl_set *set,
  337 __isl_give isl_set *isl_set_eliminate(__isl_take isl_set *set,
  339 __isl_give isl_set *isl_set_eliminate_dims(__isl_take isl_set *set,
  339 __isl_give isl_set *isl_set_eliminate_dims(__isl_take isl_set *set,
  341 __isl_give isl_set *isl_set_remove_dims(__isl_take isl_set *bset,
  341 __isl_give isl_set *isl_set_remove_dims(__isl_take isl_set *bset,
  346 __isl_give isl_set *isl_set_remove_divs_involving_dims(__isl_take isl_set *set,
  346 __isl_give isl_set *isl_set_remove_divs_involving_dims(__isl_take isl_set *set,
  350 __isl_give isl_set *isl_set_remove_unknown_divs(__isl_take isl_set *set);
  350 __isl_give isl_set *isl_set_remove_unknown_divs(__isl_take isl_set *set);
  351 __isl_give isl_set *isl_set_remove_divs(__isl_take isl_set *set);
  351 __isl_give isl_set *isl_set_remove_divs(__isl_take isl_set *set);
  352 __isl_give isl_set *isl_set_split_dims(__isl_take isl_set *set,
  352 __isl_give isl_set *isl_set_split_dims(__isl_take isl_set *set,
  361 __isl_give isl_set *isl_set_drop_constraints_involving_dims(
  362 	__isl_take isl_set *set,
  364 __isl_give isl_set *isl_set_drop_constraints_not_involving_dims(
  365 	__isl_take isl_set *set,
  370 isl_bool isl_set_involves_dims(__isl_keep isl_set *set,
  373 void isl_set_print_internal(__isl_keep isl_set *set, FILE *out, int indent);
  374 isl_bool isl_set_plain_is_empty(__isl_keep isl_set *set);
  375 isl_bool isl_set_plain_is_universe(__isl_keep isl_set *set);
  376 isl_bool isl_set_is_params(__isl_keep isl_set *set);
  378 isl_bool isl_set_is_empty(__isl_keep isl_set *set);
  379 isl_bool isl_set_is_bounded(__isl_keep isl_set *set);
  381 isl_bool isl_set_is_subset(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
  381 isl_bool isl_set_is_subset(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
  383 isl_bool isl_set_is_strict_subset(__isl_keep isl_set *set1,
  384 	__isl_keep isl_set *set2);
  386 isl_bool isl_set_is_equal(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
  386 isl_bool isl_set_is_equal(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
  388 isl_bool isl_set_is_disjoint(__isl_keep isl_set *set1,
  389 	__isl_keep isl_set *set2);
  390 isl_bool isl_set_is_singleton(__isl_keep isl_set *set);
  391 isl_bool isl_set_is_box(__isl_keep isl_set *set);
  392 isl_bool isl_set_has_equal_space(__isl_keep isl_set *set1,
  393 	__isl_keep isl_set *set2);
  395 __isl_give isl_set *isl_set_sum(__isl_take isl_set *set1,
  395 __isl_give isl_set *isl_set_sum(__isl_take isl_set *set1,
  396 	__isl_take isl_set *set2);
  398 __isl_give isl_set *isl_set_neg(__isl_take isl_set *set);
  398 __isl_give isl_set *isl_set_neg(__isl_take isl_set *set);
  400 __isl_give isl_set *isl_set_make_disjoint(__isl_take isl_set *set);
  400 __isl_give isl_set *isl_set_make_disjoint(__isl_take isl_set *set);
  401 __isl_give isl_set *isl_basic_set_compute_divs(__isl_take isl_basic_set *bset);
  402 __isl_give isl_set *isl_set_compute_divs(__isl_take isl_set *set);
  402 __isl_give isl_set *isl_set_compute_divs(__isl_take isl_set *set);
  404 __isl_give isl_set *isl_set_align_divs(__isl_take isl_set *set);
  404 __isl_give isl_set *isl_set_align_divs(__isl_take isl_set *set);
  406 __isl_give isl_val *isl_set_plain_get_val_if_fixed(__isl_keep isl_set *set,
  408 isl_bool isl_set_dim_is_bounded(__isl_keep isl_set *set,
  410 isl_bool isl_set_dim_has_lower_bound(__isl_keep isl_set *set,
  412 isl_bool isl_set_dim_has_upper_bound(__isl_keep isl_set *set,
  414 isl_bool isl_set_dim_has_any_lower_bound(__isl_keep isl_set *set,
  416 isl_bool isl_set_dim_has_any_upper_bound(__isl_keep isl_set *set,
  422 __isl_give isl_set *isl_set_gist_basic_set(__isl_take isl_set *set,
  422 __isl_give isl_set *isl_set_gist_basic_set(__isl_take isl_set *set,
  425 __isl_give isl_set *isl_set_gist(__isl_take isl_set *set,
  425 __isl_give isl_set *isl_set_gist(__isl_take isl_set *set,
  426 	__isl_take isl_set *context);
  427 __isl_give isl_set *isl_set_gist_params(__isl_take isl_set *set,
  427 __isl_give isl_set *isl_set_gist_params(__isl_take isl_set *set,
  428 	__isl_take isl_set *context);
  429 isl_stat isl_set_dim_residue_class_val(__isl_keep isl_set *set,
  432 __isl_give isl_stride_info *isl_set_get_stride_info(__isl_keep isl_set *set,
  435 __isl_give isl_val *isl_set_get_stride(__isl_keep isl_set *set, int pos);
  438 __isl_give isl_set *isl_set_coalesce(__isl_take isl_set *set);
  438 __isl_give isl_set *isl_set_coalesce(__isl_take isl_set *set);
  440 int isl_set_plain_cmp(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
  440 int isl_set_plain_cmp(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
  441 isl_bool isl_set_plain_is_equal(__isl_keep isl_set *set1,
  442 	__isl_keep isl_set *set2);
  443 isl_bool isl_set_plain_is_disjoint(__isl_keep isl_set *set1,
  444 	__isl_keep isl_set *set2);
  446 uint32_t isl_set_get_hash(struct isl_set *set);
  448 int isl_set_n_basic_set(__isl_keep isl_set *set);
  450 isl_stat isl_set_foreach_basic_set(__isl_keep isl_set *set,
  453 	__isl_keep isl_set *set);
  455 isl_stat isl_set_foreach_point(__isl_keep isl_set *set,
  457 __isl_give isl_val *isl_set_count_val(__isl_keep isl_set *set);
  462 __isl_give isl_set *isl_set_from_point(__isl_take isl_point *pnt);
  465 __isl_give isl_set *isl_set_box_from_points(__isl_take isl_point *pnt1,
  469 __isl_give isl_set *isl_set_lift(__isl_take isl_set *set);
  469 __isl_give isl_set *isl_set_lift(__isl_take isl_set *set);
  471 __isl_give isl_map *isl_set_lex_le_set(__isl_take isl_set *set1,
  472 	__isl_take isl_set *set2);
  473 __isl_give isl_map *isl_set_lex_lt_set(__isl_take isl_set *set1,
  474 	__isl_take isl_set *set2);
  475 __isl_give isl_map *isl_set_lex_ge_set(__isl_take isl_set *set1,
  476 	__isl_take isl_set *set2);
  477 __isl_give isl_map *isl_set_lex_gt_set(__isl_take isl_set *set1,
  478 	__isl_take isl_set *set2);
  480 int isl_set_size(__isl_keep isl_set *set);
  484 __isl_give isl_set *isl_set_align_params(__isl_take isl_set *set,
  484 __isl_give isl_set *isl_set_align_params(__isl_take isl_set *set,
  488 __isl_give isl_set *isl_set_drop_unused_params(__isl_take isl_set *set);
  488 __isl_give isl_set *isl_set_drop_unused_params(__isl_take isl_set *set);
  504 __isl_give isl_set *isl_set_from_multi_aff(__isl_take isl_multi_aff *ma);
  512 __isl_give isl_basic_set *isl_set_coefficients(__isl_take isl_set *set);
  515 __isl_give isl_basic_set *isl_set_solutions(__isl_take isl_set *set);
  517 __isl_give isl_pw_aff *isl_set_dim_max(__isl_take isl_set *set, int pos);
  518 __isl_give isl_pw_aff *isl_set_dim_min(__isl_take isl_set *set, int pos);
  521 __isl_give char *isl_set_to_str(__isl_keep isl_set *set);

   80 __isl_give isl_set *isl_stream_read_set(__isl_keep isl_stream *s);

   43 __isl_give isl_set *isl_union_map_params(__isl_take isl_union_map *umap);
  100 	__isl_take isl_union_map *umap, __isl_take isl_set *set);
  137 	__isl_take isl_union_map *umap, __isl_take isl_set *set);

   18 __isl_give isl_union_set *isl_union_set_from_set(__isl_take isl_set *set);
   31 __isl_give isl_set *isl_union_set_params(__isl_take isl_union_set *uset);
   58 	__isl_take isl_set *set);
   70 	__isl_take isl_union_set *uset, __isl_take isl_set *set);
   78 	__isl_take isl_union_set *uset, __isl_take isl_set *set);
  121 	isl_stat (*fn)(__isl_take isl_set *set, void *user), void *user);
  128 __isl_give isl_set *isl_union_set_extract_set(__isl_keep isl_union_set *uset,
  130 __isl_give isl_set *isl_set_from_union_set(__isl_take isl_union_set *uset);

 2093 	__isl_take isl_set *context)
 2122 	__isl_take isl_set *context)
 2124 	isl_set *dom_context = isl_set_universe(isl_aff_get_domain_space(aff));
 2282 __isl_give isl_set *isl_aff_ge_set(__isl_take isl_aff *aff1,
 2294 __isl_give isl_set *isl_aff_gt_set(__isl_take isl_aff *aff1,
 2321 __isl_give isl_set *isl_aff_le_set(__isl_take isl_aff *aff1,
 2330 __isl_give isl_set *isl_aff_lt_set(__isl_take isl_aff *aff1,
 2350 __isl_give isl_set *isl_aff_eq_set(__isl_take isl_aff *aff1,
 2362 __isl_give isl_set *isl_aff_ne_set(__isl_take isl_aff *aff1,
 2365 	isl_set *set_lt, *set_gt;
 2373 __isl_give isl_aff *isl_aff_add_on_domain(__isl_keep isl_set *dom,
 2668 	isl_set *dom = isl_set_universe(isl_aff_get_domain_space(aff));
 2704 static __isl_give isl_set *align_params_pw_pw_set_and(
 2706 	__isl_give isl_set *(*fn)(__isl_take isl_pw_aff *pwaff1,
 2813 static __isl_give isl_set *pw_aff_locus(__isl_take isl_pw_aff *pwaff,
 2818 	isl_set *set;
 2827 		isl_set *set_i, *locus;
 2852 __isl_give isl_set *isl_pw_aff_pos_set(__isl_take isl_pw_aff *pa)
 2860 __isl_give isl_set *isl_pw_aff_nonneg_set(__isl_take isl_pw_aff *pwaff)
 2868 __isl_give isl_set *isl_pw_aff_zero_set(__isl_take isl_pw_aff *pwaff)
 2876 __isl_give isl_set *isl_pw_aff_non_zero_set(__isl_take isl_pw_aff *pwaff)
 2890 static __isl_give isl_set *pw_aff_gte_set(__isl_take isl_pw_aff *pwaff1,
 2893 	isl_set *set1, *set2;
 2919 static __isl_give isl_set *pw_aff_eq_set(__isl_take isl_pw_aff *pwaff1,
 2925 __isl_give isl_set *isl_pw_aff_eq_set(__isl_take isl_pw_aff *pwaff1,
 2934 static __isl_give isl_set *pw_aff_ge_set(__isl_take isl_pw_aff *pwaff1,
 2940 __isl_give isl_set *isl_pw_aff_ge_set(__isl_take isl_pw_aff *pwaff1,
 2949 static __isl_give isl_set *pw_aff_gt_set(__isl_take isl_pw_aff *pwaff1,
 2955 __isl_give isl_set *isl_pw_aff_gt_set(__isl_take isl_pw_aff *pwaff1,
 2961 __isl_give isl_set *isl_pw_aff_le_set(__isl_take isl_pw_aff *pwaff1,
 2967 __isl_give isl_set *isl_pw_aff_lt_set(__isl_take isl_pw_aff *pwaff1,
 2986 	__isl_give isl_set *(*order)(__isl_take isl_pw_aff *pa1,
 2991 	isl_set *set;
 3068 static __isl_give isl_set *pw_aff_list_set(__isl_take isl_pw_aff_list *list1,
 3070 	__isl_give isl_set *(*fn)(__isl_take isl_pw_aff *pwaff1,
 3075 	isl_set *set;
 3088 			isl_set *set_ij;
 3108 __isl_give isl_set *isl_pw_aff_list_eq_set(__isl_take isl_pw_aff_list *list1,
 3114 __isl_give isl_set *isl_pw_aff_list_ne_set(__isl_take isl_pw_aff_list *list1,
 3124 __isl_give isl_set *isl_pw_aff_list_le_set(__isl_take isl_pw_aff_list *list1,
 3130 __isl_give isl_set *isl_pw_aff_list_lt_set(__isl_take isl_pw_aff_list *list1,
 3136 __isl_give isl_set *isl_pw_aff_list_ge_set(__isl_take isl_pw_aff_list *list1,
 3142 __isl_give isl_set *isl_pw_aff_list_gt_set(__isl_take isl_pw_aff_list *list1,
 3152 static __isl_give isl_set *pw_aff_ne_set(__isl_take isl_pw_aff *pwaff1,
 3155 	isl_set *set_lt, *set_gt;
 3163 __isl_give isl_set *isl_pw_aff_ne_set(__isl_take isl_pw_aff *pwaff1,
 3238 	__isl_take isl_set *cond1, __isl_take isl_pw_aff *pwaff1,
 3239 	__isl_take isl_set *cond2, __isl_take isl_pw_aff *pwaff2)
 3262 	isl_set *cond_true, *cond_false;
 3284 		isl_set *dom;
 3514 	isl_set *cond;
 3592 	isl_set *dom;
 3606 	isl_set *le;
 3607 	isl_set *dom;
 3620 	isl_set *ge;
 3621 	isl_set *dom;
 4075 	isl_set *dom = isl_set_universe(isl_multi_aff_get_domain_space(ma));
 4132 __isl_give isl_multi_aff *isl_multi_aff_add_on_domain(__isl_keep isl_set *dom,
 4151 __isl_give isl_set *isl_multi_aff_lex_le_set(__isl_take isl_multi_aff *ma1,
 4160 __isl_give isl_set *isl_multi_aff_lex_lt_set(__isl_take isl_multi_aff *ma1,
 4169 static __isl_give isl_set *isl_multi_aff_order_set(
 4191 __isl_give isl_set *isl_multi_aff_lex_ge_set(__isl_take isl_multi_aff *ma1,
 4200 __isl_give isl_set *isl_multi_aff_lex_gt_set(__isl_take isl_multi_aff *ma1,
 4359 			isl_set *domain;
 4641 	__isl_take isl_set *domain, __isl_take isl_basic_map *bmap)
 5001 	isl_set *set;
 5174 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_set(__isl_take isl_set *set)
 5240 __isl_give isl_pw_aff *isl_set_indicator_function(__isl_take isl_set *set)
 5368 			isl_set *common;
 5820 	__isl_take isl_set *set)
 5834 static isl_stat add_pw_multi_aff_from_domain(__isl_take isl_set *set,
 6045 			isl_set *common;
 6302 		isl_set *set;
 6326 	isl_set *dom;
 6427 		isl_set *dom;
 6817 		isl_set *domain;
 7205 __isl_give isl_pw_aff *isl_pw_aff_val_on_domain(__isl_take isl_set *domain,
 7262 	__isl_take isl_set *domain, __isl_take isl_multi_val *mv)
 7285 static isl_stat pw_multi_aff_multi_val_on_domain(__isl_take isl_set *domain,
 7620 static isl_stat pw_aff_on_domain(__isl_take isl_set *domain, void *user)
 7717 static isl_stat pw_aff_val_on_domain(__isl_take isl_set *domain, void *user)
 7939 	isl_set *set;
 8605 	__isl_take isl_multi_union_pw_aff *mupa, __isl_take isl_set *range)
 8617 	__isl_take isl_multi_union_pw_aff *mupa, __isl_take isl_set *range)
 8936 		isl_set *domain;

  233 __isl_give isl_set *isl_set_from_multi_aff(__isl_take isl_multi_aff *ma)
  320 __isl_give isl_set *isl_set_from_pw_aff(__isl_take isl_pw_aff *pwaff)
  364 __isl_give isl_set *isl_set_from_pw_multi_aff(__isl_take isl_pw_multi_aff *pma)
  429 __isl_give isl_set *isl_set_from_multi_pw_aff(__isl_take isl_multi_pw_aff *mpa)

   29 	struct isl_set *set;
   55 	isl_set *set;

  933 __isl_give isl_set *isl_set_detect_equalities(__isl_take isl_set *set)
  933 __isl_give isl_set *isl_set_detect_equalities(__isl_take isl_set *set)
 1141 static __isl_give isl_set *isl_set_local_affine_hull(__isl_take isl_set *set)
 1141 static __isl_give isl_set *isl_set_local_affine_hull(__isl_take isl_set *set)
 1181 	struct isl_set *set;
 1217 struct isl_basic_set *isl_set_affine_hull(struct isl_set *set)

   10 	__isl_keep isl_ast_build *build, __isl_take isl_set *set);

  114 static void add_fold(__isl_take isl_qpolynomial *b, __isl_keep isl_set *dom,
  140 	__isl_keep isl_set *dom, struct bernstein_data *data)
  257 	isl_set *dom;
  347 		isl_set *dom;
  359 		isl_set *dom;
  446 	isl_set *set;
  482 	isl_set *set;

  179 static isl_stat guarded_fold(__isl_take isl_set *set,

 1287 	isl_int *ineq, unsigned len, __isl_keep isl_set *set, int negate)
 1324 	struct isl_coalesce_info *info, isl_int *bound, __isl_keep isl_set *set)
 1417 static __isl_give isl_set *set_from_updated_bmap(__isl_keep isl_basic_map *bmap,
 1439 	__isl_keep isl_set *set)
 1494 	struct isl_set *set_i = NULL;
 1495 	struct isl_set *set_j = NULL;
 1572 	struct isl_coalesce_info *info_j, __isl_keep isl_set *set_i,
 1611 	__isl_keep isl_set *set_i)
 1676 	isl_set *set_i = NULL;
 2028 	struct isl_set *set_i = NULL;
 2029 	struct isl_set *set_j = NULL;
 3941 struct isl_set *isl_set_coalesce(struct isl_set *set)
 3941 struct isl_set *isl_set_coalesce(struct isl_set *set)

  370 __isl_give isl_set *isl_set_add_constraint(__isl_take isl_set *set,
  370 __isl_give isl_set *isl_set_add_constraint(__isl_take isl_set *set,

   31 	__isl_take isl_set *set);
  107 __isl_give isl_set *isl_set_remove_redundancies(__isl_take isl_set *set)
  107 __isl_give isl_set *isl_set_remove_redundancies(__isl_take isl_set *set)
  116 static int uset_is_bound(__isl_keep isl_set *set, isl_int *c, unsigned len)
  187 static __isl_give isl_set *isl_set_add_basic_set_equality(
  188 	__isl_take isl_set *set, isl_int *c)
  223 static __isl_give isl_basic_set *wrap_constraints(__isl_keep isl_set *set)
  332 isl_int *isl_set_wrap_facet(__isl_keep isl_set *set,
  412 static __isl_give isl_mat *initial_facet_constraint(__isl_keep isl_set *set)
  414 	struct isl_set *slice = NULL;
  503 static __isl_give isl_basic_set *compute_facet(__isl_keep isl_set *set,
  559 	__isl_keep isl_set *set)
  621 static __isl_give isl_basic_set *convex_hull_1d(__isl_take isl_set *set)
  741 static __isl_give isl_basic_set *convex_hull_0d(__isl_take isl_set *set)
  868 isl_bool isl_set_is_bounded(__isl_keep isl_set *set)
  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,
 1243 	struct isl_set *set;
 1277 static __isl_give isl_basic_set *uset_convex_hull_wrap(__isl_take isl_set *set);
 1279 	__isl_take isl_set *set, __isl_take isl_basic_set *affine_hull);
 1333 		struct isl_set *set;
 1406 	__isl_take isl_set *set)
 1409 	struct isl_set *lin = NULL;
 1436 	__isl_take isl_set *set)
 1490 	__isl_keep isl_set *set)
 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,
 1731 static __isl_give isl_basic_set *uset_convex_hull_wrap(__isl_take isl_set *set)
 1753 static __isl_give isl_basic_set *uset_convex_hull(__isl_take isl_set *set)
 1804 	__isl_take isl_set *set)
 1843 	__isl_take isl_set *set, __isl_take isl_basic_set *affine_hull)
 1891 	struct isl_set *set = 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)
 2038 static struct sh_data *sh_data_alloc(__isl_keep isl_set *set, unsigned n_ineq)
 2077 static int is_bound(struct sh_data *data, __isl_keep isl_set *set, int j,
 2119 static void set_max_constant_term(struct sh_data *data, __isl_keep isl_set *set,
 2169 	struct sh_data *data, __isl_keep isl_set *set, int i, isl_int *ineq,
 2251 	struct sh_data *data, __isl_keep isl_set *set, int i, int shift)
 2272 static __isl_give isl_basic_set *uset_simple_hull(__isl_take isl_set *set,
 2368 	struct isl_set *set = NULL;
 2419 struct isl_basic_set *isl_set_simple_hull(struct isl_set *set)
 2434 	__isl_take isl_set *set)
 2615 	__isl_take isl_set *set)
 2631 	__isl_keep isl_set *set, isl_int *ineq)
 2703 	__isl_take isl_set *set, int n_ineq, isl_int **ineq)
 2810 	__isl_take isl_set *set, __isl_take isl_basic_set_list *list)
 2879 	isl_set *set;
 2979 	__isl_take isl_set *set, __isl_take isl_set_list *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)

  816 isl_stat isl_set_dim_residue_class(__isl_keep isl_set *set,
  875 isl_stat isl_set_dim_residue_class_val(__isl_keep isl_set *set,

  347 __isl_give isl_basic_set *isl_set_coefficients(__isl_take isl_set *set)
  396 __isl_give isl_basic_set *isl_set_solutions(__isl_take isl_set *set)

  274 static int isl_qpolynomial_aff_sign(__isl_keep isl_set *set,
  329 static int isl_qpolynomial_sign(__isl_keep isl_set *set,
  431 	__isl_keep isl_set *set,
  553 	__isl_keep isl_set *dom,
  633 	__isl_take isl_qpolynomial_fold *fold, __isl_take isl_set *context)
  660 	__isl_take isl_qpolynomial_fold *fold, __isl_take isl_set *context)
  663 	isl_set *dom_context = isl_set_universe(space);
  872 	isl_set *set;
  900 			struct isl_set *common;
 1140 	__isl_take isl_qpolynomial_fold *fold, __isl_take isl_set *set, int max)
 1181 static int qpolynomial_fold_covers_on_domain(__isl_keep isl_set *set,
 1221 	isl_set *dom1, *dom2;
 1244 			isl_set *common;
 1521 	isl_set *dom;
 1560 	__isl_take isl_set *set, __isl_take isl_pw_qpolynomial_fold *pwf,

  438 static enum isl_lp_result isl_set_opt_aligned(__isl_keep isl_set *set, int max,
  480 enum isl_lp_result isl_set_opt(__isl_keep isl_set *set, int max,
  585 __isl_give isl_val *isl_set_opt_val(__isl_keep isl_set *set, int max,
  609 __isl_give isl_val *isl_set_min_val(__isl_keep isl_set *set,
  621 __isl_give isl_val *isl_set_max_val(__isl_keep isl_set *set,
  668 static isl_stat piece_opt(__isl_take isl_set *set, __isl_take isl_aff *aff,

 1079 			isl_set *dom;
 1383 		isl_set *set;
 1391 		isl_set *set;
 1403 		isl_set *set;
 1462 static __isl_give isl_set *list_cmp(__isl_keep isl_set *set, int type,
 1462 static __isl_give isl_set *list_cmp(__isl_keep isl_set *set, int type,
 1522 static __isl_give isl_set *construct_constraints(
 1523 	__isl_take isl_set *set, int type,
 1527 	isl_set *cond;
 1579 	isl_set *set;
 2311 	struct isl_set *set;
 2326 	__isl_take isl_set *set, struct vars *v, int n)
 2415 			isl_set *set = isl_map_domain(map);
 2754 __isl_give isl_set *isl_stream_read_set(__isl_keep isl_stream *s)
 2949 __isl_give isl_set *isl_set_read_from_file(struct isl_ctx *ctx,
 2952 	isl_set *set;
 2961 struct isl_set *isl_set_read_from_str(struct isl_ctx *ctx,
 2964 	isl_set *set;
 3143 static __isl_give isl_set *read_aff_domain(__isl_keep isl_stream *s,
 3144 	__isl_take isl_set *dom, struct vars *v)
 3202 	__isl_take isl_set *dom, struct vars *v)
 3230 	isl_set *dom = NULL;
 3231 	isl_set *aff_dom;
 3366 	__isl_keep isl_stream *s, __isl_take isl_set *dom, struct vars *v)
 3409 	isl_set *dom;
 3554 	isl_set *dom = NULL;
 3619 	isl_set *dom = NULL;
 3645 		isl_set *set;
 3742 	isl_set *dom = NULL;
 3807 	__isl_keep isl_stream *s, __isl_take isl_set *dom, struct vars *v)
 3811 	isl_set *aff_dom;
 3848 	isl_set *dom;
 3902 	isl_set *dom;
 4107 	isl_set *dom = NULL;

  195 enum isl_lp_result isl_set_solve_lp(__isl_keep isl_set *set, int max,

   17 enum isl_lp_result isl_set_solve_lp(__isl_keep isl_set *set, int max,

  102 unsigned isl_set_dim(__isl_keep isl_set *set, enum isl_dim_type type)
  161 unsigned isl_set_n_dim(__isl_keep isl_set *set)
  166 unsigned isl_set_n_param(__isl_keep isl_set *set)
  274 	__isl_keep isl_set *set)
  280 	__isl_keep isl_set *set)
  306 	__isl_keep isl_set *set)
  346 isl_ctx *isl_set_get_ctx(__isl_keep isl_set *set)
  500 __isl_give isl_space *isl_set_get_space(__isl_keep isl_set *set)
  600 __isl_give isl_set *isl_set_set_tuple_name(__isl_take isl_set *set,
  600 __isl_give isl_set *isl_set_set_tuple_name(__isl_take isl_set *set,
  622 __isl_give isl_set *isl_set_set_tuple_id(__isl_take isl_set *set,
  622 __isl_give isl_set *isl_set_set_tuple_id(__isl_take isl_set *set,
  640 __isl_give isl_set *isl_set_reset_tuple_id(__isl_take isl_set *set)
  640 __isl_give isl_set *isl_set_reset_tuple_id(__isl_take isl_set *set)
  656 isl_bool isl_set_has_tuple_id(__isl_keep isl_set *set)
  661 __isl_give isl_id *isl_set_get_tuple_id(__isl_keep isl_set *set)
  668 isl_bool isl_set_has_tuple_name(__isl_keep isl_set *set)
  681 const char *isl_set_get_tuple_name(__isl_keep isl_set *set)
  714 const char *isl_set_get_dim_name(__isl_keep isl_set *set,
  722 isl_bool isl_set_has_dim_name(__isl_keep isl_set *set,
  779 __isl_give isl_set *isl_set_set_dim_name(__isl_take isl_set *set,
  779 __isl_give isl_set *isl_set_set_dim_name(__isl_take isl_set *set,
  812 isl_bool isl_set_has_dim_id(__isl_keep isl_set *set,
  818 __isl_give isl_id *isl_set_get_dim_id(__isl_keep isl_set *set,
  839 __isl_give isl_set *isl_set_set_dim_id(__isl_take isl_set *set,
  839 __isl_give isl_set *isl_set_set_dim_id(__isl_take isl_set *set,
  853 int isl_set_find_dim_by_id(__isl_keep isl_set *set, enum isl_dim_type type,
  879 int isl_set_find_dim_by_name(__isl_keep isl_set *set, enum isl_dim_type type,
  949 __isl_give isl_set *isl_set_reset_user(__isl_take isl_set *set)
  949 __isl_give isl_set *isl_set_reset_user(__isl_take isl_set *set)
 1000 isl_bool isl_set_is_rational(__isl_keep isl_set *set)
 1073 isl_bool isl_set_has_rational(__isl_keep isl_set *set)
 1089 isl_bool isl_set_is_params(__isl_keep isl_set *set)
 1281 __isl_give isl_set *isl_set_copy(__isl_keep isl_set *set)
 1281 __isl_give isl_set *isl_set_copy(__isl_keep isl_set *set)
 1952 __isl_give isl_set *isl_set_cow(__isl_take isl_set *set)
 1952 __isl_give isl_set *isl_set_cow(__isl_take isl_set *set)
 2126 __isl_give isl_set *isl_set_set_rational(__isl_take isl_set *set)
 2126 __isl_give isl_set *isl_set_set_rational(__isl_take isl_set *set)
 2336 __isl_give isl_set *isl_set_drop(__isl_take isl_set *set,
 2336 __isl_give isl_set *isl_set_drop(__isl_take isl_set *set,
 2426 __isl_give isl_set *isl_set_eliminate(__isl_take isl_set *set,
 2426 __isl_give isl_set *isl_set_eliminate(__isl_take isl_set *set,
 2436 __isl_give isl_set *isl_set_eliminate_dims(__isl_take isl_set *set,
 2436 __isl_give isl_set *isl_set_eliminate_dims(__isl_take isl_set *set,
 2485 __isl_give isl_set *isl_set_remove_divs(__isl_take isl_set *set)
 2485 __isl_give isl_set *isl_set_remove_divs(__isl_take isl_set *set)
 2791 __isl_give isl_set *isl_set_remove_divs_involving_dims(__isl_take isl_set *set,
 2791 __isl_give isl_set *isl_set_remove_divs_involving_dims(__isl_take isl_set *set,
 2853 isl_bool isl_set_involves_dims(__isl_keep isl_set *set,
 3041 __isl_give isl_set *isl_set_drop_constraints_involving_dims(
 3042 	__isl_take isl_set *set,
 3051 __isl_give isl_set *isl_set_drop_constraints_not_involving_dims(
 3052 	__isl_take isl_set *set,
 3141 __isl_give isl_set *isl_set_remove_unknown_divs(__isl_take isl_set *set)
 3141 __isl_give isl_set *isl_set_remove_unknown_divs(__isl_take isl_set *set)
 3180 __isl_give isl_set *isl_set_remove_dims(__isl_take isl_set *bset,
 3180 __isl_give isl_set *isl_set_remove_dims(__isl_take isl_set *bset,
 3355 __isl_give isl_set *isl_set_alloc_space(__isl_take isl_space *space, int n,
 3400 struct isl_set *isl_set_grow(struct isl_set *set, int n)
 3400 struct isl_set *isl_set_grow(struct isl_set *set, int n)
 3405 __isl_give isl_set *isl_set_from_basic_set(__isl_take isl_basic_set *bset)
 3421 __isl_give isl_set *isl_set_add_basic_set(__isl_take isl_set *set,
 3421 __isl_give isl_set *isl_set_add_basic_set(__isl_take isl_set *set,
 3428 __isl_null isl_set *isl_set_free(__isl_take isl_set *set)
 3428 __isl_null isl_set *isl_set_free(__isl_take isl_set *set)
 3433 void isl_set_print_internal(struct isl_set *set, FILE *out, int indent)
 3815 struct isl_set *isl_set_intersect(struct isl_set *set1, struct isl_set *set2)
 3815 struct isl_set *isl_set_intersect(struct isl_set *set1, struct isl_set *set2)
 3815 struct isl_set *isl_set_intersect(struct isl_set *set1, struct isl_set *set2)
 3825 		__isl_take isl_set *params)
 3836 __isl_give isl_set *isl_set_intersect_params(__isl_take isl_set *set,
 3836 __isl_give isl_set *isl_set_intersect_params(__isl_take isl_set *set,
 3837 		__isl_take isl_set *params)
 3998 __isl_give isl_set *isl_set_insert_dims(__isl_take isl_set *set,
 3998 __isl_give isl_set *isl_set_insert_dims(__isl_take isl_set *set,
 4012 __isl_give isl_set *isl_set_add_dims(__isl_take isl_set *set,
 4012 __isl_give isl_set *isl_set_add_dims(__isl_take isl_set *set,
 4128 __isl_give isl_set *isl_set_move_dims(__isl_take isl_set *set,
 4128 __isl_give isl_set *isl_set_move_dims(__isl_take isl_set *set,
 4428 __isl_give isl_set *isl_set_project_out(__isl_take isl_set *set,
 4428 __isl_give isl_set *isl_set_project_out(__isl_take isl_set *set,
 4439 __isl_give isl_map *isl_set_project_onto_map(__isl_take isl_set *set,
 4669 __isl_give isl_set *isl_set_sum(__isl_take isl_set *set1,
 4669 __isl_give isl_set *isl_set_sum(__isl_take isl_set *set1,
 4670 	__isl_take isl_set *set2)
 4728 __isl_give isl_set *isl_set_neg(__isl_take isl_set *set)
 4728 __isl_give isl_set *isl_set_neg(__isl_take isl_set *set)
 5132 __isl_give isl_map *isl_set_lex_le_set(__isl_take isl_set *set1,
 5133 	__isl_take isl_set *set2)
 5142 __isl_give isl_map *isl_set_lex_lt_set(__isl_take isl_set *set1,
 5143 	__isl_take isl_set *set2)
 5152 __isl_give isl_map *isl_set_lex_ge_set(__isl_take isl_set *set1,
 5153 	__isl_take isl_set *set2)
 5162 __isl_give isl_map *isl_set_lex_gt_set(__isl_take isl_set *set1,
 5163 	__isl_take isl_set *set2)
 5468 __isl_give isl_set *isl_map_underlying_set(__isl_take isl_map *map)
 5619 __isl_give isl_set *isl_set_reset_space(__isl_take isl_set *set,
 5619 __isl_give isl_set *isl_set_reset_space(__isl_take isl_set *set,
 5661 __isl_give isl_set *isl_set_params(__isl_take isl_set *set)
 5661 __isl_give isl_set *isl_set_params(__isl_take isl_set *set)
 5679 __isl_give isl_set *isl_set_from_params(__isl_take isl_set *set)
 5679 __isl_give isl_set *isl_set_from_params(__isl_take isl_set *set)
 5690 __isl_give isl_set *isl_map_params(__isl_take isl_map *map)
 5825 __isl_give isl_set *isl_map_range(__isl_take isl_map *map)
 5829 	struct isl_set *set;
 5913 __isl_give isl_map *isl_set_wrapped_domain_map(__isl_take isl_set *set)
 5950 __isl_give isl_map *isl_map_from_range(__isl_take isl_set *set)
 5963 __isl_give isl_map *isl_map_from_domain(__isl_take isl_set *set)
 5974 __isl_give isl_map *isl_map_from_domain_and_range(__isl_take isl_set *domain,
 5975 	__isl_take isl_set *range)
 6075 __isl_give isl_set *isl_set_nat_universe(__isl_take isl_space *dim)
 6085 __isl_give isl_set *isl_set_empty(__isl_take isl_space *space)
 6100 __isl_give isl_set *isl_set_universe(__isl_take isl_space *space)
 6102 	struct isl_set *set;
 6367 __isl_give isl_set *isl_set_fix_si(__isl_take isl_set *set,
 6367 __isl_give isl_set *isl_set_fix_si(__isl_take isl_set *set,
 6395 __isl_give isl_set *isl_set_fix(__isl_take isl_set *set,
 6395 __isl_give isl_set *isl_set_fix(__isl_take isl_set *set,
 6438 __isl_give isl_set *isl_set_fix_val(__isl_take isl_set *set,
 6438 __isl_give isl_set *isl_set_fix_val(__isl_take isl_set *set,
 6450 struct isl_set *isl_set_fix_dim_si(struct isl_set *set, unsigned dim, int value)
 6450 struct isl_set *isl_set_fix_dim_si(struct isl_set *set, unsigned dim, int value)
 6536 __isl_give isl_set *isl_set_lower_bound_si(__isl_take isl_set *set,
 6536 __isl_give isl_set *isl_set_lower_bound_si(__isl_take isl_set *set,
 6543 __isl_give isl_set *isl_set_upper_bound_si(__isl_take isl_set *set,
 6543 __isl_give isl_set *isl_set_upper_bound_si(__isl_take isl_set *set,
 6621 __isl_give isl_set *isl_set_lower_bound(__isl_take isl_set *set,
 6621 __isl_give isl_set *isl_set_lower_bound(__isl_take isl_set *set,
 6627 __isl_give isl_set *isl_set_upper_bound(__isl_take isl_set *set,
 6627 __isl_give isl_set *isl_set_upper_bound(__isl_take isl_set *set,
 6636 __isl_give isl_set *isl_set_lower_bound_val(__isl_take isl_set *set,
 6636 __isl_give isl_set *isl_set_lower_bound_val(__isl_take isl_set *set,
 6656 __isl_give isl_set *isl_set_upper_bound_val(__isl_take isl_set *set,
 6656 __isl_give isl_set *isl_set_upper_bound_val(__isl_take isl_set *set,
 6774 	__isl_take isl_map *map, __isl_take isl_set *dom,
 6775 	__isl_give isl_set **empty, unsigned flags)
 6780 	isl_set *todo;
 6865 	__isl_take isl_map *map, __isl_take isl_set *dom,
 6866 	__isl_give isl_set **empty, unsigned flags)
 6903 		__isl_take isl_map *map, __isl_take isl_set *dom,
 6904 		__isl_give isl_set **empty)
 6910 		__isl_take isl_map *map, __isl_take isl_set *dom,
 6911 		__isl_give isl_set **empty)
 6916 __isl_give isl_set *isl_set_partial_lexmin(
 6917 		__isl_take isl_set *set, __isl_take isl_set *dom,
 6917 		__isl_take isl_set *set, __isl_take isl_set *dom,
 6918 		__isl_give isl_set **empty)
 6924 __isl_give isl_set *isl_set_partial_lexmax(
 6925 		__isl_take isl_set *set, __isl_take isl_set *dom,
 6925 		__isl_take isl_set *set, __isl_take isl_set *dom,
 6926 		__isl_give isl_set **empty)
 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)
 6962 static __isl_give isl_set *isl_basic_set_lexmin_compute_divs(
 7050 static __isl_give isl_pw_aff *set_dim_opt(__isl_take isl_set *set, int pos,
 7059 __isl_give isl_pw_aff *isl_set_dim_max(__isl_take isl_set *set, int pos)
 7067 __isl_give isl_pw_aff *isl_set_dim_min(__isl_take isl_set *set, int pos)
 7108 static __isl_give isl_set *set_parameter_preimage(__isl_take isl_set *set,
 7108 static __isl_give isl_set *set_parameter_preimage(__isl_take isl_set *set,
 7180 static struct isl_set *set_append_equalities(struct isl_set *set,
 7180 static struct isl_set *set_append_equalities(struct isl_set *set,
 7242 static __isl_give isl_set *base_compute_divs(__isl_take isl_basic_set *bset)
 7245 	isl_set *set;
 7286 static struct isl_set *parameter_compute_divs(struct isl_basic_set *bset)
 7291 	struct isl_set *set;
 7451 	struct isl_set *set;
 7663 __isl_give isl_set *isl_basic_set_compute_divs(__isl_take isl_basic_set *bset)
 7668 struct isl_set *isl_set_compute_divs(struct isl_set *set)
 7668 struct isl_set *isl_set_compute_divs(struct isl_set *set)
 7673 __isl_give isl_set *isl_map_domain(__isl_take isl_map *map)
 7676 	struct isl_set *set;
 7844 __isl_give isl_set *isl_set_union_disjoint(
 7845 	__isl_take isl_set *set1, __isl_take isl_set *set2)
 7845 	__isl_take isl_set *set1, __isl_take isl_set *set2)
 7851 struct isl_set *isl_set_union(struct isl_set *set1, struct isl_set *set2)
 7851 struct isl_set *isl_set_union(struct isl_set *set1, struct isl_set *set2)
 7851 struct isl_set *isl_set_union(struct isl_set *set1, struct isl_set *set2)
 7862 	__isl_take isl_set *set,
 7896 	__isl_take isl_set *set)
 7915 	__isl_take isl_set *set)
 7921 	__isl_take isl_set *set)
 7940 	__isl_take isl_set *set)
 8109 __isl_give isl_set *isl_map_deltas(__isl_take isl_map *map)
 8113 	struct isl_set *result;
 8268 __isl_give isl_map *isl_set_identity(__isl_take isl_set *set)
 8349 __isl_give isl_set *isl_set_split_dims(__isl_take isl_set *set,
 8349 __isl_give isl_set *isl_set_split_dims(__isl_take isl_set *set,
 8379 static isl_stat foreach_orthant(__isl_take isl_set *set, int *signs, int first,
 8381 	isl_stat (*fn)(__isl_take isl_set *orthant, int *signs, void *user),
 8384 	isl_set *half;
 8417 isl_stat isl_set_foreach_orthant(__isl_keep isl_set *set,
 8418 	isl_stat (*fn)(__isl_take isl_set *orthant, int *signs, void *user),
 8444 isl_bool isl_set_is_equal(__isl_keep isl_set *set1, __isl_keep isl_set *set2)
 8444 isl_bool isl_set_is_equal(__isl_keep isl_set *set1, __isl_keep isl_set *set2)
 8519 isl_bool isl_set_plain_is_empty(__isl_keep isl_set *set)
 8524 isl_bool isl_set_is_empty(__isl_keep isl_set *set)
 8538 isl_bool isl_set_has_equal_space(__isl_keep isl_set *set1,
 8539 	__isl_keep isl_set *set2)
 8607 isl_bool isl_set_is_strict_subset(__isl_keep isl_set *set1,
 8608 	__isl_keep isl_set *set2)
 8700 isl_bool isl_set_plain_is_universe(__isl_keep isl_set *set)
 8808 struct isl_set *isl_basic_set_union(
 9057 struct isl_set *isl_set_align_divs(struct isl_set *set)
 9057 struct isl_set *isl_set_align_divs(struct isl_set *set)
 9115 static __isl_give isl_set *set_apply( __isl_take isl_set *set,
 9115 static __isl_give isl_set *set_apply( __isl_take isl_set *set,
 9135 __isl_give isl_set *isl_set_apply( __isl_take isl_set *set,
 9135 __isl_give isl_set *isl_set_apply( __isl_take isl_set *set,
 9157 struct isl_set *isl_set_remove_empty_parts(struct isl_set *set)
 9157 struct isl_set *isl_set_remove_empty_parts(struct isl_set *set)
 9314 int isl_set_follows_at(__isl_keep isl_set *set1,
 9315 	__isl_keep isl_set *set2, int pos)
 9481 __isl_give isl_val *isl_set_plain_get_val_if_fixed(__isl_keep isl_set *set,
 9650 int isl_set_plain_cmp(__isl_keep isl_set *set1, __isl_keep isl_set *set2)
 9650 int isl_set_plain_cmp(__isl_keep isl_set *set1, __isl_keep isl_set *set2)
 9781 struct isl_set *isl_set_normalize(struct isl_set *set)
 9781 struct isl_set *isl_set_normalize(struct isl_set *set)
 9821 isl_bool isl_set_plain_is_equal(__isl_keep isl_set *set1,
 9822 	__isl_keep isl_set *set2)
 9894 __isl_give isl_set *isl_basic_set_list_union(
 9900 	isl_set *set;
 9929 __isl_give isl_set *isl_set_list_union(__isl_take isl_set_list *list)
 9932 	isl_set *set;
 9943 		isl_set *set_i;
10216 struct isl_set *isl_set_product(struct isl_set *set1, struct isl_set *set2)
10216 struct isl_set *isl_set_product(struct isl_set *set1, struct isl_set *set2)
10216 struct isl_set *isl_set_product(struct isl_set *set1, struct isl_set *set2)
10221 __isl_give isl_set *isl_set_flat_product(__isl_take isl_set *set1,
10221 __isl_give isl_set *isl_set_flat_product(__isl_take isl_set *set1,
10222 	__isl_take isl_set *set2)
10496 uint32_t isl_set_get_hash(__isl_keep isl_set *set)
10508 int isl_set_n_basic_set(__isl_keep isl_set *set)
10528 isl_stat isl_set_foreach_basic_set(__isl_keep isl_set *set,
10546 	__isl_keep isl_set *set)
10593 __isl_give isl_set *isl_set_lift(__isl_take isl_set *set)
10593 __isl_give isl_set *isl_set_lift(__isl_take isl_set *set)
10644 int isl_set_size(__isl_keep isl_set *set)
10732 isl_bool isl_set_dim_is_bounded(__isl_keep isl_set *set,
10762 isl_bool isl_set_dim_has_any_lower_bound(__isl_keep isl_set *set,
10771 isl_bool isl_set_dim_has_any_upper_bound(__isl_keep isl_set *set,
10802 isl_bool isl_set_dim_has_lower_bound(__isl_keep isl_set *set,
10810 isl_bool isl_set_dim_has_upper_bound(__isl_keep isl_set *set,
11248 isl_bool isl_set_is_singleton(__isl_keep isl_set *set)
11282 	isl_set *delta;
11342 isl_bool isl_set_is_box(__isl_keep isl_set *set)
11360 isl_bool isl_set_is_wrapping(__isl_keep isl_set *set)
11444 __isl_give isl_set *isl_map_wrap(__isl_take isl_map *map)
11470 __isl_give isl_map *isl_set_unwrap(__isl_take isl_set *set)
11623 __isl_give isl_set *isl_set_flatten(__isl_take isl_set *set)
11623 __isl_give isl_set *isl_set_flatten(__isl_take isl_set *set)
11628 __isl_give isl_map *isl_set_flatten_map(__isl_take isl_set *set)
11739 __isl_give isl_set *isl_set_realign(__isl_take isl_set *set,
11739 __isl_give isl_set *isl_set_realign(__isl_take isl_set *set,
11779 __isl_give isl_set *isl_set_align_params(__isl_take isl_set *set,
11779 __isl_give isl_set *isl_set_align_params(__isl_take isl_set *set,
11853 isl_bool isl_set_space_has_equal_params(__isl_keep isl_set *set,
11892 __isl_give isl_set *isl_set_drop_unused_params(
11893 	__isl_take isl_set *set)
12310 __isl_give isl_set *isl_set_equate(__isl_take isl_set *set,
12310 __isl_give isl_set *isl_set_equate(__isl_take isl_set *set,
12698 __isl_give isl_set *isl_set_substitute(__isl_take isl_set *set,
12698 __isl_give isl_set *isl_set_substitute(__isl_take isl_set *set,
13193 __isl_give isl_set *isl_set_preimage_multi_aff(__isl_take isl_set *set,
13193 __isl_give isl_set *isl_set_preimage_multi_aff(__isl_take isl_set *set,
13317 __isl_give isl_set *isl_set_preimage_pw_multi_aff(__isl_take isl_set *set,
13317 __isl_give isl_set *isl_set_preimage_pw_multi_aff(__isl_take isl_set *set,
13410 __isl_give isl_set *isl_set_preimage_multi_pw_aff(__isl_take isl_set *set,
13410 __isl_give isl_set *isl_set_preimage_multi_pw_aff(__isl_take isl_set *set,

   33 	__isl_give isl_set **empty, unsigned flags)
   41 	__isl_give isl_set **empty)
   49 	__isl_give isl_set **empty)
   57 	__isl_give isl_set **empty)
   64 	__isl_give isl_set **empty)
   87 	__isl_take isl_basic_map *bmap, __isl_take isl_set *dom,
   88 	__isl_give isl_set **empty, unsigned flags)
   92 	isl_set *all_empty;
  158 	__isl_take isl_map *map, __isl_take isl_set *dom,
  159 	__isl_give isl_set **empty, unsigned flags);
  162 	__isl_take isl_map *map, __isl_take isl_set *dom,
  163 	__isl_give isl_set **empty, unsigned flags)
  173 	__isl_take isl_map *map, __isl_take isl_set *dom,
  174 	__isl_give isl_set **empty, unsigned flags)
  221 __isl_give TYPE *SF(isl_set_lexmin,SUFFIX)(__isl_take isl_set *set)
  226 __isl_give TYPE *SF(isl_set_lexmax,SUFFIX)(__isl_take isl_set *set)

  149 __isl_give isl_set *isl_set_add_basic_set(__isl_take isl_set *set,
  149 __isl_give isl_set *isl_set_add_basic_set(__isl_take isl_set *set,
  161 __isl_give isl_set *isl_set_realign(__isl_take isl_set *set,
  161 __isl_give isl_set *isl_set_realign(__isl_take isl_set *set,
  191 	__isl_keep isl_set *set);
  208 struct isl_set *isl_set_grow(struct isl_set *set, int n);
  208 struct isl_set *isl_set_grow(struct isl_set *set, int n);
  217 __isl_give isl_set *isl_set_alloc_space(__isl_take isl_space *dim, int n,
  260 __isl_give isl_set *isl_set_cow(__isl_take isl_set *set);
  260 __isl_give isl_set *isl_set_cow(__isl_take isl_set *set);
  265 __isl_give isl_set *isl_basic_set_list_union(
  316 __isl_give isl_set *isl_map_underlying_set(__isl_take isl_map *map);
  329 __isl_give isl_set *isl_set_drop(__isl_take isl_set *set,
  329 __isl_give isl_set *isl_set_drop(__isl_take isl_set *set,
  344 struct isl_set *isl_set_remove_empty_parts(struct isl_set *set);
  344 struct isl_set *isl_set_remove_empty_parts(struct isl_set *set);
  347 struct isl_set *isl_set_normalize(struct isl_set *set);
  347 struct isl_set *isl_set_normalize(struct isl_set *set);
  349 struct isl_set *isl_set_drop_vars(
  350 		struct isl_set *set, unsigned first, unsigned n);
  359 __isl_give isl_set *isl_set_eliminate(__isl_take isl_set *set,
  359 __isl_give isl_set *isl_set_eliminate(__isl_take isl_set *set,
  377 	__isl_take isl_set *set);
  383 __isl_give isl_set *isl_set_set_rational(__isl_take isl_set *set);
  383 __isl_give isl_set *isl_set_set_rational(__isl_take isl_set *set);
  389 isl_bool isl_set_is_rational(__isl_keep isl_set *set);
  392 isl_bool isl_set_has_rational(__isl_keep isl_set *set);
  404 __isl_give isl_set *isl_set_preimage(
  405 	__isl_take isl_set *set, __isl_take isl_mat *mat);
  414 isl_int *isl_set_wrap_facet(__isl_keep isl_set *set,
  419 isl_bool isl_set_contains_point(__isl_keep isl_set *set,
  424 isl_stat isl_set_foreach_orthant(__isl_keep isl_set *set,
  425 	isl_stat (*fn)(__isl_take isl_set *orthant, int *signs, void *user),
  474 isl_bool isl_set_space_has_equal_params(__isl_keep isl_set *set,
  487 __isl_give isl_set *isl_set_substitute(__isl_take isl_set *set,
  487 __isl_give isl_set *isl_set_substitute(__isl_take isl_set *set,
  490 __isl_give isl_set *isl_set_gist_params_basic_set(__isl_take isl_set *set,
  490 __isl_give isl_set *isl_set_gist_params_basic_set(__isl_take isl_set *set,
  494 	__isl_keep isl_set *set);
  505 __isl_give isl_set *isl_set_plain_gist_basic_set(__isl_take isl_set *set,
  505 __isl_give isl_set *isl_set_plain_gist_basic_set(__isl_take isl_set *set,
  519 isl_stat isl_set_dim_residue_class(__isl_keep isl_set *set,
  526 __isl_give isl_set *isl_set_fix(__isl_take isl_set *set,
  526 __isl_give isl_set *isl_set_fix(__isl_take isl_set *set,
  542 int isl_set_count_upto(__isl_keep isl_set *set, isl_int max, isl_int *count);

 3380 __isl_give isl_set *isl_set_plain_gist_basic_set(__isl_take isl_set *set,
 3380 __isl_give isl_set *isl_set_plain_gist_basic_set(__isl_take isl_set *set,
 3511 __isl_give isl_set *isl_set_gist_basic_set(__isl_take isl_set *set,
 3511 __isl_give isl_set *isl_set_gist_basic_set(__isl_take isl_set *set,
 3518 __isl_give isl_set *isl_set_gist_params_basic_set(__isl_take isl_set *set,
 3518 __isl_give isl_set *isl_set_gist_params_basic_set(__isl_take isl_set *set,
 3527 __isl_give isl_set *isl_set_gist(__isl_take isl_set *set,
 3527 __isl_give isl_set *isl_set_gist(__isl_take isl_set *set,
 3528 	__isl_take isl_set *context)
 3547 	__isl_take isl_set *context)
 3555 	__isl_take isl_set *context)
 3563 	__isl_take isl_set *context)
 3570 __isl_give isl_set *isl_set_gist_params(__isl_take isl_set *set,
 3570 __isl_give isl_set *isl_set_gist_params(__isl_take isl_set *set,
 3571 	__isl_take isl_set *context)
 3850 isl_bool isl_set_plain_is_disjoint(__isl_keep isl_set *set1,
 3851 	__isl_keep isl_set *set2)
 3858 isl_bool isl_set_is_disjoint(__isl_keep isl_set *set1, __isl_keep isl_set *set2)
 3858 isl_bool isl_set_is_disjoint(__isl_keep isl_set *set1, __isl_keep isl_set *set2)

  584 struct isl_set *isl_set_subtract(struct isl_set *set1, struct isl_set *set2)
  584 struct isl_set *isl_set_subtract(struct isl_set *set1, struct isl_set *set2)
  584 struct isl_set *isl_set_subtract(struct isl_set *set1, struct isl_set *set2)
  593 	__isl_take isl_set *dom)
  615 	__isl_take isl_set *dom)
  623 	__isl_take isl_set *dom)
  645 	__isl_take isl_set *dom)
  883 isl_bool isl_set_is_subset(__isl_keep isl_set *set1, __isl_keep isl_set *set2)
  883 isl_bool isl_set_is_subset(__isl_keep isl_set *set1, __isl_keep isl_set *set2)
  924 __isl_give isl_set *isl_set_make_disjoint(__isl_take isl_set *set)
  924 __isl_give isl_set *isl_set_make_disjoint(__isl_take isl_set *set)
  941 __isl_give isl_set *isl_set_complement(__isl_take isl_set *set)
  941 __isl_give isl_set *isl_set_complement(__isl_take isl_set *set)

 1409 __isl_give isl_set *isl_set_preimage(
 1410 	__isl_take isl_set *set, __isl_take isl_mat *mat)

  705 __isl_give isl_set *isl_morph_set(__isl_take isl_morph *morph,
  706 	__isl_take isl_set *set)

   80 __isl_give isl_set *isl_morph_set(__isl_take isl_morph *morph,
   81 	__isl_take isl_set *set);

  101 		isl_set *params;

   26 	__isl_take MULTI(BASE) *multi, __isl_take isl_set *context)

   76 		isl_set *params;
  117 	__isl_take MULTI(BASE) *multi, __isl_take isl_set *domain)
  133 	__isl_take MULTI(BASE) *multi, __isl_take isl_set *domain)
  145 	__isl_take MULTI(BASE) *multi, __isl_take isl_set *domain)

   36 	isl_set *dom;

 1553 __isl_give isl_set *FN(MULTI(BASE),domain)(__isl_take MULTI(BASE) *multi)
 1556 	isl_set *dom;
 1569 		isl_set *dom_i;

  161 static __isl_give isl_printer *isl_set_print_polylib(__isl_keep isl_set *set,
 1026 static __isl_give isl_printer *isl_set_print_omega(__isl_keep isl_set *set,
 1186 static __isl_give isl_printer *print_disjuncts_set(__isl_keep isl_set *set,
 1522 	__isl_keep isl_set *set)
 2216 	__isl_keep isl_space *dim, __isl_keep isl_set *set)
 2806 	isl_set *domain;

  404 isl_stat isl_set_foreach_point(__isl_keep isl_set *set,
  507 isl_bool isl_set_contains_point(__isl_keep isl_set *set,
  529 __isl_give isl_set *isl_set_from_point(__isl_take isl_point *pnt)
  639 __isl_give isl_set *isl_set_box_from_points(__isl_take isl_point *pnt1,

 1549 	__isl_keep isl_set *dom,
 2894 	__isl_take isl_qpolynomial *qp, __isl_take isl_set *context)
 2919 	__isl_take isl_qpolynomial *qp, __isl_take isl_set *context)
 2922 	isl_set *dom_context = isl_set_universe(space);
 2930 	isl_set *dom;
 3032 			struct isl_set *common;
 3396 		isl_set *dom;
 4055 static __isl_give isl_set *fix_inactive(__isl_take isl_set *set,
 4055 static __isl_give isl_set *fix_inactive(__isl_take isl_set *set,
 4131 	__isl_take isl_qpolynomial *qp, __isl_take isl_set *set, int max)
 4306 static __isl_give isl_set *set_div_slice(__isl_take isl_space *dim,
 4341 static isl_stat split_periods(__isl_take isl_set *set,
 4348 static isl_stat set_div(__isl_take isl_set *set,
 4354 	isl_set *slice;
 4387 static isl_stat split_div(__isl_take isl_set *set,
 4392 		isl_set *set_i = isl_set_copy(set);
 4413 static isl_stat split_periods(__isl_take isl_set *set,
 4554 	isl_set *set;
 4823 static isl_stat to_polynomial_on_orthant(__isl_take isl_set *orthant,

   53 	struct isl_set *set;
   93 	struct isl_set *set;
  161 	__isl_keep isl_set *dom,
  183 	__isl_take isl_set *set, __isl_take isl_qpolynomial *qp);
  191 	__isl_take isl_qpolynomial *qp, __isl_take isl_set *set, int max);
  204 	__isl_keep isl_set *set,
  208 	__isl_keep isl_set *set,
  216 	__isl_take isl_qpolynomial_fold *fold, __isl_take isl_set *set, int max);
  240 	__isl_take isl_qpolynomial_fold *fold, __isl_take isl_set *context);

   66 	__isl_take isl_set *set, __isl_take EL *el)
  107 	__isl_keep isl_set *set)
  125 	__isl_keep isl_set *set)
  141 	__isl_take isl_set *set, __isl_take EL *el)
  143 __isl_give PW *FN(PW,alloc)(__isl_take isl_set *set, __isl_take EL *el)
  373 	__isl_take isl_set *set,
  374 	__isl_give PW *(*fn)(__isl_take PW *pw, __isl_take isl_set *set))
  408 	isl_set *set;
  441 			struct isl_set *common;
  610 			isl_set *common;
  706 __isl_give isl_set *FN(PW,params)(__isl_take PW *pw)
  711 __isl_give isl_set *FN(PW,domain)(__isl_take PW *pw)
  714 	isl_set *dom;
  818 	__isl_take isl_set *set,
  819 	__isl_give isl_set *(*fn)(__isl_take isl_set *set1,
  819 	__isl_give isl_set *(*fn)(__isl_take isl_set *set1,
  820 				    __isl_take isl_set *set2))
  851 	__isl_take isl_set *set)
  857 	__isl_take isl_set *context)
  864 	__isl_take isl_set *set)
  873 	__isl_take isl_set *context)
  883 	__isl_take isl_set *domain)
  891 	__isl_take isl_set *domain)
  905 	__isl_take isl_set *context,
  906 	__isl_give EL *(*fn_el)(__isl_take EL *el, __isl_take isl_set *set))
  939 	__isl_take isl_set *context,
  941 				    __isl_take isl_set *set),
  942 	__isl_give isl_set *(*fn_dom)(__isl_take isl_set *set,
  942 	__isl_give isl_set *(*fn_dom)(__isl_take isl_set *set,
  992 		isl_set *set_i;
 1033 	__isl_take isl_set *set)
 1039 __isl_give PW *FN(PW,gist)(__isl_take PW *pw, __isl_take isl_set *context)
 1046 	__isl_take isl_set *set)
 1053 	__isl_take isl_set *context)
 1085 	isl_set *set;
 1689 	isl_stat (*fn)(__isl_take isl_set *set, __isl_take EL *el, void *user),
 1706 static isl_bool any_divs(__isl_keep isl_set *set)
 1720 static isl_stat foreach_lifted_subset(__isl_take isl_set *set,
 1722 	isl_stat (*fn)(__isl_take isl_set *set, __isl_take EL *el,
 1731 		isl_set *lift;
 1755 	isl_stat (*fn)(__isl_take isl_set *set, __isl_take EL *el,
 1765 		isl_set *set;
 1984 	isl_set *set;

   18 static __isl_give isl_set *FN(PW,better)(__isl_keep EL *el1, __isl_keep EL *el2,
   19 	__isl_give isl_set *(*cmp)(__isl_take EL *el1, __isl_take EL *el2))
   46 static __isl_give isl_set *FN(PW,better_or_out)(__isl_take isl_set *set,
   46 static __isl_give isl_set *FN(PW,better_or_out)(__isl_take isl_set *set,
   47 	__isl_take isl_set *better, __isl_take isl_set *out)
   47 	__isl_take isl_set *better, __isl_take isl_set *out)
   49 	isl_set *set_better, *set_out;
   61 static __isl_give isl_set *FN(PW,worse_or_out)(__isl_take isl_set *set,
   61 static __isl_give isl_set *FN(PW,worse_or_out)(__isl_take isl_set *set,
   62 	__isl_take isl_set *better, __isl_take isl_set *out)
   62 	__isl_take isl_set *better, __isl_take isl_set *out)
   64 	isl_set *set_worse, *set_out;
  101 		isl_set *set;
  184 	__isl_give isl_set *(*cmp)(__isl_take EL *el1, __isl_take EL *el2))
  189 	isl_set *set = NULL;
  221 			isl_set *better, *set_i, *set_j;

 1267 __isl_give isl_basic_set *isl_set_sample(__isl_take isl_set *set)
 1284 __isl_give isl_point *isl_set_sample_point(__isl_take isl_set *set)

  223 isl_stat isl_set_scan(__isl_take isl_set *set,
  276 int isl_set_count_upto(__isl_keep isl_set *set, isl_int max, isl_int *count)
  302 int isl_set_count(__isl_keep isl_set *set, isl_int *count)
  312 __isl_give isl_val *isl_set_count_val(__isl_keep isl_set *set)

   23 isl_stat isl_set_scan(__isl_take isl_set *set,

  107 	isl_set	*hull;
  748 static isl_stat init_n_maxvar(__isl_take isl_set *set, void *user)
  909 static __isl_give isl_val *compute_size(__isl_take isl_set *set, int dim)
  949 	__isl_take isl_set *set)
  993 	__isl_take isl_set *set, int nvar, int compressed,
  994 	__isl_take isl_set *hull, __isl_take isl_multi_aff *compress,
 1042 static __isl_give isl_id *construct_compressed_id(__isl_keep isl_set *set,
 1082 static isl_stat extract_node(__isl_take isl_set *set, void *user)
 1088 	isl_set *hull_set;
 1184 	isl_set *domain, *range;
 1209 	isl_set *dom, *ran;
 1229 	isl_set *set;
 1593 static __isl_give isl_set *drop_coalescing_constraints(
 1594 	__isl_take isl_set *delta, struct isl_sched_node *node)
 1644 	isl_set *delta;
 1696 	isl_set *set;
 3391 	isl_set *set;
 4673 static isl_stat collect_bounds(__isl_take isl_set *set, void *user)
 4678 	isl_set *bounds;
 4736 	isl_set *univ;
 4784 static isl_stat add_lineality(__isl_take isl_set *set, void *user)
 6464 static isl_bool distance_is_bounded(__isl_keep isl_set *set, int pos)
 6467 	isl_set *test;
 6491 static isl_bool has_single_value(__isl_keep isl_set *set, int pos)
 6513 	isl_set *set;
 6563 	isl_set *dist;

  300 static void set_detect_stride(__isl_keep isl_set *set, int pos,
  336 __isl_give isl_stride_info *isl_set_get_stride_info(__isl_keep isl_set *set,
  350 __isl_give isl_val *isl_set_get_stride(__isl_keep isl_set *set, int pos)
  373 	isl_set *set;

  258 	__isl_give isl_set **empty, unsigned flags);
  261 	__isl_give isl_set **empty, unsigned flags);

   51 	__isl_give isl_set **empty, int max, int first, int second)
  146 	__isl_give isl_set **empty, int max)
  196 	__isl_give isl_set **empty, unsigned flags)

  456 	isl_set *set;
  754 	struct isl_set	*empty;
 4364 	__isl_give isl_set **empty, int max,
 4411 	__isl_give isl_set **empty, int max)
 4641 static __isl_give isl_set *set_minimum(__isl_take isl_space *dim,
 4646 	isl_set *set = NULL;
 4741 static isl_bool need_split_set(__isl_keep isl_set *set, __isl_keep isl_mat *cst)
 4769 static __isl_give isl_set *split(__isl_take isl_set *empty,
 4769 static __isl_give isl_set *split(__isl_take isl_set *empty,
 4770 	__isl_take isl_set *min_expr, __isl_take isl_mat *cst)
 4775 	isl_set *res;
 4787 		isl_set *set;
 4820 	__isl_take isl_set *min_expr, __isl_take isl_mat *cst)
 4864 	__isl_give isl_set **empty, int max);
 4877 	__isl_give isl_set **empty, int max, __isl_take isl_mat *cst,
 4881 	isl_set *min_expr;
 5620 	isl_set *empty;
 5734 	__isl_give isl_set **empty, int max)
 5854 	__isl_take isl_set *min_expr, __isl_take isl_mat *cst)
 5907 	__isl_give isl_set **empty, int max);
 5921 	__isl_give isl_set **empty, int max, __isl_take isl_mat *cst,
 5926 	isl_set *min_expr;

  176 	isl_set *dom;
  266 	isl_set *dom;
  491 	isl_set *set;
  929 	isl_set *set;
 1258 	isl_set *set;
 1368 	isl_set *set;
 1395 	isl_set *set;
 1426 	struct isl_set *set;
 1495 		isl_set *set1, *set2;
 1740 		isl_set *set1, *set2, *copy, *context;
 1830 	isl_set *set, *set2;
 2214 	isl_set *set;
 2242 	isl_set *set1, *set2;
 2300 	isl_set *dom;
 2651 	isl_set *set;
 2652 	isl_set *set2;
 2734 	isl_set *set;
 2792 	__isl_give isl_val *(*fn)(__isl_keep isl_set *set,
 2810 	isl_set *set;
 3209 	isl_set *set;
 3440 	isl_set *set, *set2;
 3523 		isl_set *set;
 3663 	isl_set *set1, *set2;
 3731 	isl_set *set1, *set2;
 3841 	isl_set *set;
 3932 	isl_set *delta_set;
 3933 	isl_set *slice;
 3934 	isl_set *origin;
 4055 	isl_set *con;
 4138 	isl_set *set;
 5689 		__isl_take isl_set *set);
 5763 	isl_set *set;
 6257 	isl_set *set;
 6360 	isl_set *set;
 6382 	isl_set *set;
 6396 	isl_set *set1, *set2;
 6397 	isl_set *set;
 6579 	isl_set *set;
 6618 	isl_set *set, *set2;
 6658 	isl_set *set, *set2;
 7017 	isl_set *set;
 7045 	isl_set *set;
 7111 		isl_set *set;
 7163 	isl_set *set1, *set2;
 7425 	isl_set *set;
 7523 	isl_set *set1, *set2;
 7635 	isl_set *set1, *set2;
 8058 	isl_set *set;
 8107 	isl_set *set;
 8197 	isl_set *set;
 8237 	isl_set *set;
 8279 	isl_set *set;
 8318 	isl_set *set;
 8412 	isl_set *set;
 8532 	isl_set *dom, *dom2;
 8753 	isl_set *set;

  712 	struct isl_set *delta;
  825 static isl_bool isl_set_overlaps(__isl_keep isl_set *set1,
  826 	__isl_keep isl_set *set2)
  828 	isl_set *i;
  867 	struct isl_set *domain = NULL;
  868 	struct isl_set *range = NULL;
  941 	__isl_take isl_set *dom, __isl_keep isl_basic_map *bmap, int *exact)
  967 	__isl_keep isl_set *dom, __isl_keep isl_set *ran)
  967 	__isl_keep isl_set *dom, __isl_keep isl_set *ran)
  969 	isl_set *s;
 1035 static int composability(__isl_keep isl_set *C, int i,
 1036 	isl_set **dom, isl_set **ran, int *left, int *right,
 1036 	isl_set **dom, isl_set **ran, int *left, int *right,
 1216 	isl_set **dom, isl_set **ran, int *left, int *right,
 1216 	isl_set **dom, isl_set **ran, int *left, int *right,
 1220 	isl_set *C;
 1302 	isl_set **dom = NULL;
 1303 	isl_set **ran = NULL;
 1306 	isl_set *C;
 1320 	dom = isl_calloc_array(map->ctx, isl_set *, map->n);
 1321 	ran = isl_calloc_array(map->ctx, isl_set *, map->n);
 1436 static int merge(isl_set **set, int *group, __isl_take isl_set *dom, int pos)
 1436 static int merge(isl_set **set, int *group, __isl_take isl_set *dom, int pos)
 1656 	isl_set ***set, int *n_group)
 1662 	*set = isl_calloc_array(ctx, isl_set *, 2 * n);
 1669 		isl_set *dom;
 1717 	isl_set **set = NULL;
 2149 	__isl_take isl_set *dom, __isl_take isl_set *ran, int with_id)
 2149 	__isl_take isl_set *dom, __isl_take isl_set *ran, int with_id)
 2157 	isl_set *delta;
 2288 	isl_set *domain;
 2289 	isl_set *range;
 2313 	__isl_take isl_set *dom)
 2327 	isl_set *delta;
 2385 	isl_set *C;
 2612 	isl_set **set = NULL;

   78 	isl_set *set;
  428 	__isl_take isl_set *set)
  449 __isl_give isl_union_set *isl_union_set_from_set(__isl_take isl_set *set)
  634 __isl_give isl_set *isl_set_from_union_set(__isl_take isl_union_set *uset)
  666 __isl_give isl_set *isl_union_set_extract_set(__isl_keep isl_union_set *uset,
  696 	isl_stat (*fn)(__isl_take isl_set *set, void *user), void *user)
  707 static isl_stat foreach_point(__isl_take isl_set *set, void *user)
  921 	isl_set *set;
  946 	__isl_take isl_set *set, isl_stat (*fn)(void **, void *))
  978 	__isl_take isl_union_map *umap, __isl_take isl_set *set)
  998 	__isl_take isl_union_set *uset, __isl_take isl_set *set)
 1135 	__isl_take isl_union_map *umap, __isl_take isl_set *set)
 1141 	__isl_take isl_union_set *uset, __isl_take isl_set *set)
 1511 	isl_set *set2 = *entry;
 1812 static __isl_give isl_set *combined_lineality_space(__isl_take isl_set *set)
 1812 static __isl_give isl_set *combined_lineality_space(__isl_take isl_set *set)
 1993 __isl_give isl_set *isl_union_map_params(__isl_take isl_union_map *umap)
 2017 __isl_give isl_set *isl_union_set_params(__isl_take isl_union_set *uset)
 2141 static isl_stat identity_upma(__isl_take isl_set *set, void *user)
 2668 static isl_stat single_valued_on_domain(__isl_take isl_set *set, void *user)
 3017 static isl_bool plain_injective_on_range_wrap(__isl_keep isl_set *ran,
 3131 	isl_set *set = *entry;
 3168 	isl_set *set = *entry;
 3979 		isl_set *set;
 4118 static isl_stat add_n(__isl_take isl_set *set, void *user)
 4142 static isl_stat add_list(__isl_take isl_set *set, void *user)

  324 	isl_set *dom1, *dom2;

  615 	isl_set *set;
  616 	__isl_give PW *(*fn)(__isl_take PW*, __isl_take isl_set*);
  630 	__isl_take isl_set *set,
  631 	__isl_give PW *(*fn)(__isl_take PW*, __isl_take isl_set*))
  654 	__isl_take isl_set *set)
  663 	__isl_take isl_set *set)
  671 	__isl_give PW *(*fn)(__isl_take PW*, __isl_take isl_set*);
  676 	isl_set *set = (isl_set *)entry;
  676 	isl_set *set = (isl_set *)entry;
  718 	__isl_give PW *(*fn)(__isl_take PW*, __isl_take isl_set*))
  766 	isl_set *set;

    5 static __isl_give isl_set *set_from_map(__isl_take isl_map *map)
    7 	return (isl_set *) map;

    7 static __isl_give isl_map *set_to_map(__isl_take isl_set *set)