3966 	__isl_take isl_set *set2)  in isl_set_intersect()
4936 	__isl_take isl_set *set2)  in isl_set_sum()
5424 	__isl_take isl_set *set2)  in isl_set_lex_le_set()
5434 	__isl_take isl_set *set2)  in isl_set_lex_lt_set()
5444 	__isl_take isl_set *set2)  in isl_set_lex_ge_set()
5454 	__isl_take isl_set *set2)  in isl_set_lex_gt_set()
8275 	__isl_take isl_set *set1, __isl_take isl_set *set2)  in isl_set_union_disjoint()
8282 	__isl_take isl_set *set2)  in isl_set_union()
9083 isl_bool isl_set_is_equal(__isl_keep isl_set *set1, __isl_keep isl_set *set2)  in isl_set_is_equal()
9193 	__isl_keep isl_set *set2)  in isl_set_has_equal_space()
9276 	__isl_keep isl_set *set2)  in isl_set_is_strict_subset()
10014 	__isl_keep isl_set *set2, int pos)  in isl_set_follows_at()
10397 int isl_set_plain_cmp(__isl_keep isl_set *set1, __isl_keep isl_set *set2)  in isl_set_plain_cmp()
10570 	__isl_keep isl_set *set2)  in isl_set_plain_is_equal()
10965 	__isl_take isl_set *set2)  in isl_set_product()
10971 	__isl_take isl_set *set2)  in isl_set_flat_product()