8 #if defined(__cplusplus)
12 __isl_give isl_val
*pet_extract_cst(__isl_keep isl_pw_aff
*pa
);
14 __isl_give isl_pw_aff
*pet_and(__isl_take isl_pw_aff
*lhs
,
15 __isl_take isl_pw_aff
*rhs
);
16 __isl_give isl_pw_aff
*pet_not(__isl_take isl_pw_aff
*pa
);
17 __isl_give isl_pw_aff
*pet_to_bool(__isl_take isl_pw_aff
*pa
);
18 __isl_give isl_pw_aff
*pet_boolean(enum pet_op_type type
,
19 __isl_take isl_pw_aff
*pa1
, __isl_take isl_pw_aff
*pa2
);
20 __isl_give isl_pw_aff
*pet_comparison(enum pet_op_type type
,
21 __isl_take isl_pw_aff
*pa1
, __isl_take isl_pw_aff
*pa2
);
23 #if defined(__cplusplus)