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_give isl_pw_qpolynomial *isl_pw_qpolynomial_sum(
  26         __isl_take isl_pw_qpolynomial *pwqp);
  27 __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_sum(
  28         __isl_take isl_union_pw_qpolynomial *upwqp);
  29 __isl_give isl_pw_qpolynomial *isl_set_apply_pw_qpolynomial(
  30         __isl_take isl_set *set, __isl_take isl_pw_qpolynomial *pwqp);
  31 __isl_give isl_pw_qpolynomial *isl_map_apply_pw_qpolynomial(
  32         __isl_take isl_map *map, __isl_take isl_pw_qpolynomial *pwqp);
  33 __isl_give isl_union_pw_qpolynomial *isl_union_set_apply_union_pw_qpolynomial(
  34         __isl_take isl_union_set *uset,
  35         __isl_take isl_union_pw_qpolynomial *upwqp);
  36 __isl_give isl_union_pw_qpolynomial *isl_union_map_apply_union_pw_qpolynomial(
  37         __isl_take isl_union_map *umap,
  38         __isl_take isl_union_pw_qpolynomial *upwqp);
  39
  40 #if defined(__cplusplus)
  41 }
  42 #endif
  43
  44 #endif