3965 __isl_give isl_set *isl_set_intersect(__isl_take isl_set *set1,  in isl_set_intersect()
4935 __isl_give isl_set *isl_set_sum(__isl_take isl_set *set1,  in isl_set_sum()
5423 __isl_give isl_map *isl_set_lex_le_set(__isl_take isl_set *set1,  in isl_set_lex_le_set()
5433 __isl_give isl_map *isl_set_lex_lt_set(__isl_take isl_set *set1,  in isl_set_lex_lt_set()
5443 __isl_give isl_map *isl_set_lex_ge_set(__isl_take isl_set *set1,  in isl_set_lex_ge_set()
5453 __isl_give isl_map *isl_set_lex_gt_set(__isl_take isl_set *set1,  in isl_set_lex_gt_set()
8275 	__isl_take isl_set *set1, __isl_take isl_set *set2)  in isl_set_union_disjoint()
8281 __isl_give isl_set *isl_set_union(__isl_take isl_set *set1,  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()
9192 isl_bool isl_set_has_equal_space(__isl_keep isl_set *set1,  in isl_set_has_equal_space()
9275 isl_bool isl_set_is_strict_subset(__isl_keep isl_set *set1,  in isl_set_is_strict_subset()
10013 int isl_set_follows_at(__isl_keep isl_set *set1,  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()
10569 isl_bool isl_set_plain_is_equal(__isl_keep isl_set *set1,  in isl_set_plain_is_equal()
10964 __isl_give isl_set *isl_set_product(__isl_take isl_set *set1,  in isl_set_product()
10970 __isl_give isl_set *isl_set_flat_product(__isl_take isl_set *set1,  in isl_set_flat_product()