PetScan::extract_expr(CallExpr *): extract function summary from function body
[pet.git] / value_bounds.h
blobfe2a7e8207176cf821e32c9d05cca6f230151ac0
1 #ifndef PET_VALUE_BOUNDS_H
2 #define PET_VALUE_BOUNDS_H
4 #include <isl/set.h>
5 #include <isl/union_map.h>
7 #include <pet.h>
9 #if defined(__cplusplus)
10 extern "C" {
11 #endif
13 __isl_give isl_set *pet_value_bounds_apply(__isl_take isl_set *domain,
14 unsigned n_arg, __isl_keep pet_expr **args,
15 __isl_keep isl_union_map *value_bounds);
17 #if defined(__cplusplus)
19 #endif
21 #endif