1 #ifndef PET_VALUE_BOUNDS_H
2 #define PET_VALUE_BOUNDS_H
3 
4 #include <isl/set.h>
5 #include <isl/union_map.h>
6 
7 #include <pet.h>
8 
9 #if defined(__cplusplus)
10 extern "C" {
11 #endif
12 
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);
16 
17 #if defined(__cplusplus)
18 }
19 #endif
20 
21 #endif
22