barvinok/isl.h

   1 #ifndef BARVINOK_ISL_H
   2 #define BARVINOK_ISL_H
   3
   4 #include <isl/polynomial.h>
   5 #include <isl/union_set.h>
   6
   7 #if defined(__cplusplus)
   8 extern "C" {
   9 #endif
  10
  11 __isl_export
  12 __isl_give isl_pw_qpolynomial *isl_basic_set_card(__isl_take isl_basic_set *bset);
  13 __isl_export
  14 __isl_give isl_pw_qpolynomial *isl_basic_map_card(__isl_take isl_basic_map *bmap);
  15 __isl_export
  16 __isl_give isl_pw_qpolynomial *isl_set_card(__isl_take isl_set *set);
  17 __isl_export
  18 __isl_give isl_pw_qpolynomial *isl_map_card(__isl_take isl_map *map);
  19 __isl_export
  20 __isl_give isl_union_pw_qpolynomial *isl_union_set_card(
  21         __isl_take isl_union_set *uset);
  22 __isl_export
  23 __isl_give isl_union_pw_qpolynomial *isl_union_map_card(
  24         __isl_take isl_union_map *umap);
  25 __isl_export
  26 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_sum(
  27         __isl_take isl_pw_qpolynomial *pwqp);
  28 __isl_export
  29 __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_sum(
  30         __isl_take isl_union_pw_qpolynomial *upwqp);
  31 __isl_give isl_pw_qpolynomial *isl_set_apply_pw_qpolynomial(
  32         __isl_take isl_set *set, __isl_take isl_pw_qpolynomial *pwqp);
  33 __isl_give isl_pw_qpolynomial *isl_map_apply_pw_qpolynomial(
  34         __isl_take isl_map *map, __isl_take isl_pw_qpolynomial *pwqp);
  35 __isl_give isl_union_pw_qpolynomial *isl_union_set_apply_union_pw_qpolynomial(
  36         __isl_take isl_union_set *uset,
  37         __isl_take isl_union_pw_qpolynomial *upwqp);
  38 __isl_give isl_union_pw_qpolynomial *isl_union_map_apply_union_pw_qpolynomial(
  39         __isl_take isl_union_map *umap,
  40         __isl_take isl_union_pw_qpolynomial *upwqp);
  41
  42 #if defined(__cplusplus)
  43 }
  44 #endif
  45
  46 #endif