scop.c: extract out pet_stmt_is_affine_assume and pet_stmt_assume_get_index
[pet.git] / aff.h
blobb4f27fc0eb22bba853986cfe101543c5dd72e096
1 #ifndef PET_AFF_H
2 #define PET_AFF_H
4 #include <pet.h>
6 #include <isl/aff.h>
8 #if defined(__cplusplus)
9 extern "C" {
10 #endif
12 __isl_give isl_multi_aff *pet_prefix_projection(__isl_take isl_space *space,
13 int n);
15 __isl_give isl_val *pet_extract_cst(__isl_keep isl_pw_aff *pa);
17 __isl_give isl_pw_aff *pet_and(__isl_take isl_pw_aff *lhs,
18 __isl_take isl_pw_aff *rhs);
19 __isl_give isl_pw_aff *pet_not(__isl_take isl_pw_aff *pa);
20 __isl_give isl_pw_aff *pet_to_bool(__isl_take isl_pw_aff *pa);
21 __isl_give isl_pw_aff *pet_boolean(enum pet_op_type type,
22 __isl_take isl_pw_aff *pa1, __isl_take isl_pw_aff *pa2);
23 __isl_give isl_pw_aff *pet_comparison(enum pet_op_type type,
24 __isl_take isl_pw_aff *pa1, __isl_take isl_pw_aff *pa2);
26 #if defined(__cplusplus)
28 #endif
30 #endif