lexmin.cc: order_cache: use clear instead of resize(0) to clear cache
[barvinok.git] / barvinok / isl.h
blobbfb8f0765b6391ba90000a33a224138fdc8e541c
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_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);
42 #if defined(__cplusplus)
44 #endif
46 #endif