separate out isl interface
[barvinok.git] / barvinok / isl.h
blobfe5bd4056024a68c2fabd2869f0e937965cf0963
1 #ifndef BARVINOK_ISL_H
2 #define BARVINOK_ISL_H
4 #include <isl/polynomial.h>
5 #include <isl/union_set.h>
7 #if defined(__cplusplus)
8 extern "C" {
9 #endif
11 __isl_give isl_pw_qpolynomial *isl_set_card(__isl_take isl_set *set);
12 __isl_give isl_pw_qpolynomial *isl_map_card(__isl_take isl_map *map);
13 __isl_give isl_union_pw_qpolynomial *isl_union_set_card(
14 __isl_take isl_union_set *uset);
15 __isl_give isl_union_pw_qpolynomial *isl_union_map_card(
16 __isl_take isl_union_map *umap);
17 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_sum(
18 __isl_take isl_pw_qpolynomial *pwqp);
19 __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_sum(
20 __isl_take isl_union_pw_qpolynomial *upwqp);
21 __isl_give isl_pw_qpolynomial *isl_map_apply_pw_qpolynomial(
22 __isl_take isl_map *map, __isl_take isl_pw_qpolynomial *pwqp);
23 __isl_give isl_union_pw_qpolynomial *isl_union_map_apply_union_pw_qpolynomial(
24 __isl_take isl_union_map *umap,
25 __isl_take isl_union_pw_qpolynomial *upwqp);
27 #if defined(__cplusplus)
29 #endif
31 #endif