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_give isl_pw_qpolynomial *isl_basic_set_card(__isl_take isl_basic_set *bset);
  12 __isl_give isl_pw_qpolynomial *isl_basic_map_card(__isl_take isl_basic_map *bmap);
  13 __isl_give isl_pw_qpolynomial *isl_set_card(__isl_take isl_set *set);
  14 __isl_give isl_pw_qpolynomial *isl_map_card(__isl_take isl_map *map);
  15 __isl_give isl_union_pw_qpolynomial *isl_union_set_card(
  16         __isl_take isl_union_set *uset);
  17 __isl_give isl_union_pw_qpolynomial *isl_union_map_card(
  18         __isl_take isl_union_map *umap);
  19 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_sum(
  20         __isl_take isl_pw_qpolynomial *pwqp);
  21 __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_sum(
  22         __isl_take isl_union_pw_qpolynomial *upwqp);
  23 __isl_give isl_pw_qpolynomial *isl_set_apply_pw_qpolynomial(
  24         __isl_take isl_set *set, __isl_take isl_pw_qpolynomial *pwqp);
  25 __isl_give isl_pw_qpolynomial *isl_map_apply_pw_qpolynomial(
  26         __isl_take isl_map *map, __isl_take isl_pw_qpolynomial *pwqp);
  27 __isl_give isl_union_pw_qpolynomial *isl_union_set_apply_union_pw_qpolynomial(
  28         __isl_take isl_union_set *uset,
  29         __isl_take isl_union_pw_qpolynomial *upwqp);
  30 __isl_give isl_union_pw_qpolynomial *isl_union_map_apply_union_pw_qpolynomial(
  31         __isl_take isl_union_map *umap,
  32         __isl_take isl_union_pw_qpolynomial *upwqp);
  33
  34 #if defined(__cplusplus)
  35 }
  36 #endif
  37
  38 #endif