3968 __isl_give isl_set *isl_set_intersect(__isl_take isl_set *set1,  in isl_set_intersect()
4984 __isl_give isl_set *isl_set_sum(__isl_take isl_set *set1,  in isl_set_sum()
5472 __isl_give isl_map *isl_set_lex_le_set(__isl_take isl_set *set1,  in isl_set_lex_le_set()
5482 __isl_give isl_map *isl_set_lex_lt_set(__isl_take isl_set *set1,  in isl_set_lex_lt_set()
5492 __isl_give isl_map *isl_set_lex_ge_set(__isl_take isl_set *set1,  in isl_set_lex_ge_set()
5502 __isl_give isl_map *isl_set_lex_gt_set(__isl_take isl_set *set1,  in isl_set_lex_gt_set()
8343 	__isl_take isl_set *set1, __isl_take isl_set *set2)  in isl_set_union_disjoint()
8349 __isl_give isl_set *isl_set_union(__isl_take isl_set *set1,  in isl_set_union()
9168 isl_bool isl_set_is_equal(__isl_keep isl_set *set1, __isl_keep isl_set *set2)  in isl_set_is_equal()
9277 isl_bool isl_set_has_equal_space(__isl_keep isl_set *set1,  in isl_set_has_equal_space()
9360 isl_bool isl_set_is_strict_subset(__isl_keep isl_set *set1,  in isl_set_is_strict_subset()
10098 int isl_set_follows_at(__isl_keep isl_set *set1,  in isl_set_follows_at()
10482 int isl_set_plain_cmp(__isl_keep isl_set *set1, __isl_keep isl_set *set2)  in isl_set_plain_cmp()
10654 isl_bool isl_set_plain_is_equal(__isl_keep isl_set *set1,  in isl_set_plain_is_equal()
11049 __isl_give isl_set *isl_set_product(__isl_take isl_set *set1,  in isl_set_product()
11055 __isl_give isl_set *isl_set_flat_product(__isl_take isl_set *set1,  in isl_set_flat_product()