int isl_set_is_subset(__isl_keep isl_set *set1,
__isl_keep isl_set *set2);
+ int isl_set_is_strict_subset(
+ __isl_keep isl_set *set1,
+ __isl_keep isl_set *set2);
int isl_basic_map_is_subset(
__isl_keep isl_basic_map *bmap1,
__isl_keep isl_basic_map *bmap2);
struct isl_set *isl_set_swap_vars(struct isl_set *set, unsigned n);
int isl_set_is_empty(__isl_keep isl_set *set);
int isl_set_is_subset(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
+int isl_set_is_strict_subset(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
int isl_set_is_equal(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
struct isl_set *isl_basic_set_compute_divs(struct isl_basic_set *bset);
return !is_subset;
}
+int isl_set_is_strict_subset(__isl_keep isl_set *set1, __isl_keep isl_set *set2)
+{
+ return isl_map_is_strict_subset((isl_map *)set1, (isl_map *)set2);
+}
+
int isl_basic_map_is_universe(struct isl_basic_map *bmap)
{
if (!bmap)