X-Git-Url: http://review.tizen.org/git/?a=blobdiff_plain;f=include%2Fisl%2Funion_set.h;h=dbc07857fb0f7e954ec189b1a139e5212e0506cd;hb=e41ef1ac5e734eb57a3dcfa9e651bd53def312cc;hp=3401f4ebb31546188377ae11ee99c6a6c9b0a26e;hpb=b76378b173ff6a7dbbcaea5794a8b6a07a23fcb4;p=platform%2Fupstream%2Fisl.git diff --git a/include/isl/union_set.h b/include/isl/union_set.h index 3401f4e..dbc0785 100644 --- a/include/isl/union_set.h +++ b/include/isl/union_set.h @@ -8,64 +8,80 @@ extern "C" { #endif +__isl_constructor __isl_give isl_union_set *isl_union_set_from_set(__isl_take isl_set *set); -__isl_give isl_union_set *isl_union_set_empty(__isl_take isl_dim *dim); +__isl_give isl_union_set *isl_union_set_empty(__isl_take isl_space *dim); __isl_give isl_union_set *isl_union_set_copy(__isl_keep isl_union_set *uset); void *isl_union_set_free(__isl_take isl_union_set *uset); isl_ctx *isl_union_set_get_ctx(__isl_keep isl_union_set *uset); -__isl_give isl_dim *isl_union_set_get_dim(__isl_keep isl_union_set *uset); +__isl_give isl_space *isl_union_set_get_space(__isl_keep isl_union_set *uset); __isl_give isl_union_set *isl_union_set_universe( __isl_take isl_union_set *uset); +__isl_export __isl_give isl_union_set *isl_union_set_detect_equalities( __isl_take isl_union_set *uset); +__isl_export __isl_give isl_union_set *isl_union_set_affine_hull( __isl_take isl_union_set *uset); +__isl_export __isl_give isl_union_set *isl_union_set_polyhedral_hull( __isl_take isl_union_set *uset); __isl_give isl_union_set *isl_union_set_simple_hull( __isl_take isl_union_set *uset); +__isl_export __isl_give isl_union_set *isl_union_set_coalesce( __isl_take isl_union_set *uset); __isl_give isl_union_set *isl_union_set_compute_divs( __isl_take isl_union_set *uset); +__isl_export __isl_give isl_union_set *isl_union_set_lexmin(__isl_take isl_union_set *uset); +__isl_export __isl_give isl_union_set *isl_union_set_lexmax(__isl_take isl_union_set *uset); __isl_give isl_union_set *isl_union_set_add_set(__isl_take isl_union_set *uset, __isl_take isl_set *set); __isl_give isl_union_set *isl_union_set_union(__isl_take isl_union_set *uset1, __isl_take isl_union_set *uset2); +__isl_export __isl_give isl_union_set *isl_union_set_subtract( __isl_take isl_union_set *uset1, __isl_take isl_union_set *uset2); +__isl_export __isl_give isl_union_set *isl_union_set_intersect( __isl_take isl_union_set *uset1, __isl_take isl_union_set *uset2); __isl_give isl_union_set *isl_union_set_product(__isl_take isl_union_set *uset1, __isl_take isl_union_set *uset2); +__isl_export __isl_give isl_union_set *isl_union_set_gist(__isl_take isl_union_set *uset, __isl_take isl_union_set *context); +__isl_export __isl_give isl_union_set *isl_union_set_apply( __isl_take isl_union_set *uset, __isl_take isl_union_map *umap); +__isl_export int isl_union_set_is_empty(__isl_keep isl_union_set *uset); +__isl_export int isl_union_set_is_subset(__isl_keep isl_union_set *uset1, __isl_keep isl_union_set *uset2); +__isl_export int isl_union_set_is_equal(__isl_keep isl_union_set *uset1, __isl_keep isl_union_set *uset2); +__isl_export int isl_union_set_is_strict_subset(__isl_keep isl_union_set *uset1, __isl_keep isl_union_set *uset2); int isl_union_set_n_set(__isl_keep isl_union_set *uset); +__isl_export int isl_union_set_foreach_set(__isl_keep isl_union_set *uset, int (*fn)(__isl_take isl_set *set, void *user), void *user); __isl_give int isl_union_set_contains(__isl_keep isl_union_set *uset, - __isl_keep isl_dim *dim); + __isl_keep isl_space *dim); __isl_give isl_set *isl_union_set_extract_set(__isl_keep isl_union_set *uset, - __isl_take isl_dim *dim); + __isl_take isl_space *dim); __isl_give isl_set *isl_set_from_union_set(__isl_take isl_union_set *uset); int isl_union_set_foreach_point(__isl_keep isl_union_set *uset, int (*fn)(__isl_take isl_point *pnt, void *user), void *user); @@ -90,7 +106,8 @@ __isl_give isl_union_set *isl_union_set_solutions( __isl_give isl_union_set *isl_union_set_read_from_file(isl_ctx *ctx, FILE *input); -__isl_give isl_union_set *isl_union_set_read_from_str(struct isl_ctx *ctx, +__isl_constructor +__isl_give isl_union_set *isl_union_set_read_from_str(isl_ctx *ctx, const char *str); __isl_give isl_printer *isl_printer_print_union_set(__isl_take isl_printer *p, __isl_keep isl_union_set *uset); @@ -100,4 +117,6 @@ void isl_union_set_dump(__isl_keep isl_union_set *uset); } #endif +#include + #endif